| de.uka.ilkd.key.java.expression.Literal de.uka.ilkd.key.java.expression.literal.DoubleLiteral
DoubleLiteral | public class DoubleLiteral extends Literal (Code) | | Double literal.
author: AutoDoc |
Field Summary | |
final protected String | value Textual representation of the value. |
value | final protected String value(Code) | | Textual representation of the value.
|
DoubleLiteral | public DoubleLiteral()(Code) | | Double literal.
|
DoubleLiteral | public DoubleLiteral(double value)(Code) | | Double literal.
Parameters: value - a double value. |
DoubleLiteral | public DoubleLiteral(ExtList children, String value)(Code) | | Double literal.
Parameters: children - list with all children(here:comments)May contain: Comments Parameters: value - a string. |
DoubleLiteral | public DoubleLiteral(String value)(Code) | | Double literal.
Parameters: value - a string. |
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 |
|
|