Uses of Class
edu.mit.csail.sdg.alloy4.ConstList

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
<T> ConstList<T>
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
<T> ConstList<T>
Util.asList(T... array)
          Returns an unmodifiable List with same elements as the array.
static
<T> ConstList<T>
ConstList.make()
          Return an unmodifiable empty list.
static
<T> ConstList<T>
ConstList.make(int n, T elem)
          Return an unmodifiable list consisting of "n" references to "elem".
static
<T> ConstList<T>
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
<T> ConstList<T>
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)