| java.lang.Object de.uka.ilkd.key.java.JavaSourceElement de.uka.ilkd.key.java.JavaProgramElement de.uka.ilkd.key.java.expression.Literal
All known Subclasses: de.uka.ilkd.key.java.expression.literal.DoubleLiteral, de.uka.ilkd.key.java.expression.literal.IntLiteral, de.uka.ilkd.key.java.expression.literal.BooleanLiteral, de.uka.ilkd.key.java.expression.literal.FloatLiteral, de.uka.ilkd.key.java.expression.literal.StringLiteral, de.uka.ilkd.key.java.expression.literal.NullLiteral, de.uka.ilkd.key.java.expression.literal.LongLiteral, de.uka.ilkd.key.java.expression.literal.CharLiteral,
Constructor Summary | |
public | Literal(ExtList children) Constructor for the transformation of COMPOST ASTs to KeY. | public | Literal() |
Literal | public Literal(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 |
Literal | public Literal()(Code) | | Literal
|
getKeYJavaType | public KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)(Code) | | retrieves the literal's type (as it is independant of the
execution context, it is same as using
Literal.getKeYJavaType(Services) )
Parameters: javaServ - the Services offering access to the Java model Parameters: ec - the ExecutionContext in which the expression is evaluated the literal's type |
getKeYJavaType | abstract public KeYJavaType getKeYJavaType(Services javaServ)(Code) | | retrieves the literal's type
Parameters: javaServ - the Services offering access to the Java model the literal's type |
|
|