de.uka.ilkd.key.java.recoderext

Class RKeYMetaConstructType

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.reference.TypeReference

de.uka.ilkd.key.java.recoderext.RKeYMetaConstructType

All Implemented Interfaces:

KeYRecoderExtension, Serializable, Cloneable, ExpressionContainer, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, MemberReference, NameReference, PackageReferenceContainer, ReferencePrefix, ReferenceSuffix, TypeReferenceContainer, TypeReferenceInfix, SourceElement, ModelElement, NamedModelElement

public class RKeYMetaConstructType
extends TypeReference
implements KeYRecoderExtension

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.NamedModelElement

NamedModelElement.LexicalOrder

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
protected Expression	child Child
protected String	myname
private static long	serialVersionUID

Fields inherited from class recoder.java.reference.TypeReference

dimensions, name, parent, prefix, typeArguments

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.NamedModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Modifier	Constructor and Description
	RKeYMetaConstructType()
protected	RKeYMetaConstructType(RKeYMetaConstructType proto)

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor v)
TypeReference	deepClone()
Expression	getChild() Get child.
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
int	getChildPositionCode(ProgramElement child0)
Expression	getExpressionAt(int index)
int	getExpressionCount() Get the number of expression in this container.
int	getIndexOfChild(int posCode) Deprecated.
int	getIndexOfChild(ProgramElement pe)
String	getName0()
int	getRoleOfChild(int i)
void	setChild(Expression expression) Set child.
void	setName(String s) sets a String myname of this meta construct like 'unwind-loop'

Methods inherited from class recoder.java.reference.TypeReference

getASTParent, getDimensions, getFirstElement, getIdentifier, getName, getPackageReference, getParent, getReferencePrefix, getReferenceSuffix, getTypeArguments, getTypeReferenceAt, getTypeReferenceCount, makeParentRoleValid, replaceChild, setDimensions, setIdentifier, setParent, setReferencePrefix, setReferenceSuffix, setTypeArguments

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getLastElement, 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.NonTerminalProgramElement

makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getLastElement, 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

child

protected Expression child

Child

myname

protected String myname

Constructor Detail

RKeYMetaConstructType

protected RKeYMetaConstructType(RKeYMetaConstructType proto)

RKeYMetaConstructType

public RKeYMetaConstructType()

Method Detail

getChildCount

public int getChildCount()

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Overrides:

getChildCount in class TypeReference

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array

Specified by:

getChildAt in interface NonTerminalProgramElement

Overrides:

getChildAt in class TypeReference

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

ArrayIndexOutOfBoundsException - if index is out of bounds

getChildPositionCode

public int getChildPositionCode(ProgramElement child0)

Specified by:

getChildPositionCode in interface NonTerminalProgramElement

Overrides:

getChildPositionCode in class TypeReference

getIndexOfChild

public int getIndexOfChild(ProgramElement pe)

Specified by:

getIndexOfChild in interface NonTerminalProgramElement

Overrides:

getIndexOfChild in class JavaNonTerminalProgramElement

getIndexOfChild

@Deprecated
public int getIndexOfChild(int posCode)

Deprecated.

Specified by:

getIndexOfChild in interface NonTerminalProgramElement

Overrides:

getIndexOfChild in class JavaNonTerminalProgramElement

getRoleOfChild

public int getRoleOfChild(int i)

Specified by:

getRoleOfChild in interface NonTerminalProgramElement

Overrides:

getRoleOfChild in class JavaNonTerminalProgramElement

setName

public void setName(String s)

sets a String myname of this meta construct like 'unwind-loop'

Parameters:

s - the String

getName0

public String getName0()

getChild

public Expression getChild()

Get child.

Returns:

the expression.

setChild

public void setChild(Expression expression)

Set child.

Parameters:

expression - a expression.

getExpressionCount

public int getExpressionCount()

Get the number of expression in this container.

Specified by:

getExpressionCount in interface ExpressionContainer

Overrides:

getExpressionCount in class TypeReference

Returns:

the number of expressions.

getExpressionAt

public Expression getExpressionAt(int index)

Specified by:

getExpressionAt in interface ExpressionContainer

Overrides:

getExpressionAt in class TypeReference

accept

public void accept(SourceVisitor v)

Specified by:

accept in interface SourceElement

Overrides:

accept in class TypeReference

deepClone

public TypeReference deepClone()

Specified by:

deepClone in interface SourceElement

Overrides:

deepClone in class TypeReference