Package daikon.test
Class SampleTester
- Object
-
- SampleTester
-
public class SampleTester extends Object
This tests Daikon's state as samples are processed. A standard decl file specifies the ppts. A sample input file specifies the samples and assertions that should be true at various points while processing.The input file format is documented in the developer manual.
-
-
Field Summary
Fields Modifier and Type Field Description static Logger
debug
static Logger
debug_progress
-
Constructor Summary
Constructors Constructor Description SampleTester()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(String[] args)
void
proc_sample_file(InputStream commands, String filename)
void
test_samples()
This function is the actual function performed when this class is run through JUnit.
-
-
-
Field Detail
-
debug_progress
public static final Logger debug_progress
-
-
Constructor Detail
-
SampleTester
public SampleTester()
-
-
Method Detail
-
main
public static void main(String[] args) throws IOException
- Throws:
IOException
-
test_samples
public void test_samples() throws IOException
This function is the actual function performed when this class is run through JUnit.- Throws:
IOException
- if there in a problem with I/O
-
proc_sample_file
public void proc_sample_file(InputStream commands, String filename) throws IOException
- Throws:
IOException
-
-