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

Class EmptySeqLiteral

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.expression.Literal

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Expression, ProgramElement, SourceElement, TerminalProgramElement, ModelElement

public final class EmptySeqLiteral
extends Literal

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
static EmptySeqLiteral	INSTANCE
private static long	serialVersionUID

Fields inherited from class recoder.java.expression.Literal

expressionParent

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
EmptySeqLiteral()

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor v)
Expression	deepClone()
java.lang.Object	getEquivalentJavaType()
java.lang.String	toSource()

Methods inherited from class recoder.java.expression.Literal

getASTParent, getExpressionContainer, setExpressionContainer

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

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

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

INSTANCE

public static final EmptySeqLiteral INSTANCE

Constructor Detail

EmptySeqLiteral

public EmptySeqLiteral()

Method Detail

deepClone

public Expression deepClone()

accept

public void accept(SourceVisitor v)

getEquivalentJavaType

public java.lang.Object getEquivalentJavaType()

Specified by:

getEquivalentJavaType in class Literal

toSource

public java.lang.String toSource()

Specified by:

toSource in interface SourceElement

Overrides:

toSource in class JavaSourceElement