public final class BTSProperty extends RuleSetProperty.Default
RuleSetProperty.Default, RuleSetProperty.Local
Modifier and Type | Method and Description |
---|---|
int |
check(AnalyserRuleSet ruleSet)
Check whether the given rule set satisfies the property
or does not.
|
String |
getDescription() |
String |
getFullName() |
String |
getLabel()
This method must return a label not used by any other
rule property or undefined behaviour is to be expected.
|
static BTSProperty |
instance() |
getGeneralisations, getSpecialisations
public static BTSProperty instance()
public String getDescription()
public String getFullName()
public String getLabel()
RuleSetProperty
public int check(AnalyserRuleSet ruleSet)
RuleSetProperty
check
in interface RuleSetProperty
check
in class RuleSetProperty.Default
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.