Package pascal.taie.analysis.pta.core.cs.context

Interface Context

All Known Implementing Classes:
TrieContext
public interface Context
Representation of contexts in context-sensitive pointer analysis. Each context can be seen as a list of zero or more context elements.

  • Method Summary

    Modifier and Type
    Method
    Description
    Object
    getElementAt(int i)
     
    int
    getLength()
     

  • Method Details

    • getLength

      int getLength()
      Returns:
      the length (i.e., the number of elements) of this context.

    • getElementAt

      Object getElementAt(int i)
      Returns:
      the i-th element of this context. Starts from 0.