public class TransitiveHull extends java.lang.Object implements VerifierFactoryObserver
| Modifier and Type | Field and Description |
|---|---|
private int |
indent
Used for indentation.
|
| Modifier | Constructor and Description |
|---|---|
private |
TransitiveHull()
Not publicly instantiable.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
main(java.lang.String[] args)
This method implements a demonstration program
of how to use the VerifierFactoryObserver.
|
void |
update(java.lang.String classname)
VerifierFactoryObserver instances are notified invoking this method.
|
public void update(java.lang.String classname)
VerifierFactoryObserverupdate in interface VerifierFactoryObserverpublic static void main(java.lang.String[] args)