Class DisconnectedProperty

All Implemented Interfaces:
RuleSetProperty

public final class DisconnectedProperty extends RuleSetProperty.Local
The rule frontier is empty. Note that any disconnected rule needs to be applied only once.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>, Swan Rocher
  • Method Details

    • instance

      public static DisconnectedProperty 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(Rule rule)
      Description copied from class: RuleSetProperty.Local
      Evaluates the property on a single rule.
      Specified by:
      check in class RuleSetProperty.Local
      Parameters:
      rule - the rule to evaluate
      Returns:
      the property result for the rule
    • 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