StubCelmPort class
Stub implementation for testing.
- Implemented types
Constructors
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
cancel(
String runId, {AnalysisActor? actor}) → Future< CelmOutcome> -
Stop a running goal. Evidence established before the stop survives.
override
-
execute(
CelmGoalRef goal, {CelmConstraints? constraints, AnalysisActor? actor}) → Future< CelmRunHandle> -
Start
goal. Returns once the run has an id; the outcome arrives on the handle.override -
explain(
String conclusionId, {AnalysisActor? actor}) → Future< CelmEvidence> -
The evidence chain behind a conclusion.
override
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
observe(
{CelmObserveRequest? request, AnalysisActor? actor}) → Future< CelmObservation> -
Current structured state.
override
-
progress(
String runId, {AnalysisActor? actor}) → Future< CelmProgress> -
Progress, attempts and remaining budget of a run; its outcome once
it has ended.
override
-
resume(
String runId, CelmResumption resumption, {AnalysisActor? actor}) → Future< CelmOutcome> -
Resume an escalated run with a planner's answer.
override
-
standalone(
String runId, {AnalysisActor? actor}) → Future< List< ObservedConclusion> > -
Conclusions from
runIdthat may stand alone as evidence.override -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited