VerifierFactoryObserver
public class TransitiveHull extends java.lang.Object implements VerifierFactoryObserver
Modifier and Type | Method | 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)
VerifierFactoryObserver
update
in interface VerifierFactoryObserver
public static void main(java.lang.String[] args)