org.apache.bcel.verifier

Class TransitiveHull

Implemented Interfaces:
VerifierFactoryObserver

public class TransitiveHull
extends java.lang.Object
implements VerifierFactoryObserver

This class has a main method implementing 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.
Version:
$Id: TransitiveHull.java 386056 2006-03-15 11:31:56Z tcurdt $
Author:
Enver Haase

Field Summary

private int
indent
Used for indentation.

Constructor Summary

TransitiveHull()
Not publicly instantiable.

Method Summary

static void
main(String[] args)
This method implements a demonstration program of how to use the VerifierFactoryObserver.
void
update(String classname)

Field Details

indent

private int indent
Used for indentation.

Constructor Details

TransitiveHull

private TransitiveHull()
Not publicly instantiable.

Method Details

main

public static void main(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

public void update(String classname)
Specified by:
update in interface VerifierFactoryObserver