InvariantFormatTester

Object
- InvariantFormatTester

```
public class InvariantFormatTester
extends Object
```
This is a tester for the formatting of invariants in different modes that is configurable by file input. It can test practically any invariant in the Daikon system given the appropriate commands. The test are configured from the InvariantFormatTest.commands file and errors that occur are written to the InvariantFormatTest.diffs file. More detail on the expected formats of these files is in Daikon developer manual.

Field Summary

Fields
Modifier and Type	Field	Description
`static String`	`COMMENT_STARTER_STRING`	Indicates a string that when it starts a line signifies that the line is a comment.
`static File`	`diff_file`
`static @Nullable File`	`generate_goals`	Determines whether the object will generate goal statements.
`static List<String>`	`TEST_FORMAT_LIST`	A list containing all of the test formats.

Constructor Summary

Constructors
Constructor Description

InvariantFormatTester()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static void`	`main(String[] args)`	This function allows this test to be run from the command line instead of its usual method, which is through the Daikon MasterTester.
`void`	`testFormats()`	This function is the actual function performed when this class is run through JUnit.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - COMMENT_STARTER_STRING
```
public static final String COMMENT_STARTER_STRING
```
    Indicates a string that when it starts a line signifies that the line is a comment.
    
    See Also:
    
    Constant Field Values
  - TEST_FORMAT_LIST
```
public static final List<String> TEST_FORMAT_LIST
```
    A list containing all of the test formats.
  - diff_file
```
public static File diff_file
```
  - generate_goals
```
public static @Nullable File generate_goals
```
    Determines whether the object will generate goal statements.
- Constructor Detail
  - InvariantFormatTester
```
public InvariantFormatTester()
```
- Method Detail
  - main
```
public static void main(String[] args)
```
    This function allows this test to be run from the command line instead of its usual method, which is through the Daikon MasterTester.
    
    Parameters:
    
    args - arguments to the main function, which control options to the program. As of now there is only one option, "--generate_goals", which will generate goal information for the selected tests assuming the output that the tests provide is the correct output.
  - testFormats
```
public void testFormats()
```
    This function is the actual function performed when this class is run through JUnit.