fr.lirmm.graphik.graal.rulesetanalyser.property

Class MSAProperty

java.lang.Object

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

fr.lirmm.graphik.graal.rulesetanalyser.property.MSAProperty

All Implemented Interfaces:

RuleSetProperty

public final class MSAProperty
extends RuleSetProperty.Default

Nested Class Summary

Nested classes/interfaces inherited from interface fr.lirmm.graphik.graal.rulesetanalyser.property.RuleSetProperty

RuleSetProperty.Default, RuleSetProperty.Local

Method Summary

Modifier and Type	Method and Description
static Substitution	buildMSASubstitution(Rule r)
int	check(AnalyserRuleSet ruleSet) Check whether the given rule set satisfies the property or does not.
String	getDescription()
String	getFullName()
Iterable<RuleSetProperty>	getGeneralisations()
String	getLabel() This method must return a label not used by any other rule property or undefined behaviour is to be expected.
static MSAProperty	instance()
static List<Rule>	translateRuleToMSA(Rule r)
static RuleSet	translateToMSA(Iterable<Rule> rules)

Methods inherited from class fr.lirmm.graphik.graal.rulesetanalyser.property.RuleSetProperty.Default

getSpecialisations

Methods inherited from class java.lang.Object

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

Method Detail

instance

public static MSAProperty instance()

getFullName

public String getFullName()

getDescription

public String getDescription()

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

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.

getGeneralisations

public Iterable<RuleSetProperty> getGeneralisations()

Specified by:

getGeneralisations in interface RuleSetProperty

Overrides:

getGeneralisations in class RuleSetProperty.Default

translateToMSA

public static RuleSet translateToMSA(Iterable<Rule> rules)

translateRuleToMSA

public static List<Rule> translateRuleToMSA(Rule r)

buildMSASubstitution

public static Substitution buildMSASubstitution(Rule r)