Package it.unive.lisa.interprocedural

Class UniqueScope

  • All Implemented Interfaces:
    ScopeId
    public class UniqueScope
extends java.lang.Object
implements ScopeId
    A ScopeId for analyses that do not make distinction between different calling contexts.

    • Constructor Summary

      Constructors 
      Constructor Description
      UniqueScope()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isStartingId()
      Yields whether or not this id is the starting one, that is, if it has been generated with ScopeId.startingId() or if it must be considered equivalent to the value returned by that method.
      ScopeId push​(CFGCall scopeToken)
      Transforms the current scope id by appending the given call.
      ScopeId startingId()
      Yields the id to use at the start of the analysis, for entrypoints.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • UniqueScope

        public UniqueScope()

    • Method Detail

      • startingId

        public ScopeId startingId()
        Description copied from interface: ScopeId
        Yields the id to use at the start of the analysis, for entrypoints.
        Specified by:
        startingId in interface ScopeId
        Returns:
        the scope

      • push

        public ScopeId push​(CFGCall scopeToken)
        Description copied from interface: ScopeId
        Transforms the current scope id by appending the given call.
        Specified by:
        push in interface ScopeId
        Parameters:
        scopeToken - the call to append
        Returns:
        the (optionally) updated id

      • isStartingId

        public boolean isStartingId()
        Description copied from interface: ScopeId
        Yields whether or not this id is the starting one, that is, if it has been generated with ScopeId.startingId() or if it must be considered equivalent to the value returned by that method.
        Specified by:
        isStartingId in interface ScopeId
        Returns:
        true if that condition holds