Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.Decl

Packages that use Decl
edu.mit.csail.sdg.alloy4compiler.ast This package contains the definition of AST nodes. 
 

Uses of Decl in edu.mit.csail.sdg.alloy4compiler.ast
 

Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as Decl
 Decl Sig.decl
          The declaration that quantifies over each atom in this sig.
 

Fields in edu.mit.csail.sdg.alloy4compiler.ast with type parameters of type Decl
 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.
 

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return Decl
 Decl Sig.Field.decl()
          Return the declaration that this field came from.
 Decl Expr.loneOf(java.lang.String label)
          Return a new declaration "v: lone this"
 Decl Expr.oneOf(java.lang.String label)
          Return a new declaration "v: one this"
 Decl Expr.setOf(java.lang.String label)
          Return a new declaration "v: set this"
 Decl Expr.someOf(java.lang.String label)
          Return a new declaration "v: some this"
 

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Decl
 SafeList<Decl> Sig.getFieldDecls()
          Return the list of fields as a unmodifiable list of declarations (where you can see which fields are declared to be disjoint)
 

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type Decl
 Expr Expr.comprehensionOver(Decl firstDecl, Decl... moreDecls)
          Returns the comprehension expression {...|this}
 Expr Expr.comprehensionOver(Decl firstDecl, Decl... moreDecls)
          Returns the comprehension expression {...|this}
 Expr Expr.forAll(Decl firstDecl, Decl... moreDecls)
          Returns the formula (all...| this)
 Expr Expr.forAll(Decl firstDecl, Decl... moreDecls)
          Returns the formula (all...| this)
 Expr Expr.forLone(Decl firstDecl, Decl... moreDecls)
          Returns the formula (lone...| this)
 Expr Expr.forLone(Decl firstDecl, Decl... moreDecls)
          Returns the formula (lone...| this)
 Expr Expr.forNo(Decl firstDecl, Decl... moreDecls)
          Returns the formula (no...| this)
 Expr Expr.forNo(Decl firstDecl, Decl... moreDecls)
          Returns the formula (no...| this)
 Expr Expr.forOne(Decl firstDecl, Decl... moreDecls)
          Returns the formula (one ...| this)
 Expr Expr.forOne(Decl firstDecl, Decl... moreDecls)
          Returns the formula (one ...| this)
 Expr Expr.forSome(Decl firstDecl, Decl... moreDecls)
          Returns the formula (some...| this)
 Expr Expr.forSome(Decl firstDecl, Decl... moreDecls)
          Returns the formula (some...| this)
 Expr Expr.sumOver(Decl firstDecl, Decl... moreDecls)
          Returns the integer (sum...| this)
 Expr Expr.sumOver(Decl firstDecl, Decl... moreDecls)
          Returns the integer (sum...| this)
 

Method parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type Decl
static ExprHasName Decl.findDuplicateName(java.util.List<Decl> list)
          If the list of declaration contains a duplicate name, return one such duplicate name, else return null.
 Expr ExprQt.Op.make(Pos pos, Pos closingBracket, java.util.List<Decl> decls, Expr sub)
          Constructs a quantification expression with "this" as the operator.
 

Constructor parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type Decl
Func(Pos pos, Pos isPrivate, java.lang.String label, java.util.List<Decl> decls, Expr returnDecl, Expr body)
          Constructs a new predicate/function.
Func(Pos pos, java.lang.String label, java.util.List<Decl> decls, Expr returnDecl, Expr body)
          Constructs a new predicate/function.