Constant Field Values

Contents

• tools.refinery.*

tools.refinery.*

tools.refinery.language.conversion.UpperBoundValueConverter

Modifier and Type	Constant Field	Value
public static final String	INFINITY	"*"

tools.refinery.language.documentation.DocumentationCommentParser

Modifier and Type	Constant Field	Value
public static final String	COLOR_TAG	"tools.refinery.language.documentation.DocumentationCommentParser.COLOR_TAG"

tools.refinery.language.library.RefineryLibrary

Modifier and Type	Constant Field	Value
public static final String	FILE_NAME_SUFFIX	".refinery"

tools.refinery.language.naming.ProblemQualifiedNameConverter

Modifier and Type	Constant Field	Value
public static final String	DELIMITER	"::"

tools.refinery.language.parser.antlr.internal.InternalProblemParser

Modifier and Type	Constant Field	Value
public static final int	Abstract	9
public static final int	Aggregator	6
public static final int	AmpersandAmpersand	44
public static final int	As	55
public static final int	Asterisk	62
public static final int	AsteriskAsterisk	45
public static final int	Atom	32
public static final int	Candidate	7
public static final int	CircumflexAccentCircumflexAccent	54
public static final int	Class	26
public static final int	Colon	68
public static final int	ColonColon	49
public static final int	Comma	64
public static final int	Concretization	4
public static final int	Container	8
public static final int	Contains	10
public static final int	Count	27
public static final int	Datatype	11
public static final int	Decision	12
public static final int	Declare	14
public static final int	Default	15
public static final int	Enum	33
public static final int	EOF	-1
public static final int	EqualsSign	71
public static final int	EqualsSignEqualsSign	51
public static final int	EqualsSignEqualsSignEqualsSign	40
public static final int	EqualsSignEqualsSignGreaterThanSign	41
public static final int	Error	28
public static final int	ExclamationMark	59
public static final int	ExclamationMarkEqualsSign	43
public static final int	ExclamationMarkEqualsSignEqualsSign	38
public static final int	Extends	16
public static final int	Extern	21
public static final int	False	29
public static final int	FullStop	66
public static final int	FullStopFullStop	47
public static final int	GreaterThanSign	72
public static final int	GreaterThanSignEqualsSign	52
public static final int	HyphenMinus	65
public static final int	Import	22
public static final int	In	56
public static final int	Is	57
public static final int	LeftCurlyBracket	76
public static final int	LeftParenthesis	60
public static final int	LeftSquareBracket	74
public static final int	LessThanSign	70
public static final int	LessThanSignEqualsSign	50
public static final int	LessThanSignHyphenMinusGreaterThanSign	39
public static final int	May	42
public static final int	Module	23
public static final int	Multi	30
public static final int	Must	34
public static final int	Opposite	13
public static final int	Partial	17
public static final int	PlusSign	63
public static final int	PlusSignEqualsSign	46
public static final int	Pred	35
public static final int	Problem	18
public static final int	Propagation	5
public static final int	QuestionMark	73
public static final int	Refers	24
public static final int	ReverseSolidusSolidus	53
public static final int	RightCurlyBracket	78
public static final int	RightParenthesis	61
public static final int	RightSquareBracket	75
public static final int	Rule	36
public static final int	RULE_ANY_OTHER	89
public static final int	RULE_EXPONENTIAL	83
public static final int	RULE_ID	81
public static final int	RULE_INT	82
public static final int	RULE_ML_COMMENT	87
public static final int	RULE_QUALIFIED_NAME_SEPARATOR	80
public static final int	RULE_QUOTED_ID	86
public static final int	RULE_SL_COMMENT	84
public static final int	RULE_STRING	85
public static final int	RULE_TRANSITIVE_CLOSURE	79
public static final int	RULE_WS	88
public static final int	Scope	31
public static final int	Semicolon	69
public static final int	Shadow	25
public static final int	Solidus	67
public static final int	SolidusReverseSolidus	48
public static final int	Subsets	19
public static final int	True	37
public static final int	Unknown	20
public static final int	VerticalLine	77
public static final int	VerticalLineVerticalLine	58

tools.refinery.language.parser.antlr.lexer.InternalProblemLexer

