InvariantTester

Object
- InvariantTester

public class InvariantTester
extends Object

Daikon unit test class.

Constructor Summary

Constructors
Constructor Description

InvariantTester()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`VarInfo`	`newIntVarInfo(String name)`
`static void`	`setUpClass()`	prepare for tests
`void`	`test_prob_and()`
`void`	`test_prob_is_ge()`
`void`	`test_prob_or()`
`void`	`testClassVarnameComparator()`

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

Constructor Detail
- InvariantTester
```
public InvariantTester()
```

Method Detail

setUpClass
```
public static void setUpClass()
```
prepare for tests

newIntVarInfo

public VarInfo newIntVarInfo(String name)

testClassVarnameComparator

public void testClassVarnameComparator()

test_prob_is_ge
```
public void test_prob_is_ge()
```

test_prob_and
```
public void test_prob_and()
```

test_prob_or
```
public void test_prob_or()
```