de.uka.ilkd.key.java.recoderext

Class NewWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.expression.Operator

recoder.java.expression.operator.TypeOperator

recoder.java.expression.operator.New

de.uka.ilkd.key.java.recoderext.NewWrapper

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, TypeDeclarationContainer, Expression, ExpressionStatement, ExpressionContainer, LoopInitializer, NonTerminalProgramElement, ProgramElement, Reference, ConstructorReference, MemberReference, ReferencePrefix, ReferenceSuffix, TypeReferenceContainer, SourceElement, Statement, ModelElement

public class NewWrapper
extends New

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 Identifier	scope
private static long	serialVersionUID

Fields inherited from class recoder.java.expression.operator.New

accessPath, anonymousClass, referenceParent, statementParent

Fields inherited from class recoder.java.expression.operator.TypeOperator

typeReference

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
NewWrapper(New proto, Identifier scope)

Method Summary

Modifier and Type	Method and Description
NewWrapper	deepClone()
Identifier	getScope()

Methods inherited from class recoder.java.expression.operator.New

accept, getArguments, getArity, getASTParent, getChildAt, getChildCount, getChildPositionCode, getClassDeclaration, getExpressionContainer, getFirstElement, getLastElement, getNotation, getPrecedence, getReferencePrefix, getReferenceSuffix, getStatementContainer, getTypeDeclarationAt, getTypeDeclarationCount, makeParentRoleValid, replaceChild, setArguments, setClassDeclaration, setExpressionContainer, setReferencePrefix, setReferenceSuffix, setStatementContainer

Methods inherited from class recoder.java.expression.operator.TypeOperator

getTypeReference, getTypeReferenceAt, getTypeReferenceCount, setTypeReference

Methods inherited from class recoder.java.expression.Operator

getExpressionAt, getExpressionCount, isLeftAssociative, isToBeParenthesized, precedes

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, toString, wait, wait, wait

Methods inherited from interface recoder.java.ExpressionContainer

getExpressionAt, getExpressionCount

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

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

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

scope

private Identifier scope

Constructor Detail

NewWrapper

public NewWrapper(New proto,
                  Identifier scope)

Method Detail

deepClone

public NewWrapper deepClone()

Specified by:

deepClone in interface Expression

Specified by:

deepClone in interface ExpressionStatement

Specified by:

deepClone in interface SourceElement

Specified by:

deepClone in interface Statement

Overrides:

deepClone in class New

getScope

public Identifier getScope()