ReaderTGFF { public SpecificationTypeBased read(String filename) { return read(new File(filename)); }  SpecificationTypeBased read(String filename); SpecificationTypeBased read(File file); SpecificationTypeBased read(InputStream in); SpecificationTypeBased toSpecification(List<String> in); static final String TGFF_TYPE; static final String PERIOD; static final String MSG_SIZE; static final String RES_ATTRIBUTES; static final String RES_VALUES; static final String HARD_DEADLINE; static final String SOFT_DEADLINE; static final String WIRE; }
@Test public void testReadString() { ReaderTGFF reader = new ReaderTGFF(); SpecificationTypeBased spec = reader.read(testFile); Assert.assertNotNull(spec); }
@Test public void testReadFile() { ReaderTGFF reader = new ReaderTGFF(); File file = new File(testFile); SpecificationTypeBased spec = reader.read(file); Assert.assertNotNull(spec); }
@Test public void testReadInputStream() { ReaderTGFF reader = new ReaderTGFF(); File file = new File(testFile); SpecificationTypeBased spec = null; try { spec = reader.read(new FileInputStream(file)); } catch (FileNotFoundException e) { e.printStackTrace(); } Assert.assertNotNull(spec); }