Package it.unive.lisa.analysis.dataflow

Class AvailableExpressions

  • All Implemented Interfaces:
    it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>, it.unive.lisa.analysis.SemanticEvaluator
    public class AvailableExpressions
extends java.lang.Object
implements it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>
    An implementation of the available expressions dataflow analysis, that focuses only on the expressions that are stored into some variable.

    • Constructor Summary

      Constructors 
      Constructor Description
      AvailableExpressions()
      Builds an empty available expressions object.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean canProcess​(it.unive.lisa.symbolic.SymbolicExpression expression)  
      boolean equals​(java.lang.Object obj)  
      java.util.Collection<AvailableExpressions> gen​(it.unive.lisa.symbolic.value.Identifier id, it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)  
      java.util.Collection<AvailableExpressions> gen​(it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)  
      java.util.Collection<it.unive.lisa.symbolic.value.Identifier> getInvolvedIdentifiers()  
      int hashCode()  
      java.util.Collection<AvailableExpressions> kill​(it.unive.lisa.symbolic.value.Identifier id, it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)  
      java.util.Collection<AvailableExpressions> kill​(it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)  
      AvailableExpressions popScope​(it.unive.lisa.analysis.ScopeToken scope)  
      AvailableExpressions pushScope​(it.unive.lisa.analysis.ScopeToken scope)  
      it.unive.lisa.analysis.representation.DomainRepresentation representation()  
      java.lang.String toString()  
      boolean tracksIdentifiers​(it.unive.lisa.symbolic.value.Identifier id)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • AvailableExpressions

        public AvailableExpressions()
        Builds an empty available expressions object.

    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • getInvolvedIdentifiers

        public java.util.Collection<it.unive.lisa.symbolic.value.Identifier> getInvolvedIdentifiers()
        Specified by:
        getInvolvedIdentifiers in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • gen

        public java.util.Collection<AvailableExpressions> gen​(it.unive.lisa.symbolic.value.Identifier id,
                                                      it.unive.lisa.symbolic.value.ValueExpression expression,
                                                      it.unive.lisa.program.cfg.ProgramPoint pp,
                                                      it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)
        Specified by:
        gen in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • gen

        public java.util.Collection<AvailableExpressions> gen​(it.unive.lisa.symbolic.value.ValueExpression expression,
                                                      it.unive.lisa.program.cfg.ProgramPoint pp,
                                                      it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)
        Specified by:
        gen in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • kill

        public java.util.Collection<AvailableExpressions> kill​(it.unive.lisa.symbolic.value.Identifier id,
                                                       it.unive.lisa.symbolic.value.ValueExpression expression,
                                                       it.unive.lisa.program.cfg.ProgramPoint pp,
                                                       it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)
        Specified by:
        kill in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • kill

        public java.util.Collection<AvailableExpressions> kill​(it.unive.lisa.symbolic.value.ValueExpression expression,
                                                       it.unive.lisa.program.cfg.ProgramPoint pp,
                                                       it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions> domain)
        Specified by:
        kill in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object

      • tracksIdentifiers

        public boolean tracksIdentifiers​(it.unive.lisa.symbolic.value.Identifier id)
        Specified by:
        tracksIdentifiers in interface it.unive.lisa.analysis.SemanticEvaluator

      • canProcess

        public boolean canProcess​(it.unive.lisa.symbolic.SymbolicExpression expression)
        Specified by:
        canProcess in interface it.unive.lisa.analysis.SemanticEvaluator

      • representation

        public it.unive.lisa.analysis.representation.DomainRepresentation representation()
        Specified by:
        representation in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>

      • pushScope

        public AvailableExpressions pushScope​(it.unive.lisa.analysis.ScopeToken scope)
                               throws it.unive.lisa.analysis.SemanticException
        Specified by:
        pushScope in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>
        Throws:
        it.unive.lisa.analysis.SemanticException

      • popScope

        public AvailableExpressions popScope​(it.unive.lisa.analysis.ScopeToken scope)
                              throws it.unive.lisa.analysis.SemanticException
        Specified by:
        popScope in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.DefiniteForwardDataflowDomain<AvailableExpressions>,​AvailableExpressions>
        Throws:
        it.unive.lisa.analysis.SemanticException