Interface TriggerChecker<RW extends MaterializedData & Writable>

Type Parameters:

RW - the writable materialized data type handled by the checker

All Known Implementing Classes:

AlwaysTrueChecker, EquivalentChecker, MultiTriggerChecker, ObliviousChecker, RestrictedChecker, SemiObliviousChecker

public interface TriggerChecker<RW extends MaterializedData & Writable>

Checks if the given trigger respects a criteria

Method Summary

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

Method Details

check

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

Checks whether the supplied trigger satisfies this criterion.

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

default String describe()

Returns a textual description of the trigger checker.

Returns:

a textual description of the trigger checker