Uses of Interface
java.util.List

Packages that use List

java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.jmlspecs.ant.tasks
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.racwrap
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.relaxed.runtime
org.multijava.util
org.multijava.util.lexgen	Provides a lexer for the compilers of MultiJava and the Java Modeling Language.

Uses of List in java.util

Classes in java.util that implement List

class	AbstractList JML's specification of java.util.AbstractList.
class	AbstractSequentialList
class	ArrayList JML's specification of ArrayList.
class	LinkedList JML's specification of java.util.LinkedList.
(package private) class	RandomAccessSubList
class	Stack JML's specification of Stack.
(package private) class	SubList
class	Vector JML's specification of java.util.Vector.

Methods in java.util that return List

abstract List	List.subList(int fromIndex, int toIndex)
List	AbstractList.subList(int fromIndex, int toIndex)
List	Vector.subList(int fromIndex, int toIndex)
List	SubList.subList(int fromIndex, int toIndex)
List	RandomAccessSubList.subList(int fromIndex, int toIndex)
static List	Arrays.asList(Object[] a)

Uses of List in org.jmlspecs.ant.tasks

Methods in org.jmlspecs.ant.tasks that return List

List	CommonOptionsTask.getToolSpecificOptions() Return a list of the tool-specific options for running a JML tool.
List	CommonOptionsTask.getFilesAndDirectories() Return a list of the files and directories needed for running a tool.
List	DocTask.getFilesAndDirectories() Return a list of the files and directories needed for running this tool.
List	CompileTask.getToolSpecificOptions() Return a list of the tool-specific options for running a JML tool.

Uses of List in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 that return List

(package private) static List

JmlHTML.getAllInterfaces(CClass cc) The result is a List of CClassType objects containing all the interfaces, with no duplicates.

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type List

private static void	JmlHTML.getAllInterfaces(CClassType[] ints, List interfaces) This function adds to 'interfaces' any interfaces implemented by the classes or interfaces in 'ints'.
protected void	JmldocClassWriter.printSubClassLinkInfo(List list) This is overridden so that we can include the modifier weakly.

Uses of List in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as List

private List	RacParser.RacMethodDeclaration.pieces The list of elements constituting this statement node.
private List	RacParser.RacStatement.pieces The list of elements constituting this statement node.
private List	RacParser.RacBlock.pieces The list of elements constituting this block node.
protected List	TransMethod.newFields newly created fields (as the result of translation) that need be added to the target class, e.g., old and precondition variables
protected List	TransMethod.newMethods newly created methods (as the result of translation) that need be added to the target class
private List	TransPostcondition.oldExprs A list of RacNode's representing old expressions that must be executed in the pre-state.
private List	TransMethod.SpecCaseCollector.specCases List of desugared JmlGenericSpecCase.
private List	TransInterface.newMethods New mehtod declarations to be added to the surrogate class.
private List	TransInterface.newFields New field declarations to be added to the surrogate class.
private List	TransPostExpression2.oldExprs A list of RacNode's representing old expressions that must be executed in the pre-state.
private List	MotherConstraintMethod.restoreMethods
private List	TransConstraint.oldExprsStatic
private List	TransConstraint.oldExprsInstance
private List	TransConstraint.stackVarsStatic
private List	TransConstraint.stackVarsInstance
private List	TransConstraint.restoreMethods

Methods in org.jmlspecs.jmlrac that return List

