Module dev.civl.mc
Package dev.civl.mc.state.IF

Interface StackEntry

public interface StackEntry
An entry on a call stack of a process; also known as an "activation frame". An entry records the current location and dynamic scope of a process.

  • Method Summary

    Modifier and Type
    Method
    Description
    Location
    location()
    Returns the static location component of this activation frame.
    int
    scope()
     

  • Method Details

    • location

      Location location()
      Returns the static location component of this activation frame. This is the value of the "program counter".
      Returns:
      the static location

    • scope

      int scope()
      Returns:
      The ID of the dynamic scope of the process at the time of the function call.