Uses of Class
eu.iv4xr.framework.mainConcepts.ObservationEvent.VerdictEvent

Packages that use ObservationEvent.VerdictEvent

Package	Description
eu.iv4xr.framework	iv4xr.framework is built on the nl.uu.cs.aplib.
eu.iv4xr.framework.mainConcepts

Uses of ObservationEvent.VerdictEvent in eu.iv4xr.framework

Methods in eu.iv4xr.framework that return ObservationEvent.VerdictEvent

Modifier and Type	Method	Description
static ObservationEvent.VerdictEvent	Iv4xrEDSL.assertTrue_(String assertionFamilyName, String assertionInfo, boolean assertion)	Check a boolean expression, if it is true then produce a positive VerdictEvent, and else a negative VerdictEvent.

Uses of ObservationEvent.VerdictEvent in eu.iv4xr.framework.mainConcepts

Fields in eu.iv4xr.framework.mainConcepts declared as ObservationEvent.VerdictEvent

Modifier and Type	Field	Description
(package private) ObservationEvent.VerdictEvent	TestDataCollector.EventTrace.lastFailVerdict

Fields in eu.iv4xr.framework.mainConcepts with type parameters of type ObservationEvent.VerdictEvent

Modifier and Type	Field	Description
(package private) Function<Object,ObservationEvent.VerdictEvent>	TestGoal.oracle

Methods in eu.iv4xr.framework.mainConcepts that return ObservationEvent.VerdictEvent

Modifier and Type	Method	Description
ObservationEvent.VerdictEvent	TestDataCollector.getLastFailVerdict()	Get the last reported negative verdict.
ObservationEvent.VerdictEvent	TestDataCollector.getLastFailVerdict(String agentUniqueId)	Get the last negative verdict reported by the specified test-agent.
ObservationEvent.VerdictEvent	ObservationEvent.VerdictEvent.parse(String s)

Methods in eu.iv4xr.framework.mainConcepts with parameters of type ObservationEvent.VerdictEvent

Modifier and Type	Method	Description
void	TestAgent.registerVerdict(ObservationEvent.VerdictEvent verdict)	Register a verdict, which can be either a success or fail, or undecided.

Method parameters in eu.iv4xr.framework.mainConcepts with type arguments of type ObservationEvent.VerdictEvent

Modifier and Type	Method	Description
<Proposal> TestGoal	TestGoal.invariant(TestAgent testagent, Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Just another name for TestGoal.oracle(TestAgent,Function).
<Proposal> TestGoal	TestGoal.invariant(Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Just another name for TestGoal.oracle(TestAgent,Function).
<Proposal> TestGoal	TestGoal.oracle(TestAgent testagent, Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.
<Proposal> TestGoal	TestGoal.oracle(Function<Proposal,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.
TestGoal	TestGoal.oracle_(TestAgent testagent, Function<Object,ObservationEvent.VerdictEvent> oracle)	Specify the test-oracle associated with for this TestGoal.