Class WeaklyStickyProperty

java.lang.Object

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

fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyStickyProperty

All Implemented Interfaces:

RuleSetProperty

public final class WeaklyStickyProperty
extends RuleSetProperty.Default

This class does not belong to any abstract class defined earlier. It is a generalization of Sticky (StickyProperty) and Weakly-Acyclic ( WeaklyAcyclicProperty). It relies on the same graph of position dependencies (GraphPositionDependencies) as the Weakly-Acyclic test and on the same marking procedure as the Sticky test. Property: All marked variables that occur more than once in a rule body appear at some position of finite rank.

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.
String	getLabel()	This method must return a label not used by any other rule property or undefined behaviour is to be expected.
static WeaklyStickyProperty	instance()	Returns the singleton instance.

Methods inherited from class RuleSetProperty.Default

getGeneralisations, getSpecialisations

Methods inherited from class Object

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

Method Details

instance

public static WeaklyStickyProperty instance()

Returns the singleton instance.

Returns:

the singleton property instance

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.

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

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