getIntervalAtBlockEntry method

IntervalDomain? getIntervalAtBlockEntry(
  1. AnalysisResult<IntervalDomain> result,
  2. int blockId,
  3. String variable
)

Convenience method to get interval at a specific program point.

Implementation

IntervalDomain? getIntervalAtBlockEntry(
  AnalysisResult<IntervalDomain> result,
  int blockId,
  String variable,
) {
  return result.getValueAtEntry(blockId, variable);
}