public abstract class Literal extends JavaProgramElement implements Expression, TerminalProgramElement
Constructor and Description |
---|
Literal()
Literal
|
Literal(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Literal(ExtList children,
PositionInfo pos)
Literal with specific source code position.
|
Literal(PositionInfo pos)
Literal with specific source code position.
|
Modifier and Type | Method and Description |
---|---|
abstract KeYJavaType |
getKeYJavaType(Services javaServ)
retrieves the literal's type
|
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec)
retrieves the literal's type (as it is independant of the
execution context, it is same as using
getKeYJavaType(Services) ) |
abstract Name |
getLDTName() |
MatchConditions |
match(SourceData source,
MatchConditions matchCond)
matches the source "text" (@link SourceData#getSource()) against the pattern represented
by this object.
|
computeHashCode, equals, equalsModRenaming, getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
public Literal(ExtList children)
children
- the children of this AST element as KeY classes.
May contain: Commentspublic Literal()
public Literal(ExtList children, PositionInfo pos)
children
- the children of this AST element as KeY classes. May contain: Commentspos
- The specific source code position.public Literal(PositionInfo pos)
pos
- The specific source code position.public KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
getKeYJavaType(Services)
)getKeYJavaType
in interface Expression
javaServ
- the Services offering access to the Java modelec
- the ExecutionContext in which the expression is evaluatedpublic abstract KeYJavaType getKeYJavaType(Services javaServ)
javaServ
- the Services offering access to the Java modelpublic MatchConditions match(SourceData source, MatchConditions matchCond)
ProgramElement
MatchConditions
with
the found instantiations of the schemavariables. If the match
failed, null is returned instead.match
in interface ProgramElement
match
in class JavaProgramElement
source
- the SourceData with the program element to matchmatchCond
- the MatchConditions found up to this pointpublic abstract Name getLDTName()