EnviProductReaderPlugIn implements ProductReaderPlugIn { @Override public String[] getFormatNames() { return new String[]{EnviConstants.FORMAT_NAME}; }  @Override DecodeQualification getDecodeQualification(Object input); @Override String[] getFormatNames(); @Override ProductReader createReaderInstance(); @Override String[] getDefaultFileExtensions(); @Override Class[] getInputTypes(); @Override String getDescription(Locale locale); @Override BeamFileFilter getProductFileFilter();  }
@Test public void testGetFormatNames() { final String[] formatNames = readerPlugIn.getFormatNames(); assertEquals(1, formatNames.length); assertEquals("ENVI", formatNames[0]); }