public class StringLiteral extends Literal implements ReferencePrefix
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
value |
Constructor and Description |
---|
StringLiteral(ExtList children,
java.lang.String value)
String literal.
|
StringLiteral(java.lang.String value)
String literal.
|
Modifier and Type | Method and Description |
---|---|
int |
computeHashCode() |
boolean |
equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
commented in interface SourceElement.
|
KeYJavaType |
getKeYJavaType(Services javaServ)
retrieves the literal's type
|
Name |
getLDTName() |
ReferencePrefix |
getReferencePrefix()
We do not have a prefix, so fake it!
|
java.lang.String |
getValue() |
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
ReferencePrefix |
setReferencePrefix(ReferencePrefix r) |
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getKeYJavaType, match
equals, getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
public StringLiteral(java.lang.String value)
value
- a string.public StringLiteral(ExtList children, java.lang.String value)
children
- an ExtList with children(here:comments)value
- a string.public boolean equalsModRenaming(SourceElement o, NameAbstractionTable nat)
JavaProgramElement
equalsModRenaming
in interface SourceElement
equalsModRenaming
in class JavaProgramElement
public int computeHashCode()
computeHashCode
in class JavaProgramElement
public java.lang.String getValue()
public void visit(Visitor v)
visit
in interface SourceElement
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.public ReferencePrefix getReferencePrefix()
getReferencePrefix
in interface ReferencePrefix
public ReferencePrefix setReferencePrefix(ReferencePrefix r)
public KeYJavaType getKeYJavaType(Services javaServ)
Literal
getKeYJavaType
in class Literal
javaServ
- the Services offering access to the Java modelpublic Name getLDTName()
getLDTName
in class Literal