|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ConstList | |
---|---|
edu.mit.csail.sdg.alloy4 | This package contains general data structures and helper classes. |
edu.mit.csail.sdg.alloy4compiler.ast | This package contains the definition of AST nodes. |
edu.mit.csail.sdg.alloy4compiler.parser | This package contains the compiler |
edu.mit.csail.sdg.alloy4compiler.translator | This package contains the translator from Alloy4 to CNF (using kodkod). |
edu.mit.csail.sdg.alloy4viz | This package displays Alloy4 instances. |
Uses of ConstList in edu.mit.csail.sdg.alloy4 |
---|
Methods in edu.mit.csail.sdg.alloy4 that return ConstList | ||
---|---|---|
static
|
Util.append(java.util.List<T> list,
T element)
Copy the input list, append "element" to it, then return the result as an unmodifiable list. |
|
static
|
Util.asList(T... array)
Returns an unmodifiable List with same elements as the array. |
|
static
|
ConstList.make()
Return an unmodifiable empty list. |
|
static
|
ConstList.make(int n,
T elem)
Return an unmodifiable list consisting of "n" references to "elem". |
|
static
|
ConstList.make(java.lang.Iterable<T> collection)
Return an unmodifiable list with the same elements as the given collection. |
|
ConstList<T> |
ConstList.TempList.makeConst()
Makes this TempList unmodifiable, then construct a ConstList backed by this TempList. |
|
ConstList<T> |
SafeList.makeConstList()
Constructs an unmodifiable ConstList containing the same elements as this list. |
|
static
|
Util.prepend(java.util.List<T> list,
T element)
Copy the input list, prepend "element" to it, then return the result as an unmodifiable list. |
Uses of ConstList in edu.mit.csail.sdg.alloy4compiler.ast |
---|
Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as ConstList | |
---|---|
ConstList<Sig> |
Command.additionalExactScopes
This stores a list of Sig whose scope shall be considered "exact", but we may or may not know what its scope is yet. |
ConstList<Expr> |
ExprBadCall.args
The unmodifiable list of arguments. |
ConstList<Expr> |
ExprList.args
The unmodifiable list of arguments. |
ConstList<Expr> |
ExprCall.args
The list of arguments to the call. |
ConstList<Attr> |
Sig.attributes
Store the list of attributes. |
ConstList<Expr> |
ExprChoice.choices
The unmodifiable list of Expr(s) from that this ExprChoice can refer to. |
ConstList<Decl> |
Func.decls
The list of parameter declarations; may be an empty list if this predicate/function has no parameters. |
ConstList<Decl> |
ExprQt.decls
The unmodifiable list of variables. |
ConstList<? extends ExprHasName> |
Decl.names
The list of names. |
ConstList<Sig> |
Sig.SubsetSig.parents
The list of Sig that it is a subset of; this list is never empty. |
ConstList<java.lang.String> |
ExprChoice.reasons
The unmodifiable list of String(s) explaining where each choice came from. |
ConstList<CommandScope> |
Command.scope
The list of scopes. |
Methods in edu.mit.csail.sdg.alloy4compiler.ast that return ConstList | |
---|---|
ConstList<Pair<java.lang.String,Expr>> |
Module.getAllAssertions()
Return an unmodifiable list of all assertions in this module. |
ConstList<Command> |
Module.getAllCommands()
Return an unmodifiable list of all commands in this module. |
ConstList<Sig> |
Module.getAllReachableSigs()
Return the list containing UNIV, SIGINT, SEQIDX, STRING, NONE, and all sigs defined in this module or a reachable submodule. |
ConstList<Sig> |
Command.getGrowableSigs()
Helper method that returns true iff this command contains at least one growable sig. |
Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type ConstList | |
---|---|
Command |
Command.change(ConstList<CommandScope> scope)
Constructs a new Command object where it is the same as the current object, except with a different scope. |
static Expr |
ExprChoice.make(Pos pos,
ConstList<Expr> choices,
ConstList<java.lang.String> reasons)
Construct an ExprChoice node. |
static Expr |
ExprChoice.make(Pos pos,
ConstList<Expr> choices,
ConstList<java.lang.String> reasons)
Construct an ExprChoice node. |
static Expr |
ExprBadCall.make(Pos pos,
Pos closingBracket,
Func fun,
ConstList<Expr> args,
long extraPenalty)
Constructs an ExprBadCall object. |
Uses of ConstList in edu.mit.csail.sdg.alloy4compiler.parser |
---|
Fields in edu.mit.csail.sdg.alloy4compiler.parser declared as ConstList | |
---|---|
ConstList<java.lang.String> |
CompModule.Open.args
The unmodifiable list of instantiating arguments. |
Methods in edu.mit.csail.sdg.alloy4compiler.parser that return ConstList | |
---|---|
ConstList<Pair<java.lang.String,Expr>> |
CompModule.getAllAssertions()
Return an unmodifiable list of all assertions in this module. |
ConstList<Command> |
CompModule.getAllCommands()
Return an unmodifiable list of all commands in this module. |
ConstList<Sig> |
CompModule.getAllReachableSigs()
Return the list containing UNIV, SIGINT, SEQIDX, STRING, NONE, and all sigs defined in this module or a reachable submodule. |
ConstList<CompModule.Open> |
CompModule.getOpens()
Returns an unmodifiable copy of the current list of OPEN statements. |
static ConstList<Command> |
CompUtil.parseOneModule_fromFile(java.lang.String filename)
Parses 1 module from the file (without loading any subfiles) |
static ConstList<Command> |
CompUtil.parseOneModule_fromString(java.lang.String content)
Parses 1 module from the input string (without loading any subfiles) |
Uses of ConstList in edu.mit.csail.sdg.alloy4compiler.translator |
---|
Methods in edu.mit.csail.sdg.alloy4compiler.translator with parameters of type ConstList | |
---|---|
static void |
A4SolutionWriter.writeMetamodel(ConstList<Sig> sigs,
java.lang.String originalFilename,
java.io.PrintWriter out)
Write the metamodel as <instance>..</instance> in XML format. |
Uses of ConstList in edu.mit.csail.sdg.alloy4viz |
---|
Methods in edu.mit.csail.sdg.alloy4viz that return ConstList | |
---|---|
ConstList<AlloyType> |
AlloyModel.getDirectSubTypes(AlloyType type)
Returns a sorted, unmodifiable list of types that are direct subtypes of the given type. |
ConstList<java.lang.String> |
VizGUI.getInstances()
Return the list of XML files loaded in this session so far. |
ConstList<AlloyType> |
AlloyModel.getSubTypes(AlloyType type)
Returns a sorted, unmodifiable list of types that are direct or indirect subtypes of the given type. |
ConstList<AlloyAtom> |
AlloyTuple.project(java.util.Collection<java.lang.Integer> columns)
Project this tuple and return an unmodifiable list of remaining atoms (after removing zero or more columns) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |