getValueAtExit method

D? getValueAtExit(
  1. int blockId,
  2. String variable
)

Gets the abstract value of a variable at block exit.

Implementation

D? getValueAtExit(int blockId, String variable) {
  return exitStates[blockId]?[variable];
}