public class IntLiteral extends Literal
Modifier and Type | Field and Description |
---|---|
protected String |
value
Textual representation of the value.
|
Constructor and Description |
---|
IntLiteral()
Int literal.
|
IntLiteral(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
IntLiteral(ExtList children,
String value)
Constructor for Recoder2KeY transformation.
|
IntLiteral(int value)
Int literal.
|
IntLiteral(String value)
Int literal.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
boolean |
equalsModRenaming(SourceElement o,
NameAbstractionTable nat)
tests if equals
|
KeYJavaType |
getKeYJavaType(Services javaServ)
retrieves the literal's type
|
Name |
getLDTName() |
String |
getValue()
Get value.
|
int |
hashCode() |
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getKeYJavaType, match
getComments, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
protected String value
public IntLiteral()
public IntLiteral(int value)
value
- an int value.public IntLiteral(String value)
value
- a string.public IntLiteral(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic String getValue()
public boolean equalsModRenaming(SourceElement o, NameAbstractionTable nat)
equalsModRenaming
in interface SourceElement
equalsModRenaming
in class JavaProgramElement
public int hashCode()
hashCode
in class JavaProgramElement
public boolean equals(Object o)
equals
in class JavaProgramElement
public void visit(Visitor v)
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.IOException
- occasionally thrown.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