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

Packages that use ErrorSyntax

edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

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

Methods in edu.mit.csail.sdg.alloy4compiler.ast that throw ErrorSyntax

Command	Command.change(Sig sig, boolean isExact, int newScope) Constructs a new Command object where it is the same as the current object, except with a different scope for the given sig.
Command	Command.change(Sig sig, boolean isExact, int startingScope, int endingScope, int increment) Constructs a new Command object where it is the same as the current object, except with a different scope for the given sig.
Expr	ExprQt.desugar() This method desugars away the "disjoint" keyword by prefixing the subexpression with the appropriate disjointness guard condition.

Constructors in edu.mit.csail.sdg.alloy4compiler.ast that throw ErrorSyntax

Command(boolean check, int overall, int bitwidth, int maxseq, Expr formula)
Constructs a new Command object.

CommandScope(Pos pos, Sig sig, boolean isExact, int startingScope, int endingScope, int increment)
Construct a new CommandScope object.

CommandScope(Sig sig, boolean isExact, int scope)
Construct a new CommandScope object.