| de.uka.ilkd.key.java.expression.Literal de.uka.ilkd.key.java.expression.literal.IntLiteral
IntLiteral | public class IntLiteral extends Literal (Code) | | Int literal.
author: AutoDoc |
Field Summary | |
protected String | value Textual representation of the value. |
value | protected String value(Code) | | Textual representation of the value.
|
IntLiteral | public IntLiteral()(Code) | | Int literal.
|
IntLiteral | public IntLiteral(int value)(Code) | | Int literal.
Parameters: value - an int value. |
IntLiteral | public IntLiteral(String value)(Code) | | Int literal.
Parameters: value - a string. |
IntLiteral | public IntLiteral(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters: children - the children of this AST element as KeY classes.May contain: Comments |
getValue | public String getValue()(Code) | | Get value.
the string. |
hashCode | public int hashCode()(Code) | | |
visit | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters: v - the Visitor |
|
|