Uses of Class
java.util.Stack

Packages that use Stack

java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.util
org.multijava.util.backend	Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.

Uses of Stack in java.lang

Fields in java.lang declared as Stack

private static Stack

ClassLoader.nativeLibraryContext

Uses of Stack in org.jmlspecs.checker

Fields in org.jmlspecs.checker declared as Stack

private static Stack	CParseClassContext.stack
private static Stack	NonNullStatistics.stackValue
private static Stack	NonNullStatistics.stackSpecCase
private Stack	JmlOwnershipAdmissibilityVisitor.stateStack The state of this JmlOwnershipAdmissibilityVisitor is often saved at the beginning of a visit-method, and restored at its end.

Uses of Stack in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as Stack

private Stack	DesugarSpec.resultStack for passing results (return values) between visitor methods.
protected Stack	TransExpression.paramStack Stack for passing parameters to visitor methods.
protected Stack	TransExpression.resultStack Stack for returning result from visitor methods.
private Stack	TransPostcondition.quantifiers
protected Stack	TransExpression2.prebuiltStatementsStack Contains node that were translated using helpers.
private static Stack	TransPostExpression2.quantifiers

Uses of Stack in org.multijava.mjc

Fields in org.multijava.mjc declared as Stack

private Stack	CodeSequence.contexts
private static Stack	CodeSequence.stack
private Stack	ParsingController.keyStack For efficiency, used to track the keys when switching between input streams.
private Stack	ParsingController.streamBufferStack Tracks the active input streams.
private static Stack	CParseClassContext.stack
private static Stack	CParseCompilationUnitContext.stack
private static Stack	CType.StringBuffers.stack

Uses of Stack in org.multijava.util

Fields in org.multijava.util declared as Stack

private static Stack	CharArrayCache.stack
private static Stack	VectorCache.smalls
private static Stack	VectorCache.bigs

Uses of Stack in org.multijava.util.backend

Fields in org.multijava.util.backend declared as Stack

private Stack	CodeSequence.stack
private Stack	StackSchleduler.stack

Methods in org.multijava.util.backend with parameters of type Stack

private static QOperand[]

QQuadruple.readOperands(Stack stack, int size)

Uses of Stack in org.multijava.util.classfile

Fields in org.multijava.util.classfile declared as Stack

private static Stack	ClassPath.Data.stack
private static Stack	PooledArray.stack
private static Stack	Hashtables.stack