Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ACTIVATION |
static java.lang.String |
CLASSIFICATION |
static java.lang.String |
DEPENDS_ON_COMPUTATION |
static java.lang.String |
DEPENDS_ON_RULE |
static java.lang.String |
DISABLED_RULE |
static java.lang.String |
ERROR_TYPES |
static java.lang.String |
FAILED_RULE |
static java.lang.String |
FAILED_RULE_ALL_ERROR_TYPES |
static java.lang.String |
FAILED_RULE_ERROR_TYPE |
static java.lang.String |
GET_RULE_COUNTEREXAMPLES |
static java.lang.String |
NOT_CHECKED_RULE |
static java.lang.String |
POSTCONDITION |
static java.lang.String |
PRECONDITION |
static java.lang.String |
REPLACES |
static java.lang.String |
RULEID |
static java.lang.String |
STRING_FORMAT |
static java.lang.String |
SUCCEEDED_RULE |
static java.lang.String |
SUCCEEDED_RULE_ERROR_TYPE |
static java.lang.String |
TAGS |
Modifier and Type | Method and Description |
---|---|
boolean |
containsAlternativeDefinitionForToken(Token token) |
Token |
createNewToken(Token token) |
static RulesGrammar |
getInstance() |
static java.lang.String |
getModelType() |
public static final java.lang.String SUCCEEDED_RULE
public static final java.lang.String SUCCEEDED_RULE_ERROR_TYPE
public static final java.lang.String FAILED_RULE
public static final java.lang.String FAILED_RULE_ERROR_TYPE
public static final java.lang.String GET_RULE_COUNTEREXAMPLES
public static final java.lang.String FAILED_RULE_ALL_ERROR_TYPES
public static final java.lang.String NOT_CHECKED_RULE
public static final java.lang.String DISABLED_RULE
public static final java.lang.String DEPENDS_ON_RULE
public static final java.lang.String DEPENDS_ON_COMPUTATION
public static final java.lang.String ERROR_TYPES
public static final java.lang.String RULEID
public static final java.lang.String STRING_FORMAT
public static final java.lang.String ACTIVATION
public static final java.lang.String PRECONDITION
public static final java.lang.String POSTCONDITION
public static final java.lang.String CLASSIFICATION
public static final java.lang.String REPLACES
public static final java.lang.String TAGS
public static RulesGrammar getInstance()
public static java.lang.String getModelType()
public boolean containsAlternativeDefinitionForToken(Token token)
containsAlternativeDefinitionForToken
in interface IGrammar
public Token createNewToken(Token token)
createNewToken
in interface IGrammar