Package it.unive.lisa.program.cfg.statement.literal

Class StringLiteral

  • All Implemented Interfaces:
    it.unive.lisa.program.cfg.ProgramPoint, it.unive.lisa.program.CodeElement, it.unive.lisa.util.datastructures.graph.code.CodeNode<it.unive.lisa.program.cfg.CFG,​it.unive.lisa.program.cfg.statement.Statement,​it.unive.lisa.program.cfg.edge.Edge>, it.unive.lisa.util.datastructures.graph.Node<it.unive.lisa.program.cfg.CFG,​it.unive.lisa.program.cfg.statement.Statement,​it.unive.lisa.program.cfg.edge.Edge>, java.lang.Comparable<it.unive.lisa.program.cfg.statement.Statement>
    public class StringLiteral
extends it.unive.lisa.program.cfg.statement.literal.Literal<java.lang.String>
    A Literal representing a constant string value. Instances of this literal have a StringType static type.

    • Field Summary

      • Fields inherited from class it.unive.lisa.program.cfg.statement.Statement

        offset

    • Constructor Summary

      Constructors 
      Constructor Description
      StringLiteral​(it.unive.lisa.program.cfg.CFG cfg, it.unive.lisa.program.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​(it.unive.lisa.program.cfg.CFG cfg,
                     it.unive.lisa.program.cfg.CodeLocation location,
                     java.lang.String value)
        Builds the literal.
        Parameters:
        cfg - the CFG where this literal lies
        location - the location where this literal is defined
        value - the constant value represented by this literal

    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class it.unive.lisa.program.cfg.statement.literal.Literal<java.lang.String>