Class AGRDProperty

java.lang.Object
fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default
fr.lirmm.graphik.integraal.rulesetanalyser.property.AGRDProperty
All Implemented Interfaces:
RuleSetProperty
public final class AGRDProperty extends RuleSetProperty.Default
Property stating that the graph of rule dependencies is acyclic.

  • Method Details

    • instance

      public static AGRDProperty instance()
      Returns the singleton AGRD property instance.
      Returns:
      the singleton 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