Package it.unive.lisa.imp.expressions

Class IMPNewArray

  • All Implemented Interfaces:
    it.unive.lisa.program.cfg.ProgramPoint, 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>
    public class IMPNewArray
extends it.unive.lisa.program.cfg.statement.call.NativeCall
    An expression modeling the array allocation operation (new type[...]). The type of this expression is the Type of the array's elements. Note that the dimensions of the array are ignored. This expression corresponds to a HeapAllocation.

    • Field Summary

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

        offset

    • Constructor Summary

      Constructors 
      Constructor Description
      IMPNewArray​(it.unive.lisa.program.cfg.CFG cfg, java.lang.String sourceFile, int line, int col, it.unive.lisa.type.Type type, it.unive.lisa.program.cfg.statement.Expression[] dimensions)
      Builds the array allocation.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <A extends it.unive.lisa.analysis.AbstractState<A,​H,​V>,​H extends it.unive.lisa.analysis.heap.HeapDomain<H>,​V extends it.unive.lisa.analysis.value.ValueDomain<V>>
      it.unive.lisa.analysis.AnalysisState<A,​H,​V>      		 callSemantics​(it.unive.lisa.analysis.AnalysisState<A,​H,​V> entryState, it.unive.lisa.interprocedural.InterproceduralAnalysis<A,​H,​V> interprocedural, it.unive.lisa.analysis.AnalysisState<A,​H,​V>[] computedStates, it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.SymbolicExpression>[] params)  

      • 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

      • IMPNewArray

        public IMPNewArray​(it.unive.lisa.program.cfg.CFG cfg,
                   java.lang.String sourceFile,
                   int line,
                   int col,
                   it.unive.lisa.type.Type type,
                   it.unive.lisa.program.cfg.statement.Expression[] dimensions)
        Builds the array allocation.
        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
        type - the type of the array's elements
        dimensions - the dimensions of the array

    • Method Detail

      • callSemantics

        public <A extends it.unive.lisa.analysis.AbstractState<A,​H,​V>,​H extends it.unive.lisa.analysis.heap.HeapDomain<H>,​V extends it.unive.lisa.analysis.value.ValueDomain<V>> it.unive.lisa.analysis.AnalysisState<A,​H,​V> callSemantics​(it.unive.lisa.analysis.AnalysisState<A,​H,​V> entryState,
                                                                                                                                                                                                                                                                       it.unive.lisa.interprocedural.InterproceduralAnalysis<A,​H,​V> interprocedural,
                                                                                                                                                                                                                                                                       it.unive.lisa.analysis.AnalysisState<A,​H,​V>[] computedStates,
                                                                                                                                                                                                                                                                       it.unive.lisa.analysis.lattices.ExpressionSet<it.unive.lisa.symbolic.SymbolicExpression>[] params)
                                                                                                                                                                                                                                                                throws it.unive.lisa.analysis.SemanticException
        Specified by:
        callSemantics in class it.unive.lisa.program.cfg.statement.call.Call
        Throws:
        it.unive.lisa.analysis.SemanticException