|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |