NewChecker creates a Checker for the given config.

NewIdentRefsFlag creates a flag.Value implementation for using IdentRefs.SetAllStrings as a CLI flag value.

NewPackageLookupCache creates a PackageLookupCache.

DefaultIdentRefs are the built-in set of known non-deterministic functions and vars and overrides for ones that should be treated as deterministic.

Checker is a checker that can run analysis passes to check for non-deterministic code.

Config is config for NewChecker.

PackageLookupCache caches fact lookups across packages.

ReasonConcurrency represents a non-deterministic concurrency construct.

ReasonDecl represents a function or var that was explicitly marked non-deterministic via config.

ReasonFuncCall represents a call to a non-deterministic function.

ReasonMapRange represents iterating over a map via range.

ReasonVarAccess represents accessing a non-deterministic global variable.

Reason represents a reason for non-determinism.

ConcurrencyKind is a construct that is non-deterministic for ReasonConcurrency.

IdentRefs is a map of whether the key, as a qualified type or var name, is non-determinism (true value means non-deterministic, false means deterministic).

NonDeterminisms is a set of reasons why a function/var is non-deterministic.

PackageNonDeterminisms contains func/var non-determinisms keyed by name.