Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
_
P
paint(Graphics, int, int, Shape, JTextComponent)
- Method in class edu.mit.csail.sdg.alloy4.
OurHighlighter
This method is called by Swing to draw highlights.
paint(Graphics)
- Method in class edu.mit.csail.sdg.alloy4viz.
VizGraphPanel
We override the paint method to auto-resize the divider.
paintBorder(Component, Graphics, int, int, int, int)
- Method in class edu.mit.csail.sdg.alloy4.
OurBorder
This method is called by Swing to actually draw the borders.
paintComponent(Graphics)
- Method in class edu.mit.csail.sdg.alloy4graph.
GraphViewer
This method is called by Swing to draw this component.
Pair
<
A
,
B
> - Class in
edu.mit.csail.sdg.alloy4
Immutable; stores a pair of object references; Pair.equals() compares by calling equals() on both components.
Pair(A, B)
- Constructor for class edu.mit.csail.sdg.alloy4.
Pair
Constructs a new Pair object (a,b).
pane(Object...)
- Static method in class edu.mit.csail.sdg.alloy4.
OurAntiAlias
Constructs an antialias-capable JTextPane with a DefaultHighlighter associated with it.
params()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Func
Return the list of all parameters.
parent
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Command
If nonnull, it means this command depends on this parent command.
parent
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Sig.PrimSig
If this is UNIV or NONE, then this field is null, else this field is the parent sig.
parents
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Sig.SubsetSig
The list of Sig that it is a subset of; this list is never empty.
parse(String)
- Method in class edu.mit.csail.sdg.alloy4.
A4Reporter
This method is called by the parser to report parser events.
parse()
- Method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompParser
parse(String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.translator.
A4Options.SatSolver
Given an id, return the enum value corresponding to it (if there's no match, then return SAT4J).
parse(String)
- Static method in enum edu.mit.csail.sdg.alloy4graph.
DotColor
This method is used in parsing the XML value into a valid color; returns null if there is no match.
parse(String)
- Static method in enum edu.mit.csail.sdg.alloy4graph.
DotPalette
This method is used in parsing the XML value into a valid DotPalette; returns null if there is no match.
parse(String)
- Static method in enum edu.mit.csail.sdg.alloy4graph.
DotShape
This method is used in parsing the XML value into a valid Shape; returns null if there is no match.
parse(String)
- Static method in enum edu.mit.csail.sdg.alloy4graph.
DotStyle
This method is used in parsing the XML value into a valid style; returns null if there is no match.
parse()
- Method in class java_cup.runtime.
lr_parser
This method provides the main parsing routine.
parse_lookahead(boolean)
- Method in class java_cup.runtime.
lr_parser
Parse forward using stored lookahead Symbols.
parse_state
- Variable in class java_cup.runtime.
Symbol
The parse state to be recorded on the parse stack with this symbol.
parseEverything_fromFile(A4Reporter, Map<String, String>, String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.
parseEverything_fromFile(A4Reporter, Map<String, String>, String, int)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
Read everything from "file" and parse it; if it mentions submodules, open them and parse them too.
parseInstance(File)
- Static method in class edu.mit.csail.sdg.alloy4viz.
StaticInstanceReader
Parse the file into an AlloyInstance if possible.
parseInstance(Reader)
- Static method in class edu.mit.csail.sdg.alloy4viz.
StaticInstanceReader
Parse the file into an AlloyInstance if possible, then close the Reader afterwards.
parseOneExpression_fromString(Module, String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
Parses then typecheck the given input String as an Alloy expression from that world
parseOneExpressionFromString(String)
- Method in interface edu.mit.csail.sdg.alloy4compiler.ast.
Module
Parse one expression by starting fromt this module as the root module.
parseOneExpressionFromString(String)
- Method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompModule
Parse one expression by starting fromt this module as the root module.
parseOneModule(String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
parseOneModule_fromFile(String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
Parses 1 module from the file (without loading any subfiles)
parseOneModule_fromString(String)
- Static method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompUtil
Parses 1 module from the input string (without loading any subfiles)
PART
- Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompSym
paste()
- Method in class edu.mit.csail.sdg.alloy4.
OurSyntaxWidget
Paste the current clipboard content.
path()
- Method in interface edu.mit.csail.sdg.alloy4compiler.ast.
Module
Return the simplest path pointing to this Module ("" if this is the main module)
path
- Variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompModule
The simplest path pointing to this Module ("" if this is the main module)
path()
- Method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompModule
Return the simplest path pointing to this Module ("" if this is the main module)
pick()
- Method in class edu.mit.csail.sdg.alloy4.
JoinableList
If the list if nonempty, arbitrarily return one of the item, otherwise throw ArrayIndexOutOfBoundsException.
pickBinary()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Type
Returns a new type { A in this | A.artiy==2 }
pickCommonArity(Type)
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Type
Returns a new type { A | (A is in this && A.arity in that) }
pickUnary()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Type
Returns a new type { A in this | A.artiy==1 }
plus(Expr)
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Expr
Returns the expression (this+x)
PLUS
- Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompSym
plus(A4TupleSet)
- Method in class edu.mit.csail.sdg.alloy4compiler.translator.
A4TupleSet
Construct a new tupleset as the union of this and that; this and that must be come from the same solution.
PLUSPLUS
- Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompSym
pop
- Variable in class edu.mit.csail.sdg.alloy4graph.
GraphViewer
The right-click context menu associated with this JPanel.
pop()
- Method in class java_cup.runtime.
virtual_parse_stack
Pop the stack.
pos
- Variable in exception edu.mit.csail.sdg.alloy4.
Err
This stores the filename/line/column information (Pos.UNKNOWN if unknown) (never null)
Pos
- Class in
edu.mit.csail.sdg.alloy4
Immutable; stores the filename and line/column position.
Pos(String, int, int)
- Constructor for class edu.mit.csail.sdg.alloy4.
Pos
Constructs a new Pos object.
Pos(String, int, int, int, int)
- Constructor for class edu.mit.csail.sdg.alloy4.
Pos
Constructs a new Pos object.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Attr
The position associated with this attribute.
pos()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Browsable
Returns a Pos object representing the position of this Expr.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Command
The position in the original file where this command was declared; never null.
pos()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Command
Returns a Pos object representing the position of this Expr.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
CommandScope
The position in the original source file where this scope was declared; can be Pos.UNKNOWN if unknown.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Expr
The filename, line, and column position in the original Alloy model file (cannot be null).
pos()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Expr
Returns a Pos object representing the position of this Expr.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Func
The location in the original file where this predicate/function is declared; never null.
pos()
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Func
Returns a Pos object representing the position of this Expr.
pos
- Variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompModule.Open
The position in the original model where this "open" statement was declared; never null.
pos()
- Method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompModule
Returns a Pos object representing the position of this Expr.
pos
- Variable in class java_cup.runtime.
Symbol
The data passed to parser
PRED
- Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompSym
prepend(List<T>, T)
- Static method in class edu.mit.csail.sdg.alloy4.
Util
Copy the input list, prepend "element" to it, then return the result as an unmodifiable list.
prepend(SimAtom)
- Method in class edu.mit.csail.sdg.alloy4compiler.sim.
SimTuple
Prepend the given atom to the front of this tuple, then return the resulting new Tuple.
prev()
- Method in class edu.mit.csail.sdg.alloy4.
OurTabbedSyntaxWidget
Switches to the previous tab.
PRIVATE
- Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.
Attr
PRIVATE; if a Sig has the PRIVATE attribute, it means its label is private within the same module.
PRIVATE
- Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.
CompSym
produceGraph(AlloyInstance, VizState, AlloyProjection)
- Static method in class edu.mit.csail.sdg.alloy4viz.
StaticGraphMaker
Produces a single Graph from the given Instance and View and choice of Projection
product(Expr)
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Expr
Returns the expression (this -> x) which can also be regarded as a multiplicity constraint (this set->set x)
product(Type)
- Method in class edu.mit.csail.sdg.alloy4compiler.ast.
Type
Returns a new type { A->B | A is in this, and B is in that }
product(SimAtom)
- Method in class edu.mit.csail.sdg.alloy4compiler.sim.
SimAtom
Return the product of this atom and that atom.
product(SimTuple)
- Method in class edu.mit.csail.sdg.alloy4compiler.sim.
SimTuple
Return the product of this tuple and that tuple.
product(SimTupleset)
- Method in class edu.mit.csail.sdg.alloy4compiler.sim.
SimTupleset
Return the cartesian product of this and that.
product(A4TupleSet)
- Method in class edu.mit.csail.sdg.alloy4compiler.translator.
A4TupleSet
Construct a new tupleset as the product of this and that; this and that must be come from the same solution.
production_tab
- Variable in class java_cup.runtime.
lr_parser
Direct reference to the production table.
production_table()
- Method in class edu.mit.csail.sdg.alloy4compiler.parser.
CompParser
Access to production table.
production_table()
- Method in class java_cup.runtime.
lr_parser
Table of production information (supplied by generated subclass).
project(Collection<Integer>)
- Method in class edu.mit.csail.sdg.alloy4viz.
AlloyRelation
Project this relation and return an unmodifiable list of remaining types (after removing zero or more columns)
project(Collection<Integer>)
- Method in class edu.mit.csail.sdg.alloy4viz.
AlloyTuple
Project this tuple and return an unmodifiable list of remaining atoms (after removing zero or more columns)
project(AlloyModel, Collection<AlloyType>)
- Static method in class edu.mit.csail.sdg.alloy4viz.
StaticProjector
Given an unprojected model, project it over the given collection of AlloyType(s).
project(AlloyInstance, AlloyProjection)
- Static method in class edu.mit.csail.sdg.alloy4viz.
StaticProjector
Project an instance over the given list of types (and their associated chosen atom).
project(AlloyType)
- Method in class edu.mit.csail.sdg.alloy4viz.
VizState
Adds type to the list of projected types if it's a toplevel type.
push(int)
- Method in class java_cup.runtime.
virtual_parse_stack
Push a state number onto the stack.
put(K, V)
- Method in class edu.mit.csail.sdg.alloy4.
Env
Associates the key with the value (which can be null).
put(AlloyElement, Integer)
- Method in class edu.mit.csail.sdg.alloy4viz.
VizState.MInt
put(AlloyElement, T)
- Method in class edu.mit.csail.sdg.alloy4viz.
VizState.MMap
Set the value for the given object; can be "null" to mean "inherit"
put(AlloyElement, String)
- Method in class edu.mit.csail.sdg.alloy4viz.
VizState.MString
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
Z
_