de.uka.ilkd.key.java.recoderext.adt

Class RangeExpression

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.expression.Operator

de.uka.ilkd.key.java.recoderext.adt.RangeExpression

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Expression, ExpressionContainer, NonTerminalProgramElement, ProgramElement, SourceElement, ModelElement

public class RangeExpression
extends Operator
implements Expression

Represents the range suffix for subsequences written in suffix notation, e.g.,

seq[from..to]

Since:

1.7.2119

Author:

bruns

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class recoder.java.expression.Operator

children, expressionParent, INFIX, POSTFIX, PREFIX

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Constructor and Description
RangeExpression(Expression fromIdx, Expression toIdx)
RangeExpression(RangeExpression rangeExpression)

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor arg0)
RangeExpression	deepClone()
int	getArity()
int	getNotation()
int	getPrecedence()
java.lang.String	toSource()

Methods inherited from class recoder.java.expression.Operator

getArguments, getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, getFirstElement, getLastElement, isLeftAssociative, isToBeParenthesized, makeParentRoleValid, precedes, replaceChild, setArguments, setExpressionContainer

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.Expression

getExpressionContainer, setExpressionContainer

Methods inherited from interface recoder.java.ProgramElement

getASTParent, getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition

Methods inherited from interface recoder.ModelElement

validate

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

RangeExpression

public RangeExpression(Expression fromIdx,
                       Expression toIdx)

RangeExpression

public RangeExpression(RangeExpression rangeExpression)

Method Detail

accept

public void accept(SourceVisitor arg0)

Specified by:

accept in interface SourceElement

deepClone

public RangeExpression deepClone()

Specified by:

deepClone in interface Expression

Specified by:

deepClone in interface SourceElement

toSource

public java.lang.String toSource()

Specified by:

toSource in interface SourceElement

Overrides:

toSource in class JavaSourceElement

getArity

public int getArity()

Specified by:

getArity in class Operator

getNotation

public int getNotation()

Specified by:

getNotation in class Operator

getPrecedence

public int getPrecedence()

Specified by:

getPrecedence in class Operator