Uses of Class

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.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


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.