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

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

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

tools.refinery.language.resource.ProblemResourceDescriptionStrategy

Modifier and Type	Constant Field	Value
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.ARITY"
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_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"