| Modifier and Type | Field and Description |
|---|---|
| private int | indent
Used for indentation. |
| Access | Constructor and Description |
|---|---|
| private |
| Modifier and Type | Method and Description |
|---|---|
| public static void | |
| public void | update(final String className)
Implements org. |
| indent | back to summary |
|---|---|
| private int indent Used for indentation. | |
| TransitiveHull | back to summary |
|---|---|
| private TransitiveHull() Not publicly instantiable. | |
| main | back to summary |
|---|---|
| public static void main(final String[] args) This method implements a demonstration program of how to use the VerifierFactoryObserver. It transitively verifies all class files encountered; this may take up a lot of time and, more notably, memory. | |
| update | back to summary |
|---|---|
| public void update(final String className) Implements org. Doc from org. VerifierFactoryObserver instances are notified invoking this method. The String argument is the fully qualified class name of a class a new Verifier instance created by the VerifierFactory operates on.
| |