AtLeastQuantifierExpression(TokenValue t,
Expression lb,
Argument a,
Expression c,
ConstraintExpression co)
Parser's constructor.
|
AtMostQuantifierExpression(TokenValue t,
Expression ub,
Argument a,
Expression c,
ConstraintExpression co)
Parser's constructor.
|
ClassifierAssignment(ClassifierReturnType t,
TokenValue i,
Argument a,
ClassifierExpression e)
Parser's constructor.
|
ClassifierAssignment(ClassifierReturnType t,
TokenValue i,
Argument a,
ClassifierExpression e,
boolean sc)
Parser's constructor.
|
ClassifierAssignment(ClassifierReturnType t,
TokenValue i,
Argument a,
ClassifierExpression e,
Name c)
Parser's constructor.
|
ClassifierAssignment(ClassifierReturnType t,
TokenValue i,
Argument a,
ClassifierExpression e,
Name c,
boolean sc)
Parser's constructor.
|
Constant(TokenValue token)
Parser's constructor.
|
ConstraintDeclaration(TokenValue t,
TokenValue i,
Argument a,
Block b)
Parser's constructor.
|
ConstraintInvocation(TokenValue t,
MethodInvocation m)
Parser's constructor.
|
ExistentialQuantifierExpression(TokenValue t,
Argument a,
Expression c,
ConstraintExpression co)
Parser's constructor.
|
FieldAccess(Expression o,
TokenValue n)
Parser's constructor.
|
InferenceDeclaration(TokenValue t,
TokenValue i,
Argument h,
LinkedList c)
Parser's constructor.
|
LabeledStatement(TokenValue l,
Statement s)
Parser's constructor.
|
MethodInvocation(Expression p,
TokenValue n)
Parser's constructor.
|
MethodInvocation(Expression p,
TokenValue n,
ExpressionList a)
Parser's constructor.
|
Name(Name n,
TokenValue token)
Parser's constructor.
|
Name(TokenValue token)
Parser's constructor.
|
NegatedConstraintExpression(TokenValue t,
ConstraintExpression c)
Parser's constructor.
|
NormalizerDeclaration(TokenValue t,
Name l,
InstanceCreationExpression n)
Parser's constructor.
|
UniversalQuantifierExpression(TokenValue t,
Argument a,
Expression c,
ConstraintExpression co)
Parser's constructor.
|