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

Packages that use CommandScope

edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

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

Fields in edu.mit.csail.sdg.alloy4compiler.ast with type parameters of type CommandScope

ConstList<CommandScope>

Command.scope The list of scopes.

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return CommandScope

CommandScope

Command.getScope(Sig sig) Helper method that returns the scope corresponding to a given sig (or return null if the sig isn't named in this command)

Method parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type CommandScope

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.

Constructor parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type CommandScope

Command(Pos pos, java.lang.String label, boolean check, int overall, int bitwidth, int maxseq, int expects, java.lang.Iterable<CommandScope> scope, java.lang.Iterable<Sig> additionalExactSig, Expr formula, Command parent)
Constructs a new Command object.