Modifier and Type	Constant Field	Value
public static final int	Abstract	9
public static final int	Aggregator	6
public static final int	AmpersandAmpersand	44
public static final int	As	55
public static final int	Asterisk	62
public static final int	AsteriskAsterisk	45
public static final int	Atom	32
public static final int	Candidate	7
public static final int	CircumflexAccentCircumflexAccent	54
public static final int	Class	26
public static final int	Colon	68
public static final int	ColonColon	49
public static final int	Comma	64
public static final int	Concretization	4
public static final int	Container	8
public static final int	Contains	10
public static final int	Count	27
public static final int	Datatype	11
public static final int	Decision	12
public static final int	Declare	14
public static final int	Default	15
public static final int	Enum	33
public static final int	EOF	-1
public static final int	EqualsSign	71
public static final int	EqualsSignEqualsSign	51
public static final int	EqualsSignEqualsSignEqualsSign	40
public static final int	EqualsSignEqualsSignGreaterThanSign	41
public static final int	Error	28
public static final int	ExclamationMark	59
public static final int	ExclamationMarkEqualsSign	43
public static final int	ExclamationMarkEqualsSignEqualsSign	38
public static final int	Extends	16
public static final int	Extern	21
public static final int	False	29
public static final int	FullStop	66
public static final int	FullStopFullStop	47
public static final int	GreaterThanSign	72
public static final int	GreaterThanSignEqualsSign	52
public static final int	HyphenMinus	65
public static final int	Import	22
public static final int	In	56
public static final int	Is	57
public static final int	LeftCurlyBracket	76
public static final int	LeftParenthesis	60
public static final int	LeftSquareBracket	74
public static final int	LessThanSign	70
public static final int	LessThanSignEqualsSign	50
public static final int	LessThanSignHyphenMinusGreaterThanSign	39
public static final int	May	42
public static final int	Module	23
public static final int	Multi	30
public static final int	Must	34
public static final int	Opposite	13
public static final int	Partial	17
public static final int	PlusSign	63
public static final int	PlusSignEqualsSign	46
public static final int	Pred	35
public static final int	Problem	18
public static final int	Propagation	5
public static final int	QuestionMark	73
public static final int	Refers	24
public static final int	ReverseSolidusSolidus	53
public static final int	RightCurlyBracket	78
public static final int	RightParenthesis	61
public static final int	RightSquareBracket	75
public static final int	Rule	36
public static final int	RULE_ANY_OTHER	89
public static final int	RULE_EXPONENTIAL	83
public static final int	RULE_ID	81
public static final int	RULE_INT	82
public static final int	RULE_ML_COMMENT	87
public static final int	RULE_QUALIFIED_NAME_SEPARATOR	80
public static final int	RULE_QUOTED_ID	86
public static final int	RULE_SL_COMMENT	84
public static final int	RULE_STRING	85
public static final int	RULE_TRANSITIVE_CLOSURE	79
public static final int	RULE_WS	88
public static final int	Scope	31
public static final int	Semicolon	69
public static final int	Shadow	25
public static final int	Solidus	67
public static final int	SolidusReverseSolidus	48
public static final int	Subsets	19
public static final int	True	37
public static final int	Unknown	20
public static final int	VerticalLine	77
public static final int	VerticalLineVerticalLine	58

tools.refinery.language.resource.ProblemResourceDescriptionStrategy

Modifier and Type	Constant Field	Value
public static final String	ARITY	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ARITY"
public static final String	COLOR_RELATION	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.COLOR_RELATION"
public static final String	COLOR_RELATION_TRUE	"true"
public static final String	ERROR_PREDICATE	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ERROR_PREDICATE"
public static final String	ERROR_PREDICATE_TRUE	"true"
public static final String	IMPORTS	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.IMPORTS"
public static final String	IMPORTS_SEPARATOR	"|"
public static final String	MODULE_KIND	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.MODULE_KIND"
public static final String	PREFERRED_NAME	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.PREFERRED_NAME"
public static final String	PREFERRED_NAME_TRUE	"true"
public static final String	SHADOW_PREDICATE	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.COMPUTED_VALUE"
public static final String	SHADOW_PREDICATE_TRUE	"true"
public static final String	SHADOWING_KEY	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.SHADOWING_KEY"
public static final String	SHADOWING_KEY_AGGREGATOR	"aggregator"
public static final String	SHADOWING_KEY_NODE	"node"
public static final String	SHADOWING_KEY_PROBLEM	"problem"
public static final String	SHADOWING_KEY_RELATION	"relation"
public static final String	TYPE_LIKE	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.TYPE_LIKE"
public static final String	TYPE_LIKE_TRUE	"true"