private static List	RacParser.parse(String code, Object[] asts) Parses the given string representing verbatim code possibly with positional markers ($i) and returns a list of objects (strings, objects, END_OF_LINE's) with $i replaced by the i-th objects of the array asts.
List	TransMethod.newFields() Returns a list of new field declarations created by this translation, which need be added to the target class or interface.
List	TransMethod.newMethods() Returns a list of new method declaratons created by this transformation, and need be added to the target class or instance.
protected List	TransMethod.translateSpecVarDecls(JmlSpecVarDecl[] varDecls, VarGenerator varGen) Translates specification variable declarations.
protected List	TransMethod.translateLetVarDecl(JmlSpecVarDecl varDecl, VarGenerator varGen) Translates the given old variable declarations.
protected List	TransMethod.translateForAllVarDecl(JmlSpecVarDecl varDecl, VarGenerator varGen) Translates the given forall variable declarations.
List	TransPostcondition.oldExprs() Returns a list of old expressions (as RacNode) that must be executed in the pre-state.
List	TransPostExpression2.oldExprs() Returns a list of old expressions (as RacNode) that must be executed in the pre-state.

Methods in org.jmlspecs.jmlrac with parameters of type List

protected RacNode	TransMethod.translateSignalsClause(VarGenerator varGen, VarGenerator oldVarGen, JmlSignalsClause sigClause, String preVar, RacNode stmt, List oldExprs) Translates the given signals clause.
protected static JExpression	TransMethod.SpecCase.conjoin(List clauses) Returns a new conjoined expression made out of predicates of the given specification clauses.
JMethodDeclarationType	PreconditionMethod.generate(RacNode stmt, List preExprs, List oldExprs) Generates and returns a precondition checking method.
private RacNode	PreconditionMethod.processList(List list)
private RacNode	TransConstraint.oldMethod(List exprs, boolean forStatic) Returns an old-expression evaluation method for the given old expressions, exprs.
private RacNode	TransConstraint.genStackMethods(boolean forStatic, String stackVar, List oldExprs) Returns a private stack field declaration with a pair of push and pop methods.

Constructors in org.jmlspecs.jmlrac with parameters of type List

RacParser.RacMethodDeclaration(List pieces)
Creates a new instance.

RacParser.RacStatement(List pieces)
Creates a new instance.

RacParser.RacBlock(List pieces)
Creates a new instance.

MotherConstraintMethod(boolean isStatic, JmlTypeDeclaration typeDecl, List restoreMethods)
Construct a new instance.

MotherConstraintMethod(boolean isStatic, JmlTypeDeclaration typeDecl, String postfix, List restoreMethods)
Construct a new instance.

SubtypeConstraintMethod(JmlTypeDeclaration tdecl, boolean forWeakSubtype, List restoreMethods)
Construct a new instance.

Uses of List in org.jmlspecs.jmlrac.qexpr

Fields in org.jmlspecs.jmlrac.qexpr declared as List

private List	QInterval.lower
private List	QInterval.upper

Uses of List in org.jmlspecs.jmlunit

Constructors in org.jmlspecs.jmlunit with parameters of type List

TestClassGenerator.MethodsIterator(List methods, List inhMeths)
Initialize this methods iter.

Uses of List in org.jmlspecs.racwrap

Fields in org.jmlspecs.racwrap declared as List

private List

Main.origFiles these are the original source files.

Uses of List in org.multijava.mjc

Classes in org.multijava.mjc that implement List

(package private) class	JTypeDeclaration.DispatcherClassList
(package private) class	JTypeDeclaration.MethodList

Fields in org.multijava.mjc declared as List

private List	CContextNullity.nonNulls
private List	CContextNullity.nulls

Methods in org.multijava.mjc that return List

static List

CContextNullity.intersectList(List a, Object[] b)

Methods in org.multijava.mjc with parameters of type List

private void	CContextNullity.removeAllExceptLocalVariables(List list)
static List	CContextNullity.intersectList(List a, Object[] b)

Uses of List in org.multijava.relaxed.runtime

Fields in org.multijava.relaxed.runtime declared as List

protected List	RMJClassLoader.newlyLoadedAbstractSignatures
protected List	RMJClassLoader.newlyReachableSigs
protected List	RMJClassLoader.sigsRequiringAmbiguityChecking
protected List	RMJClassLoader.opsWithInterfaceSpecializers

Methods in org.multijava.relaxed.runtime that return List

protected List	RMJClassLoader.generateTopConcreteTuplesBelow(RMJSignature asig)
protected List[]	RMJClassLoader.generateTupleOfTopConcreteSetsBelow(RMJSignature asig)
protected List	RMJClassLoader.generateTopConcreteSetsBelow(Object specializer)
protected List	RMJClassLoader.generateCrossProduct(List[] tupleOfSets)
protected List	RMJClassLoader.generateCrossProductTo(List[] tupleOfSets, int pos)

Methods in org.multijava.relaxed.runtime with parameters of type List

protected void	RMJClassLoader.registerWithAbstractAncestorsOf(Class cls, Class of, List alreadyVisited)
protected void	RMJClassLoader.verifyNonAmbiguityOfNewSig(RMJSignature sig, List toBeLoaded)
protected void	RMJClassLoader.verifyNonAmbiguityOfOldSig(RMJSignature sig, List toBeLoaded)
protected void	RMJClassLoader.verifyNonAmbiguity(RMJSignature sig, boolean isOld, List toBeLoaded)
protected void	RMJClassLoader.verifyNonAmbiguityAgainstAll(RMJSignature sig, Map loadedSigsMap, boolean isOld, List toBeLoaded, boolean onlyCheckIfHasIntSpec)
protected void	RMJClassLoader.verifyNonAmbiguityOfSigs(RMJSignature nsig, RMJSignature osig, boolean isOld, List toBeLoaded)
protected List	RMJClassLoader.generateCrossProduct(List[] tupleOfSets)
protected List	RMJClassLoader.generateCrossProductTo(List[] tupleOfSets, int pos)
protected void	RMJClassLoader.verifyCompletenessOfTopConcreteTuples(List tuples, RMJSignature asig, Class cls)
private void	RMJSignature.extendTuple(Object[] earlierTuple, int pos, Object spec, List setOfTuples)

Uses of List in org.multijava.util

Methods in org.multijava.util that return List

static List

Utils.parsePathParts(File path) Returns a list of Strings representing the parts of the given path, assembled by repeatedly invoking getName() on getParentFile() of the given path until no parent path parts remain.

Uses of List in org.multijava.util.lexgen

Fields in org.multijava.util.lexgen declared as List

private List

DefinitionFile.flags An immutable list of identifier Strings representing the valid flags for keywords and literals in this vocabulary.

Methods in org.multijava.util.lexgen that return List

List	DefinitionFile.flags() Returns an immutable list of identifier Strings representing the valid flags for keywords and literals in this vocabulary.

Methods in org.multijava.util.lexgen with parameters of type List

(package private) boolean	DefinitionFile.accumKeywords(List accum, String prefix, List legalFlags) Accumulates a list of keyword token information in accum.
(package private) boolean	TokenDefinition.accumKeyword(List accum, String prefix, List legalFlags) Adds the token information for this to accum if this is a keyword or literal token.
private int	TokenDefinition.flagsAsInt(List legalFlags)

Constructors in org.multijava.util.lexgen with parameters of type List

DefinitionFile(String sourceFile, String packageName, String vocabulary, String prefix, List flags, ArrayList definitions)
Constructs a token definition file

TokenDefinition(int type, String name, String value, List flags)
Creates a new TokenDefinition instance.