de.uka.ilkd.key.java.expression.operator

Class BinaryOperator

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.expression.Operator

de.uka.ilkd.key.java.expression.operator.BinaryOperator

All Implemented Interfaces:

Expression, ExpressionContainer, ModelElement, NonTerminalProgramElement, ProgramElement, SourceElement, SVSubstitute

Direct Known Subclasses:

BinaryAnd, BinaryOr, BinaryXOr, Divide, Intersect, Minus, Modulo, Plus, SeqConcat, SetMinus, SetUnion, Times

public abstract class BinaryOperator
extends Operator

Operator of arity 2

Author:

AL

Field Summary

Fields inherited from class de.uka.ilkd.key.java.expression.Operator

children, INFIX, POSTFIX, PREFIX

Constructor Summary

Constructors

Constructor and Description
BinaryOperator(Expression lhs, Expression rhs)
BinaryOperator(ExtList children)

Method Summary

Modifier and Type	Method and Description
int	getArity() Get arity.
KeYJavaType	getKeYJavaType(Services javaServ, ExecutionContext ec) returns the KeYJavaType of an expression

Methods inherited from class de.uka.ilkd.key.java.expression.Operator

getArguments, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getNotation, getPrecedence, isLeftAssociative, isToBeParenthesized, precedes, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, hashCode, prettyPrint, prettyPrintMain

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit

Constructor Detail

BinaryOperator

public BinaryOperator(ExtList children)

BinaryOperator

public BinaryOperator(Expression lhs,
                      Expression rhs)

Method Detail

getArity

public int getArity()

Get arity.

Specified by:

getArity in class Operator

Returns:

the int value.

getKeYJavaType

public KeYJavaType getKeYJavaType(Services javaServ,
                                  ExecutionContext ec)

Description copied from interface: Expression

returns the KeYJavaType of an expression

Specified by:

getKeYJavaType in interface Expression

Specified by:

getKeYJavaType in class Operator