|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LinkedList | |
org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
org.multijava.mjc | Implements mjc, a MultiJava compiler. |
org.multijava.relaxed.runtime | |
org.multijava.util.classfile | Provides an editor for classfiles used by MultiJava and the Java Modeling Language. |
Uses of LinkedList in org.jmlspecs.checker |
Fields in org.jmlspecs.checker declared as LinkedList | |
private LinkedList |
TokenStreamSelector.intstack
This stack keeps track of parenthesis nesting level as we move into inner {} contexts. |
private LinkedList |
TokenStreamSelector.rstack
This stack keeps track of the different kinds of {} contexts we are in within what is at the top level a JML expression. |
Uses of LinkedList in org.multijava.mjc |
Fields in org.multijava.mjc declared as LinkedList | |
private LinkedList |
ParsingController.IndexedTokenBuffer.tokenBuffers
A list of token buffers. |
private LinkedList |
ParsingController.IndexedTokenBuffer.indexTokens
A list of buffers containing index tokens of the surrounding language. |
Constructors in org.multijava.mjc with parameters of type LinkedList | |
ParsingController.IndexedTokenBuffer(LinkedList tokenBuffers)
Creates a blocked token buffer from the given list of token buffers. |
Uses of LinkedList in org.multijava.relaxed.runtime |
Fields in org.multijava.relaxed.runtime declared as LinkedList | |
protected LinkedList |
RMJPreloader.classesToTraverse
|
Uses of LinkedList in org.multijava.util.classfile |
Fields in org.multijava.util.classfile declared as LinkedList | |
private static LinkedList |
AttributeList.attrParsers
|
Constructors in org.multijava.util.classfile with parameters of type LinkedList | |
AttributeList.ParserIterator(LinkedList prsrs)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |