fmrisc.ProgramExplorer.Syntax.Logic

Interface Expression

All Superinterfaces:

AST, ASTLogic, ASTSource

All Known Subinterfaces:

Formula, ProgramVariable, Term, Type

All Known Implementing Classes:

AndFormula, ApplicationExpression, ArrayTerm, ArrayType, AtomicFormula, AtomicType, BinaryAtomicFormula, BinaryExpression, BinaryFormula, BinaryTerm, BitAndTerm, BitFalse, BitLiteral, BitNegationTerm, BitOrTerm, BitTrue, BitType, BooleanLiteral, BooleanType, Constant, DividesTerm, EqualsFormula, EquivalentFormula, ExistsFormula, ExpressionBase, False, ForallFormula, FormulaBase, FunctionApplication, FunctionType, GreaterEqualFormula, GreaterFormula, IfThenElseExpression, IfThenElseFormula, IfThenElseTerm, ImpliesFormula, IntLiteral, IntType, LambdaFormula, LambdaTerm, LessEqualFormula, LessFormula, LetExpression, LetFormula, LetTerm, MinusTerm, NatType, NegationTerm, NewState, NotEqualsFormula, NotEquivalentFormula, NotFormula, OldState, OrFormula, PlusTerm, PostfixApplication, PostfixFormula, PostfixTerm, PostVariable, PowerTerm, PreVariable, ProgramVariableBase, QuantifiedExpression, QuantifiedFormula, QuantifiedTerm, ReadsOnlyFormula, Real0Type, RealType, RecordTerm, RecordType, Reference, SelectionTerm, SimilarFormula, StateBreaks, StateContinues, StateExecutes, StateLiteral, StateMessage, StateReturns, StateThrows, StateThrowsException, StateType, StateValue, StringLiteral, StringType, SubrangeType, SubType, TermApplication, TermBase, TimesTerm, True, TupleTerm, TupleType, TypeBase, UnaryExpression, UnaryFormula, UnaryTerm, UpdateTerm, WritesOnlyFormula

public interface Expression
extends ASTLogic, ASTSource

Interface to any kind of logical expression.

Method Summary

Modifier and Type	Method and Description
int	getPrecedence() Get precedence value of the expression operator (higher precedence value means higher binding power)
boolean	isLeftAssociative() True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"
boolean	isRightAssociative() True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.ASTSource

getPosition, setPosition

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore

Method Detail

getPrecedence

int getPrecedence()

Get precedence value of the expression operator (higher precedence value means higher binding power)

Returns:

the precedence value

isLeftAssociative

boolean isLeftAssociative()

True if "(e1 op e2) op e3" can be printed as "e1 op e2 op e3"

Returns:

true if above printing is possible.

isRightAssociative

boolean isRightAssociative()

True if "e1 op (e2 op e3)" can be printed as "e1 op e2 op e3"

Returns:

true if above printing is possible.