Package it.unive.lisa.imp.expressions

Class IMPArrayAccess

  • 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 IMPArrayAccess
extends it.unive.lisa.program.cfg.statement.BinaryExpression
    An expression modeling the array element access operation (array[index]). The type of this expression is the one of the resolved array element.

    • Field Summary

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

        offset

    • Constructor Summary

      Constructors 
      Constructor Description
      IMPArrayAccess​(it.unive.lisa.program.cfg.CFG cfg, java.lang.String sourceFile, int line, int col, it.unive.lisa.program.cfg.statement.Expression container, it.unive.lisa.program.cfg.statement.Expression location)
      Builds the array access.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <A extends it.unive.lisa.analysis.AbstractState<A,​H,​V,​T>,​H extends it.unive.lisa.analysis.heap.HeapDomain<H>,​V extends it.unive.lisa.analysis.value.ValueDomain<V>,​T extends it.unive.lisa.analysis.value.TypeDomain<T>>
      it.unive.lisa.analysis.AnalysisState<A,​H,​V,​T>      		 binarySemantics​(it.unive.lisa.interprocedural.InterproceduralAnalysis<A,​H,​V,​T> interprocedural, it.unive.lisa.analysis.AnalysisState<A,​H,​V,​T> state, it.unive.lisa.symbolic.SymbolicExpression left, it.unive.lisa.symbolic.SymbolicExpression right, it.unive.lisa.analysis.StatementStore<A,​H,​V,​T> expressions)  

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

        expressionSemantics, getLeft, getRight

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

        accept, equals, getConstructName, getOrder, getStatementEvaluatedBefore, getSubExpressions, hashCode, semantics, setOffset, toString

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

        getMetaVariables, getParentStatement, getRootStatement, 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

      • IMPArrayAccess

        public IMPArrayAccess​(it.unive.lisa.program.cfg.CFG cfg,
                      java.lang.String sourceFile,
                      int line,
                      int col,
                      it.unive.lisa.program.cfg.statement.Expression container,
                      it.unive.lisa.program.cfg.statement.Expression location)
        Builds the array access.
        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
        container - the expression representing the array reference that will receive the access
        location - the expression representing the accessed element

    • Method Detail

      • binarySemantics

        public <A extends it.unive.lisa.analysis.AbstractState<A,​H,​V,​T>,​H extends it.unive.lisa.analysis.heap.HeapDomain<H>,​V extends it.unive.lisa.analysis.value.ValueDomain<V>,​T extends it.unive.lisa.analysis.value.TypeDomain<T>> it.unive.lisa.analysis.AnalysisState<A,​H,​V,​T> binarySemantics​(it.unive.lisa.interprocedural.InterproceduralAnalysis<A,​H,​V,​T> interprocedural,
                                                                                                                                                                                                                                                                                                                                                    it.unive.lisa.analysis.AnalysisState<A,​H,​V,​T> state,
                                                                                                                                                                                                                                                                                                                                                    it.unive.lisa.symbolic.SymbolicExpression left,
                                                                                                                                                                                                                                                                                                                                                    it.unive.lisa.symbolic.SymbolicExpression right,
                                                                                                                                                                                                                                                                                                                                                    it.unive.lisa.analysis.StatementStore<A,​H,​V,​T> expressions)
                                                                                                                                                                                                                                                                                                                                             throws it.unive.lisa.analysis.SemanticException
        Specified by:
        binarySemantics in class it.unive.lisa.program.cfg.statement.BinaryExpression
        Throws:
        it.unive.lisa.analysis.SemanticException