Class StringLiteral
- java.lang.Object
-
- it.unive.lisa.program.cfg.statement.Statement
-
- it.unive.lisa.program.cfg.statement.Expression
-
- it.unive.lisa.program.cfg.statement.literal.Literal<java.lang.String>
-
- it.unive.lisa.program.cfg.statement.literal.StringLiteral
-
- All Implemented Interfaces:
ProgramPoint
,CodeElement
,CodeNode<CFG,Statement,Edge>
,Node<CFG,Statement,Edge>
,java.lang.Comparable<Statement>
public class StringLiteral extends Literal<java.lang.String>
ALiteral
representing a constant string value. Instances of this literal have aStringType
static type.
-
-
Constructor Summary
Constructors Constructor Description StringLiteral(CFG cfg, CodeLocation location, java.lang.String value)
Builds the literal.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
toString()
-
Methods inherited from class it.unive.lisa.program.cfg.statement.literal.Literal
accept, equals, getValue, hashCode, semantics, setOffset
-
Methods inherited from class it.unive.lisa.program.cfg.statement.Expression
getMetaVariables, getParentStatement, getRootStatement, getStatementEvaluatedBefore, getStaticType, setParentStatement
-
Methods inherited from class it.unive.lisa.program.cfg.statement.Statement
compareTo, getCFG, getEvaluationPredecessor, getLocation, getOffset, stopsExecution, throwsError
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface it.unive.lisa.program.cfg.ProgramPoint
getProgram
-
-
-
-
Constructor Detail
-
StringLiteral
public StringLiteral(CFG cfg, CodeLocation location, java.lang.String value)
Builds the literal.- Parameters:
cfg
- theCFG
where this literal lieslocation
- the location where this literal is definedvalue
- the constant value represented by this literal
-
-