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
 

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 _