Class MultiTriggerChecker<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_checker.MultiTriggerChecker<RW>

Type Parameters:

RW - the writable materialized data type handled by the checker

All Implemented Interfaces:

TriggerChecker<RW>

public class MultiTriggerChecker<RW extends MaterializedData & Writable>
extends Object
implements TriggerChecker<RW>

Combines multiple checkers and checks that all of them accept the given trigger

Constructor Summary

Constructors

Constructor	Description
MultiTriggerChecker(TriggerChecker<RW>... checkers)	Creates a checker that delegates to the supplied checkers.
MultiTriggerChecker(Collection<TriggerChecker<RW>> checkers)	Creates a checker that delegates to the supplied checker collection.

Method Summary

Modifier and Type	Method	Description
boolean	check(FORule rule, Substitution substitution, RW readWriteData)	Checks whether the supplied trigger satisfies this criterion.
String	describe()	Returns a textual description of the trigger checker.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MultiTriggerChecker

public MultiTriggerChecker(TriggerChecker<RW>... checkers)

Creates a checker that delegates to the supplied checkers.

Parameters:

checkers - all the criteria to check

MultiTriggerChecker

public MultiTriggerChecker(Collection<TriggerChecker<RW>> checkers)

Creates a checker that delegates to the supplied checker collection.

Parameters:

checkers - all the criteria to check

Method Details

check

public boolean check(FORule rule,
 Substitution substitution,
 RW readWriteData)

Description copied from interface: TriggerChecker

Checks whether the supplied trigger satisfies this criterion.

Specified by:

check in interface TriggerChecker<RW extends MaterializedData & Writable>

Parameters:

rule - the rule that is triggered

substitution - the trigger

readWriteData - Writable where to add the new facts

Returns:

true iff the trigger respects the criteria

describe

public String describe()

Description copied from interface: TriggerChecker

Returns a textual description of the trigger checker.

Specified by:

describe in interface TriggerChecker<RW extends MaterializedData & Writable>

Returns:

a textual description of the trigger checker