Constant Field Values

Contents

• tools.refinery.*

tools.refinery.*

tools.refinery.language.annotations.BuiltinAnnotations

Modifier and Type	Constant Field	Value
public static final String	CONCRETIZE_AUTO	"auto"
public static final String	DECIDE_AUTO	"auto"

tools.refinery.language.annotations.DeclarativeAnnotationValidator

Modifier and Type	Constant Field	Value
public static final String	ANNOTATION_ISSUE	"tools.refinery.language.annotations.ReflectiveAnnotationValidator.ANNOTATION"
public static final int	INSIGNIFICANT_INDEX	-1

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	CLASS_PARAMETER_NAME	"node"
public static final String	COLOR_TAG	"tools.refinery.language.documentation.DocumentationCommentParser.COLOR_TAG"
public static final String	DOCUMENTATION	"tools.refinery.language.documentation.DocumentationCommentParser.DOCUMENTATION"
public static final String	ENUM_PARAMETER_NAME	"node"
public static final String	REFERENCE_SOURCE_PARAMETER_NAME	"source"
public static final String	REFERENCE_TARGET_PARAMETER_NAME	"target"

tools.refinery.language.formatting2.ProblemFormatter

Modifier and Type	Constant Field	Value
public static final int	MAX_LENGTH	80
public static final int	TAB_SIZE	4

tools.refinery.language.library.RefineryLibrary

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

tools.refinery.language.naming.NamingUtil

Modifier and Type	Constant Field	Value
public static final String	ID_REGEX_STRING	"[a-zA-Z_]\\w*"
public static final String	IDENTIFIER_REGEX_STRING	"[a-zA-Z_]\\w*|\'[^\']*\'"
public static final String	QUOTED_ID_REGEX_STRING	"\'[^\']*\'"

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	63
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	69
public static final int	ColonColon	49
public static final int	Comma	65
public static final int	CommercialAt	75
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	72
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	67
public static final int	FullStopFullStop	47
public static final int	GreaterThanSign	73
public static final int	GreaterThanSignEqualsSign	52
public static final int	HyphenMinus	66
public static final int	Import	22
public static final int	In	56
public static final int	Is	57
public static final int	LeftCurlyBracket	78
public static final int	LeftParenthesis	61
public static final int	LeftSquareBracket	76
public static final int	LessThanSign	71
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	NumberSign	60
public static final int	Opposite	13
public static final int	Partial	17
public static final int	PlusSign	64
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	74
public static final int	Refers	24
public static final int	ReverseSolidusSolidus	53
public static final int	RightCurlyBracket	80
public static final int	RightParenthesis	62
public static final int	RightSquareBracket	77
public static final int	Rule	36
public static final int	RULE_ANY_OTHER	91
public static final int	RULE_EXPONENTIAL	85
public static final int	RULE_ID	83
public static final int	RULE_INT	84
public static final int	RULE_ML_COMMENT	89
public static final int	RULE_QUALIFIED_NAME_SEPARATOR	82
public static final int	RULE_QUOTED_ID	88
public static final int	RULE_SL_COMMENT	86
public static final int	RULE_STRING	87
public static final int	RULE_TRANSITIVE_CLOSURE	81
public static final int	RULE_WS	90
public static final int	Scope	31
public static final int	Semicolon	70
public static final int	Shadow	25
public static final int	Solidus	68
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	79
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	63
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	69
public static final int	ColonColon	49
public static final int	Comma	65
public static final int	CommercialAt	75
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	72
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	67
public static final int	FullStopFullStop	47
public static final int	GreaterThanSign	73
public static final int	GreaterThanSignEqualsSign	52
public static final int	HyphenMinus	66
public static final int	Import	22
public static final int	In	56
public static final int	Is	57
public static final int	LeftCurlyBracket	78
public static final int	LeftParenthesis	61
public static final int	LeftSquareBracket	76
public static final int	LessThanSign	71
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	NumberSign	60
public static final int	Opposite	13
public static final int	Partial	17
public static final int	PlusSign	64
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	74
public static final int	Refers	24
public static final int	ReverseSolidusSolidus	53
public static final int	RightCurlyBracket	80
public static final int	RightParenthesis	62
public static final int	RightSquareBracket	77
public static final int	Rule	36
public static final int	RULE_ANY_OTHER	91
public static final int	RULE_EXPONENTIAL	85
public static final int	RULE_ID	83
public static final int	RULE_INT	84
public static final int	RULE_ML_COMMENT	89
public static final int	RULE_QUALIFIED_NAME_SEPARATOR	82
public static final int	RULE_QUOTED_ID	88
public static final int	RULE_SL_COMMENT	86
public static final int	RULE_STRING	87
public static final int	RULE_TRANSITIVE_CLOSURE	81
public static final int	RULE_WS	90
public static final int	Scope	31
public static final int	Semicolon	70
public static final int	Shadow	25
public static final int	Solidus	68
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	79
public static final int	VerticalLineVerticalLine	58

tools.refinery.language.resource.ProblemResourceDescriptionStrategy

Modifier and Type	Constant Field	Value
public static final String	ABSTRACT	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ABSTRACT"
public static final String	ABSTRACT_TRUE	"true"
public static final String	ARITY	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ARITY"
public static final String	ATOM	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.ATOM"
public static final String	ATOM_TRUE	"true"
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	CONTAINMENT	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.CONTAINMENT"
public static final String	CONTAINMENT_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	MULTI	"tools.refinery.language.resource.ProblemResourceDescriptionStrategy.MULTI"
public static final String	MULTI_TRUE	"true"
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.SHADOW_PREDICATE"
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_ANNOTATION	"annotation"
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.BuiltinSymbols

Modifier and Type	Constant Field	Value
public static final String	BOOLEAN_NAME	"boolean"
public static final String	INT_NAME	"int"
public static final String	REAL_NAME	"real"
public static final String	STRING_NAME	"string"

tools.refinery.language.utils.ProblemUtil

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

tools.refinery.language.validation.ProblemAnnotationValidator

Modifier and Type	Constant Field	Value
public static final String	DUPLICATE_ANNOTATION_ISSUE	"tools.refinery.language.validation.AnnotationValidator.DUPLICATE_ANNOTATION"
public static final String	DUPLICATE_ARGUMENT_ISSUE	"tools.refinery.language.validation.AnnotationValidator.DUPLICATE_ARGUMENT"
public static final String	INVALID_NODE_ANNOTATION_ISSUE	"tools.refinery.language.validation.AnnotationValidator.INVALID_NODE_ANNOTATION"
public static final String	INVALID_PARAMETER_ISSUE	"tools.refinery.language.validation.AnnotationValidator.INVALID_PARAMETER"
public static final String	MISSING_ARGUMENT_ISSUE	"tools.refinery.language.validation.AnnotationValidator.MISSING_ARGUMENT"
public static final String	VALIDATOR_FAILED_ISSUE	"tools.refinery.language.validation.AnnotationValidator.VALIDATOR_FAILED"

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_ISSUE	"tools.refinery.language.validation.ProblemValidator.UNUSED_PARAMETER"
public static final String	UNUSED_PARTIAL_RELATION_ISSUE	"tools.refinery.language.validation.ProblemValidator.UNUSED_PARTIAL_RELATION"
public static final String	ZERO_MULTIPLICITY_ISSUE	"tools.refinery.language.validation.ProblemValidator.ZERO_MULTIPLICITY"