Package it.unive.lisa.analysis.dataflow

Class Liveness

  • All Implemented Interfaces:
    it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness>,​Liveness>, it.unive.lisa.analysis.ScopedObject<Liveness>, it.unive.lisa.analysis.SemanticEvaluator, it.unive.lisa.util.representation.StructuredObject
    public class Liveness
extends java.lang.Object
implements it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness>,​Liveness>
    An implementation of the liveness dataflow analysis, that determines which values might be used later on in the program.

    • Constructor Summary

      Constructors 
      Constructor Description
      Liveness()
      Builds an empty liveness element.
      Liveness​(it.unive.lisa.symbolic.value.Identifier id)
      Builds the liveness element for the specified id.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)  
      java.util.Collection<Liveness> 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.PossibleDataflowDomain<Liveness> domain)  
      java.util.Collection<Liveness> gen​(it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness> domain)  
      java.util.Collection<it.unive.lisa.symbolic.value.Identifier> getInvolvedIdentifiers()  
      int hashCode()  
      java.util.Collection<Liveness> 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.PossibleDataflowDomain<Liveness> domain)  
      java.util.Collection<Liveness> kill​(it.unive.lisa.symbolic.value.ValueExpression expression, it.unive.lisa.program.cfg.ProgramPoint pp, it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness> domain)  
      Liveness popScope​(it.unive.lisa.analysis.ScopeToken token)  
      Liveness pushScope​(it.unive.lisa.analysis.ScopeToken token)  
      it.unive.lisa.util.representation.StructuredRepresentation representation()  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface it.unive.lisa.analysis.dataflow.DataflowElement

        canProcess

    • Constructor Detail

      • Liveness

        public Liveness()
        Builds an empty liveness element.

      • Liveness

        public Liveness​(it.unive.lisa.symbolic.value.Identifier id)
        Builds the liveness element for the specified id.
        Parameters:
        id - the id

    • Method Detail

      • pushScope

        public Liveness pushScope​(it.unive.lisa.analysis.ScopeToken token)
                   throws it.unive.lisa.analysis.SemanticException
        Specified by:
        pushScope in interface it.unive.lisa.analysis.ScopedObject<Liveness>
        Throws:
        it.unive.lisa.analysis.SemanticException

      • popScope

        public Liveness popScope​(it.unive.lisa.analysis.ScopeToken token)
                  throws it.unive.lisa.analysis.SemanticException
        Specified by:
        popScope in interface it.unive.lisa.analysis.ScopedObject<Liveness>
        Throws:
        it.unive.lisa.analysis.SemanticException

      • 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.PossibleDataflowDomain<Liveness>,​Liveness>

      • representation

        public it.unive.lisa.util.representation.StructuredRepresentation representation()
        Specified by:
        representation in interface it.unive.lisa.util.representation.StructuredObject

      • toString

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

      • 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

      • gen

        public java.util.Collection<Liveness> 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.PossibleDataflowDomain<Liveness> domain)
                                   throws it.unive.lisa.analysis.SemanticException
        Specified by:
        gen in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness>,​Liveness>
        Throws:
        it.unive.lisa.analysis.SemanticException

      • gen

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

      • kill

        public java.util.Collection<Liveness> 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.PossibleDataflowDomain<Liveness> domain)
                                    throws it.unive.lisa.analysis.SemanticException
        Specified by:
        kill in interface it.unive.lisa.analysis.dataflow.DataflowElement<it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<Liveness>,​Liveness>
        Throws:
        it.unive.lisa.analysis.SemanticException

      • kill

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