Package it.unive.lisa.imp.constructs

Class StringReplace.IMPStringReplace

  • All Implemented Interfaces:
    it.unive.lisa.program.cfg.ProgramPoint, it.unive.lisa.program.cfg.statement.PluggableStatement, it.unive.lisa.program.CodeElement, it.unive.lisa.util.datastructures.graph.Node<it.unive.lisa.program.cfg.statement.Statement,​it.unive.lisa.program.cfg.edge.Edge,​it.unive.lisa.program.cfg.CFG>, java.lang.Comparable<it.unive.lisa.program.cfg.statement.Statement>
    Enclosing class:
    StringReplace
    public static class StringReplace.IMPStringReplace
extends it.unive.lisa.program.cfg.statement.string.Replace
implements it.unive.lisa.program.cfg.statement.PluggableStatement
    An expression modeling the string replace operation. The type of all three operands must be StringType. The type of this expression is the StringType.

    • Field Summary

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

        originating

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

        offset

    • Constructor Summary

      Constructors 
      Constructor Description
      IMPStringReplace​(it.unive.lisa.program.cfg.CFG cfg, it.unive.lisa.program.cfg.CodeLocation location, it.unive.lisa.program.cfg.statement.Expression left, it.unive.lisa.program.cfg.statement.Expression middle, it.unive.lisa.program.cfg.statement.Expression right)
      Builds the replace.
      IMPStringReplace​(it.unive.lisa.program.cfg.CFG cfg, java.lang.String sourceFile, int line, int col, it.unive.lisa.program.cfg.statement.Expression left, it.unive.lisa.program.cfg.statement.Expression middle, it.unive.lisa.program.cfg.statement.Expression right)
      Builds the replace.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static StringReplace.IMPStringReplace build​(it.unive.lisa.program.cfg.CFG cfg, it.unive.lisa.program.cfg.CodeLocation location, it.unive.lisa.program.cfg.statement.Expression... params)
      Builds a new instance of this native call, according to the PluggableStatement contract.
      void setOriginatingStatement​(it.unive.lisa.program.cfg.statement.Statement st)  

      • Methods inherited from class it.unive.lisa.program.cfg.statement.string.Replace

        ternarySemantics

      • Methods inherited from class it.unive.lisa.program.cfg.statement.call.TernaryNativeCall

        callSemantics

      • Methods inherited from class it.unive.lisa.program.cfg.statement.call.NativeCall

        equals, getConstructName, hashCode, toString

      • Methods inherited from class it.unive.lisa.program.cfg.statement.call.Call

        accept, getParameters, semantics, setOffset

      • Methods inherited from class it.unive.lisa.program.cfg.statement.Expression

        getDynamicType, getMetaVariables, getParentStatement, getRootStatement, getRuntimeTypes, getStaticType, setParentStatement, setRuntimeTypes

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

        compareTo, getCFG, getLocation, getOffset, stopsExecution, throwsError

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • IMPStringReplace

        public IMPStringReplace​(it.unive.lisa.program.cfg.CFG cfg,
                        java.lang.String sourceFile,
                        int line,
                        int col,
                        it.unive.lisa.program.cfg.statement.Expression left,
                        it.unive.lisa.program.cfg.statement.Expression middle,
                        it.unive.lisa.program.cfg.statement.Expression right)
        Builds the replace.
        Parameters:
        cfg - the CFG where this operation lies
        sourceFile - the source file name where this operation is defined
        line - the line number where this operation is defined
        col - the column where this operation is defined
        left - the left-hand side of this operation
        middle - the middle operand of this operation
        right - the right-hand side of this operation

      • IMPStringReplace

        public IMPStringReplace​(it.unive.lisa.program.cfg.CFG cfg,
                        it.unive.lisa.program.cfg.CodeLocation location,
                        it.unive.lisa.program.cfg.statement.Expression left,
                        it.unive.lisa.program.cfg.statement.Expression middle,
                        it.unive.lisa.program.cfg.statement.Expression right)
        Builds the replace.
        Parameters:
        cfg - the CFG where this operation lies
        location - the code location where this operation is defined
        left - the left-hand side of this operation
        middle - the middle operand of this operation
        right - the right-hand side of this operation

    • Method Detail

      • build

        public static StringReplace.IMPStringReplace build​(it.unive.lisa.program.cfg.CFG cfg,
                                                   it.unive.lisa.program.cfg.CodeLocation location,
                                                   it.unive.lisa.program.cfg.statement.Expression... params)
        Builds a new instance of this native call, according to the PluggableStatement contract.
        Parameters:
        cfg - the cfg where the native call happens
        location - the location where the native call happens
        params - the parameters of the native call
        Returns:
        the newly-built call

      • setOriginatingStatement

        public void setOriginatingStatement​(it.unive.lisa.program.cfg.statement.Statement st)
        Specified by:
        setOriginatingStatement in interface it.unive.lisa.program.cfg.statement.PluggableStatement