Pass3bVerifier

Class Pass3bVerifier

public final class Pass3bVerifier extends PassVerifier

This PassVerifier verifies a method of class file according to pass 3, so-called structural verification as described in The Java Virtual Machine Specification, 2nd edition. More detailed information is to be found at the do_verify() method's documentation.

Version: $Id: Pass3bVerifier.java 384759 2006-03-10 10:38:59Z tcurdt $

Author: Enver Haase

See Also: do_verify

Nested Class Summary
static class	Pass3bVerifier.InstructionContextQueue An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure.

Nested Class Summary

static class

Pass3bVerifier.InstructionContextQueue

An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure.

Field Summary
static boolean	DEBUG In DEBUG mode, the verification algorithm is not randomized.
int	method_no The method number to verify.
Verifier	myOwner The Verifier that created this.

Field Summary

static boolean

DEBUG

In DEBUG mode, the verification algorithm is not randomized.

int

method_no

The method number to verify.

Verifier

myOwner

The Verifier that created this.

Constructor Summary
	Pass3bVerifier(Verifier owner, int method_no) This class should only be instantiated by a Verifier.

Constructor Summary

Pass3bVerifier(Verifier owner, int method_no)

This class should only be instantiated by a Verifier.

Method Summary
void	circulationPump(ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev) Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].
VerificationResult	do_verify() Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.
int	getMethodNo() Returns the method number as supplied when instantiating.

Method Summary

void

circulationPump(ControlFlowGraph cfg, InstructionContext start, Frame vanillaFrame, InstConstraintVisitor icv, ExecutionVisitor ev)

Whenever the outgoing frame situation of an InstructionContext changes, all its successors are put [back] into the queue [as if they were unvisited].

VerificationResult

do_verify()

Pass 3b implements the data flow analysis as described in the Java Virtual Machine Specification, Second Edition.

int

getMethodNo()

Returns the method number as supplied when instantiating.

This class should only be instantiated by a Verifier.