execute abstract method

Future<CelmRunHandle> execute(
  1. CelmGoalRef goal, {
  2. CelmConstraints? constraints,
  3. AnalysisActor? actor,
})

Start goal. Returns once the run has an id; the outcome arrives on the handle.

A goal the pack does not define, or one the caller's constraints make unsatisfiable, is answered with a handle whose outcome is CelmRefused — the id exists so the refusal is on record.

Implementation

Future<CelmRunHandle> execute(
  CelmGoalRef goal, {
  CelmConstraints? constraints,
  AnalysisActor? actor,
});