extractFromFile method

List<Fact> extractFromFile(
  1. FileIr fileIr
)

Extracts facts from an entire file IR.

Implementation

List<Fact> extractFromFile(FileIr fileIr) {
  final facts = <Fact>[];

  for (final func in fileIr.allFunctions) {
    facts.addAll(extractFromFunction(func));
  }

  return facts;
}