public class TransitiveHull extends Object implements VerifierFactoryObserver
| Modifier and Type | Method and Description |
|---|---|
static void |
main(String[] args)
This method implements a demonstration program
of how to use the VerifierFactoryObserver.
|
void |
update(String classname)
VerifierFactoryObserver instances are notified invoking this method.
|
public void update(String classname)
VerifierFactoryObserverupdate in interface VerifierFactoryObserverpublic static void main(String[] args)
Copyright © 2004–2020 The Apache Software Foundation. All rights reserved.