tools.refinery.language.resource.state.ProblemDerivedStateComputer

Modifier and Type	Constant Field	Value
public static final String	NEW_NODE	"new"

tools.refinery.language.serializer.ProblemCrossReferenceSerializer

Modifier and Type	Constant Field	Value
public static final String	AMBIGUOUS_REFERENCE_DIAGNOSTIC	"tools.refinery.language.serializer.ProblemCrossReferenceSerializer.AMBIGUOUS_REFERENCE"

tools.refinery.language.utils.ProblemUtil

Modifier and Type	Constant Field	Value
public static final String	MODULE_EXTENSION	"refinery"

tools.refinery.language.validation.ProblemConfigurableIssueCodesProvider

Modifier and Type	Constant Field	Value
public static final String	DEPRECATED_MODEL_PART	"tools.refinery.language.deprecatedModelPart"
protected static final String	ISSUE_CODE_PREFIX	"tools.refinery.language."

tools.refinery.language.validation.ProblemValidator

Modifier and Type	Constant Field	Value
public static final String	DUPLICATE_NAME_ISSUE	"tools.refinery.language.validation.ProblemValidator.DUPLICATE_NAME"
public static final String	INVALID_ARITY_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_ARITY"
public static final String	INVALID_ASSIGNMENT_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_ASSIGNMENT"
public static final String	INVALID_IMPORT_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_IMPORT"
public static final String	INVALID_MODALITY_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_MODALITY"
public static final String	INVALID_MULTIPLICITY_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_MULTIPLICITY"
public static final String	INVALID_OPPOSITE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_OPPOSITE"
public static final String	INVALID_PREDICATE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_PREDICATE"
public static final String	INVALID_REFERENCE_TYPE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_REFERENCE_TYPE"
public static final String	INVALID_RULE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_RULE"
public static final String	INVALID_SUPERSET_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_SUPERSET"
public static final String	INVALID_SUPERTYPE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_SUPERTYPE"
public static final String	INVALID_TRANSITIVE_CLOSURE_ISSUE	"tools.refinery.language.validation.ProblemValidator.INVALID_TRANSITIVE_CLOSURE"
public static final String	MISSING_OPPOSITE_ISSUE	"tools.refinery.language.validation.ProblemValidator.MISSING_OPPOSITE"
public static final String	NODE_CONSTANT_ISSUE	"tools.refinery.language.validation.ProblemValidator.NODE_CONSTANT_ISSUE"
public static final String	SHADOW_RELATION_ISSUE	"tools.refinery.language.validation.ProblemValidator.SHADOW_RELATION"
public static final String	SINGLETON_VARIABLE_ISSUE	"tools.refinery.language.validation.ProblemValidator.SINGLETON_VARIABLE"
public static final String	TYPE_ERROR	"tools.refinery.language.validation.ProblemValidator.TYPE_ERROR"
public static final String	UNEXPECTED_MODULE_NAME_ISSUE	"tools.refinery.language.validation.ProblemValidator.UNEXPECTED_MODULE_NAME"
public static final String	UNKNOWN_EXPRESSION_ISSUE	"tools.refinery.language.validation.ProblemValidator.UNKNOWN_EXPRESSION"
public static final String	UNSUPPORTED_ASSERTION_ISSUE	"tools.refinery.language.validation.ProblemValidator.UNSUPPORTED_ASSERTION"
public static final String	UNUSED_PARAMETER	"tools.refinery.language.validation.ProblemValidator.UNUSED_PARAMETER"
public static final String	UNUSED_PARTIAL_RELATION	"tools.refinery.language.validation.ProblemValidator.UNUSED_PARTIAL_RELATION"
public static final String	ZERO_MULTIPLICITY_ISSUE	"tools.refinery.language.validation.ProblemValidator.ZERO_MULTIPLICITY"