Class WeaklyGuardedSetProperty

java.lang.Object

fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default

fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyGuardedSetProperty

All Implemented Interfaces:

RuleSetProperty

public final class WeaklyGuardedSetProperty
extends RuleSetProperty.Default

At least one atom in the body of each rule contains all affected variables from the body (AffectedPositionSet).

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>, Swan Rocher

Nested Class Summary

Nested classes/interfaces inherited from interface RuleSetProperty

RuleSetProperty.Default, RuleSetProperty.Local

Method Summary

Modifier and Type	Method	Description
int	check(AnalyserRuleSet ruleSet)	Check whether the given rule set satisfies the property or does not.
String	getDescription()	Returns a human-readable description of this property.
String	getFullName()	Returns the full human-readable name of this property.
Iterable<RuleSetProperty>	getGeneralisations()	Returns the direct generalisations of this property.
String	getLabel()	This method must return a label not used by any other rule property or undefined behaviour is to be expected.
static WeaklyGuardedSetProperty	instance()	Returns the singleton instance.

Methods inherited from class RuleSetProperty.Default

getSpecialisations

Methods inherited from class Object

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

Method Details

instance

public static WeaklyGuardedSetProperty instance()

Returns the singleton instance.

Returns:

the singleton property instance

getFullName

public String getFullName()

Description copied from interface: RuleSetProperty

Returns the full human-readable name of this property.

Returns:

the full property name

getDescription

public String getDescription()

Description copied from interface: RuleSetProperty

Returns a human-readable description of this property.

Returns:

the property description

check

public int check(AnalyserRuleSet ruleSet)

Description copied from interface: RuleSetProperty

Check whether the given rule set satisfies the property or does not.

Specified by:

check in interface RuleSetProperty

Overrides:

check in class RuleSetProperty.Default

Parameters:

ruleSet - the rule set to evaluate

Returns:

A negative value if the ruleset does not satisfy the property, a positive value if it does, and 0 if unknown.

getLabel

public String getLabel()

Description copied from interface: RuleSetProperty

This method must return a label not used by any other rule property or undefined behaviour is to be expected.

Returns:

the short property label

getGeneralisations

public Iterable<RuleSetProperty> getGeneralisations()

Description copied from interface: RuleSetProperty

Returns the direct generalisations of this property.

Specified by:

getGeneralisations in interface RuleSetProperty

Overrides:

getGeneralisations in class RuleSetProperty.Default

Returns:

the direct generalisations