Iv4xrEDSL

java.lang.Object

eu.iv4xr.framework.Iv4xrEDSL

public class Iv4xrEDSL extends Object

Provide a set of convenience static methods.

Author:: wish

Constructor Summary

Constructors

Constructor

Description

Iv4xrEDSL()
Method Summary

Modifier and Type

Method

Description

static <State> GoalStructure

assertTrue_(TestAgent ta, String assertionFamilyName, String assertionInfo, Predicate<State> predicate)

A Goal that when selected, will cause the agent to check the given predicate.

static ObservationEvent.VerdictEvent

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.

static TestGoal

testgoal(String name)

Create a blank instance of TestGoal with the given name.

static TestGoal

testgoal(String name, TestAgent ta)

Create a blank instance of TestGoal with the given name, and linking it to the given test-agent.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Iv4xrEDSL
  
  public Iv4xrEDSL()
Method Details
- testgoal
  
  public static TestGoal testgoal(String name)
  
  Create a blank instance of TestGoal with the given name.
- testgoal
  
  public static TestGoal testgoal(String name, TestAgent ta)
  
  Create a blank instance of TestGoal with the given name, and linking it to the given test-agent.
- assertTrue_
  
  public static ObservationEvent.VerdictEvent 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.
  
  Parameters:
  
  assertionFamilyName - a text to classify the asserting as belonging to some category, if any.
  
  assertionInfo - some info text on what the property is being checked.
  
  assertion - the boolean expression to check.
- assertTrue_
  
  public static <State> GoalStructure assertTrue_(TestAgent ta, String assertionFamilyName, String assertionInfo, Predicate<State> predicate)
  
  A Goal that when selected, will cause the agent to check the given predicate.