de.uka.ilkd.key.java.expression.literal

Class FreeLiteral

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.expression.Literal

de.uka.ilkd.key.java.expression.literal.FreeLiteral

All Implemented Interfaces:

Expression, ModelElement, ProgramElement, SourceElement, TerminalProgramElement, SVSubstitute

public class FreeLiteral
extends Literal

Field Summary

Fields

Modifier and Type	Field and Description
static FreeLiteral	INSTANCE

Constructor Summary

Constructors

Constructor and Description
FreeLiteral()

Method Summary

Modifier and Type	Method and Description
KeYJavaType	getKeYJavaType(Services javaServ) retrieves the literal's type
Name	getLDTName()
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.expression.Literal

getKeYJavaType, match

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

computeHashCode, equals, equalsModRenaming, getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint

Field Detail

INSTANCE

public static final FreeLiteral INSTANCE

Constructor Detail

FreeLiteral

public FreeLiteral()

Method Detail

visit

public void visit(Visitor v)

Description copied from interface: SourceElement

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Parameters:

v - the Visitor

getKeYJavaType

public KeYJavaType getKeYJavaType(Services javaServ)

Description copied from class: Literal

retrieves the literal's type

Specified by:

getKeYJavaType in class Literal

Parameters:

javaServ - the Services offering access to the Java model

Returns:

the literal's type

getLDTName

public Name getLDTName()

Specified by:

getLDTName in class Literal