Interface ICFGOwnerContext

All Known Subinterfaces:
IDMethodContext, IVariableInformationProvider, IVariableInformationProvider

public interface ICFGOwnerContext
Definition of a context owning or managing a control flow graph. The context may provide additional information (such as variable names) not present in a CFG.
  • Method Summary

    Modifier and Type
    Method
    Description
    getName(int id)
    Get a variable name by id.
    getSame(int id)
    Get the copies of a variable having the provided id.
  • Method Details

    • getName

      String getName(int id)
      Get a variable name by id.
      Parameters:
      id -
      Returns:
    • getSame

      Set<Integer> getSame(int id)
      Get the copies of a variable having the provided id.
      Parameters:
      id - a variable id (original or copy)
      Returns:
      a set of all variables that represent the "same" provided variable