AllFunctions finds and returns the set of functions potentially needed by program prog, as determined by a simple linker-style reachability algorithm starting from the members and method-sets of each package.

BuildPackage builds an SSA program with IR for a single package.

CreateProgram returns a new program in SSA form, given a program loaded from source.

Switches examines the control-flow graph of fn and returns the set of inferred value and type switches.

A ConstCase represents a single constant comparison.

A Switch is a logical high-level control flow operation (a multiway branch) discovered by analysis of a CFG containing only if/else chains.

A TypeCase represents a single type assertion.