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

Class ADTPrefixConstruct

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.expression.Operator

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

All Implemented Interfaces:

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

Direct Known Subclasses:

AllFields, AllObjects, Intersect, SeqConcat, SeqGet, SeqReverse, SeqSingleton, SeqSub, SetMinus, SetUnion, Singleton

public abstract class ADTPrefixConstruct
extends Operator
implements ReferencePrefix

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
private ReferenceSuffix	suffix

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

Modifier	Constructor and Description
	ADTPrefixConstruct()
protected	ADTPrefixConstruct(ADTPrefixConstruct proto)
	ADTPrefixConstruct(Expression unary)
	ADTPrefixConstruct(Expression lhs, Expression rhs)

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor arg0)
int	getPrecedence()
ReferenceSuffix	getReferenceSuffix()
void	setReferenceSuffix(ReferenceSuffix arg0)
java.lang.String	toString()

Methods inherited from class recoder.java.expression.Operator

getArguments, getArity, getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, getFirstElement, getLastElement, getNotation, 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, toSource

Methods inherited from class java.lang.Object

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

Methods inherited from interface recoder.java.ProgramElement

getASTParent, getComments, setComments

Methods inherited from interface recoder.java.SourceElement

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

Methods inherited from interface recoder.ModelElement

validate

Methods inherited from interface recoder.java.Expression

deepClone

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

suffix

private ReferenceSuffix suffix

Constructor Detail

ADTPrefixConstruct

public ADTPrefixConstruct()

ADTPrefixConstruct

public ADTPrefixConstruct(Expression unary)

ADTPrefixConstruct

public ADTPrefixConstruct(Expression lhs,
                          Expression rhs)

ADTPrefixConstruct

protected ADTPrefixConstruct(ADTPrefixConstruct proto)

Method Detail

getReferenceSuffix

public ReferenceSuffix getReferenceSuffix()

Specified by:

getReferenceSuffix in interface ReferencePrefix

setReferenceSuffix

public void setReferenceSuffix(ReferenceSuffix arg0)

Specified by:

setReferenceSuffix in interface ReferencePrefix

accept

public void accept(SourceVisitor arg0)

Specified by:

accept in interface SourceElement

getPrecedence

public int getPrecedence()

Specified by:

getPrecedence in class Operator

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object