analyzeTermination function

List<Object?> analyzeTermination(
  1. Program program
)

Analyze a Ball program for termination and control-flow issues. Returns the list of warning Maps (empty ⇒ no issues).

Implementation

List<Object?> analyzeTermination(Program program) {
  return _analyzeTerminationCore({'modules': program.modules});
}