public final class BigintLiteral extends Literal implements KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
private String |
value |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
BigintLiteral() |
BigintLiteral(BigInteger value) |
BigintLiteral(int value) |
BigintLiteral(String value) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor arg0) |
Expression |
deepClone() |
boolean |
equals(Object o) |
Object |
getEquivalentJavaType() |
String |
getValue() |
int |
hashCode() |
String |
toString() |
getASTParent, getExpressionContainer, setExpressionContainer
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
private String value
public BigintLiteral(int value)
public BigintLiteral(String value)
public BigintLiteral(BigInteger value)
public BigintLiteral()
public Object getEquivalentJavaType()
getEquivalentJavaType
in class Literal
public Expression deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
public void accept(SourceVisitor arg0)
accept
in interface SourceElement
public String getValue()