Constant Field Values

hu.bme.*

hu.bme.mit.semantifyr.oxsts.model.oxsts.ArithmeticOp

Modifier and Type	Constant Field	Value
public static final int	ADD_VALUE	0
public static final int	DIV_VALUE	3
public static final int	MUL_VALUE	2
public static final int	SUB_VALUE	1

hu.bme.mit.semantifyr.oxsts.model.oxsts.BooleanOp

Modifier and Type	Constant Field	Value
public static final int	AND_VALUE	4
public static final int	OR_VALUE	5
public static final int	XOR_VALUE	6

hu.bme.mit.semantifyr.oxsts.model.oxsts.ComparisonOp

Modifier and Type	Constant Field	Value
public static final int	EQ_VALUE	4
public static final int	GREATER_EQ_VALUE	3
public static final int	GREATER_VALUE	2
public static final int	LESS_EQ_VALUE	1
public static final int	LESS_VALUE	0
public static final int	NOT_EQ_VALUE	5

hu.bme.mit.semantifyr.oxsts.model.oxsts.FeatureKind

Modifier and Type	Constant Field	Value
public static final int	CONTAINER_VALUE	2
public static final int	CONTAINMENT_VALUE	1
public static final int	DERIVED_VALUE	3
public static final int	FEATURE_VALUE	4
public static final int	REFERENCE_VALUE	0

hu.bme.mit.semantifyr.oxsts.model.oxsts.OxstsPackage

Modifier and Type	Constant Field	Value
public static final int	ABSTRACT_FOR_OPERATION	1
public static final int	ABSTRACT_FOR_OPERATION__BODY	3
public static final int	ABSTRACT_FOR_OPERATION__LOOP_VARIABLE	1
public static final int	ABSTRACT_FOR_OPERATION__NAME	0
public static final int	ABSTRACT_FOR_OPERATION__RANGE_EXPRESSION	2
public static final int	ABSTRACT_FOR_OPERATION_FEATURE_COUNT	4
public static final int	ABSTRACT_FOR_OPERATION_OPERATION_COUNT	0
public static final int	AG	0
public static final int	AG__BODY	0
public static final int	AG_FEATURE_COUNT	1
public static final int	AG_OPERATION_COUNT	0
public static final int	ANNOTATED_ELEMENT	2
public static final int	ANNOTATED_ELEMENT__ANNOTATION	1
public static final int	ANNOTATED_ELEMENT__NAME	0
public static final int	ANNOTATED_ELEMENT_FEATURE_COUNT	2
public static final int	ANNOTATED_ELEMENT_OPERATION_COUNT	0
public static final int	ANNOTATION	3
public static final int	ANNOTATION__ARGUMENTS	1
public static final int	ANNOTATION__DECLARATION	0
public static final int	ANNOTATION_CONTAINER	4
public static final int	ANNOTATION_CONTAINER__ANNOTATION	1
public static final int	ANNOTATION_CONTAINER__ANNOTATIONS	2
public static final int	ANNOTATION_CONTAINER__NAME	0
public static final int	ANNOTATION_CONTAINER_FEATURE_COUNT	3
public static final int	ANNOTATION_CONTAINER_OPERATION_COUNT	0
public static final int	ANNOTATION_DECLARATION	5
public static final int	ANNOTATION_DECLARATION__ANNOTATION	1
public static final int	ANNOTATION_DECLARATION__NAME	0
public static final int	ANNOTATION_DECLARATION__PARAMETERS	2
public static final int	ANNOTATION_DECLARATION_FEATURE_COUNT	3
public static final int	ANNOTATION_DECLARATION_OPERATION_COUNT	0
public static final int	ANNOTATION_FEATURE_COUNT	2
public static final int	ANNOTATION_OPERATION_COUNT	0
public static final int	ARGUMENT	6
public static final int	ARGUMENT__EXPRESSION	1
public static final int	ARGUMENT__PARAMETER	0
public static final int	ARGUMENT_FEATURE_COUNT	2
public static final int	ARGUMENT_OPERATION_COUNT	0
public static final int	ARITHMETIC_BINARY_OPERATOR	7
public static final int	ARITHMETIC_BINARY_OPERATOR__LEFT	0
public static final int	ARITHMETIC_BINARY_OPERATOR__OP	2
public static final int	ARITHMETIC_BINARY_OPERATOR__RIGHT	1
public static final int	ARITHMETIC_BINARY_OPERATOR_FEATURE_COUNT	3
public static final int	ARITHMETIC_BINARY_OPERATOR_OPERATION_COUNT	0
public static final int	ARITHMETIC_OP	84
public static final int	ARITHMETIC_UNARY_OPERATOR	8
public static final int	ARITHMETIC_UNARY_OPERATOR__BODY	0
public static final int	ARITHMETIC_UNARY_OPERATOR__OP	1
public static final int	ARITHMETIC_UNARY_OPERATOR_FEATURE_COUNT	2
public static final int	ARITHMETIC_UNARY_OPERATOR_OPERATION_COUNT	0
public static final int	ARRAY_LITERAL	9
public static final int	ARRAY_LITERAL__VALUES	0
public static final int	ARRAY_LITERAL_FEATURE_COUNT	1
public static final int	ARRAY_LITERAL_OPERATION_COUNT	0
public static final int	ASSIGNMENT_OPERATION	10
public static final int	ASSIGNMENT_OPERATION__EXPRESSION	1
public static final int	ASSIGNMENT_OPERATION__REFERENCE	0
public static final int	ASSIGNMENT_OPERATION_FEATURE_COUNT	2
public static final int	ASSIGNMENT_OPERATION_OPERATION_COUNT	0
public static final int	ASSUMPTION_OPERATION	11
public static final int	ASSUMPTION_OPERATION__EXPRESSION	0
public static final int	ASSUMPTION_OPERATION_FEATURE_COUNT	1
public static final int	ASSUMPTION_OPERATION_OPERATION_COUNT	0
public static final int	BINARY_OPERATOR	12
public static final int	BINARY_OPERATOR__LEFT	0
public static final int	BINARY_OPERATOR__RIGHT	1
public static final int	BINARY_OPERATOR_FEATURE_COUNT	2
public static final int	BINARY_OPERATOR_OPERATION_COUNT	0
public static final int	BOOLEAN_OP	85
public static final int	BOOLEAN_OPERATOR	13
public static final int	BOOLEAN_OPERATOR__LEFT	0
public static final int	BOOLEAN_OPERATOR__OP	2
public static final int	BOOLEAN_OPERATOR__RIGHT	1
public static final int	BOOLEAN_OPERATOR_FEATURE_COUNT	3
public static final int	BOOLEAN_OPERATOR_OPERATION_COUNT	0
public static final int	CALL_SUFFIX_EXPRESSION	14
public static final int	CALL_SUFFIX_EXPRESSION__ARGUMENTS	1
public static final int	CALL_SUFFIX_EXPRESSION__PRIMARY	0
public static final int	CALL_SUFFIX_EXPRESSION_FEATURE_COUNT	2
public static final int	CALL_SUFFIX_EXPRESSION_OPERATION_COUNT	0
public static final int	CAST_EXPRESSION	15
public static final int	CAST_EXPRESSION__BODY	0
public static final int	CAST_EXPRESSION__TYPESPECIFICATION	1
public static final int	CAST_EXPRESSION_FEATURE_COUNT	2
public static final int	CAST_EXPRESSION_OPERATION_COUNT	0
public static final int	CHOICE_OPERATION	16
public static final int	CHOICE_OPERATION__BRANCHES	0
public static final int	CHOICE_OPERATION_FEATURE_COUNT	1
public static final int	CHOICE_OPERATION_OPERATION_COUNT	0
public static final int	CLASS_DECLARATION	17
public static final int	CLASS_DECLARATION__ABSTRACT	3
public static final int	CLASS_DECLARATION__ANNOTATION	1
public static final int	CLASS_DECLARATION__MEMBERS	4
public static final int	CLASS_DECLARATION__NAME	0
public static final int	CLASS_DECLARATION__SUPER_TYPES	2
public static final int	CLASS_DECLARATION_FEATURE_COUNT	5
public static final int	CLASS_DECLARATION_OPERATION_COUNT	0
public static final int	COMPARISON_OP	86
public static final int	COMPARISON_OPERATOR	18
public static final int	COMPARISON_OPERATOR__LEFT	0
public static final int	COMPARISON_OPERATOR__OP	2
public static final int	COMPARISON_OPERATOR__RIGHT	1
public static final int	COMPARISON_OPERATOR_FEATURE_COUNT	3
public static final int	COMPARISON_OPERATOR_OPERATION_COUNT	0
public static final int	CONJUNCTION	19
public static final int	CONJUNCTION_FEATURE_COUNT	0
public static final int	CONJUNCTION_OPERATION_COUNT	0
public static final int	DATA_TYPE_DECLARATION	20
public static final int	DATA_TYPE_DECLARATION__ANNOTATION	1
public static final int	DATA_TYPE_DECLARATION__NAME	0
public static final int	DATA_TYPE_DECLARATION_FEATURE_COUNT	2
public static final int	DATA_TYPE_DECLARATION_OPERATION_COUNT	0
public static final int	DECLARATION	21
public static final int	DECLARATION__ANNOTATION	1
public static final int	DECLARATION__NAME	0
public static final int	DECLARATION_FEATURE_COUNT	2
public static final int	DECLARATION_OPERATION_COUNT	0
public static final int	DEFINITE_MULTIPLICITY	22
public static final int	DEFINITE_MULTIPLICITY__EXPRESSION	0
public static final int	DEFINITE_MULTIPLICITY_FEATURE_COUNT	1
public static final int	DEFINITE_MULTIPLICITY_OPERATION_COUNT	0
public static final int	DIRECT_REFERENCE_EXPRESSION	23
public static final int	DIRECT_REFERENCE_EXPRESSION_FEATURE_COUNT	0
public static final int	DIRECT_REFERENCE_EXPRESSION_OPERATION_COUNT	0
public static final int	DOMAIN_DECLARATION	24
public static final int	DOMAIN_DECLARATION__ANNOTATION	1
public static final int	DOMAIN_DECLARATION__NAME	0
public static final int	DOMAIN_DECLARATION_FEATURE_COUNT	2
public static final int	DOMAIN_DECLARATION_OPERATION_COUNT	0
public static final int	EF	25
public static final int	EF__BODY	0
public static final int	EF_FEATURE_COUNT	1
public static final int	EF_OPERATION_COUNT	0
public static final int	ELEMENT	26
public static final int	ELEMENT_FEATURE_COUNT	0
public static final int	ELEMENT_OPERATION_COUNT	0
public static final int	ELEMENT_REFERENCE	27
public static final int	ELEMENT_REFERENCE__ELEMENT	0
public static final int	ELEMENT_REFERENCE_FEATURE_COUNT	1
public static final int	ELEMENT_REFERENCE_OPERATION_COUNT	0
public static final String	eNAME	"oxsts"
public static final String	eNS_PREFIX	"oxsts"
public static final String	eNS_URI	"http://www.bme.hu/mit/2023/oxsts"
public static final int	ENUM_DECLARATION	28
public static final int	ENUM_DECLARATION__ANNOTATION	1
public static final int	ENUM_DECLARATION__LITERALS	2
public static final int	ENUM_DECLARATION__NAME	0
public static final int	ENUM_DECLARATION_FEATURE_COUNT	3
public static final int	ENUM_DECLARATION_OPERATION_COUNT	0
public static final int	ENUM_LITERAL	29
public static final int	ENUM_LITERAL__NAME	0
public static final int	ENUM_LITERAL_FEATURE_COUNT	1
public static final int	ENUM_LITERAL_OPERATION_COUNT	0
public static final int	EXPRESSION	30
public static final int	EXPRESSION_FEATURE_COUNT	0
public static final int	EXPRESSION_OPERATION_COUNT	0
public static final int	FEATURE_DECLARATION	31
public static final int	FEATURE_DECLARATION__ANNOTATION	1
public static final int	FEATURE_DECLARATION__EXPRESSION	6
public static final int	FEATURE_DECLARATION__INNER_FEATURES	8
public static final int	FEATURE_DECLARATION__KIND	7
public static final int	FEATURE_DECLARATION__NAME	0
public static final int	FEATURE_DECLARATION__OPPOSITE	5
public static final int	FEATURE_DECLARATION__REDEFINE	2
public static final int	FEATURE_DECLARATION__REDEFINED	3
public static final int	FEATURE_DECLARATION__SUPERSET	4
public static final int	FEATURE_DECLARATION__TYPE_SPECIFICATION	9
public static final int	FEATURE_DECLARATION_FEATURE_COUNT	10
public static final int	FEATURE_DECLARATION_OPERATION_COUNT	0
public static final int	FEATURE_KIND	87
public static final int	FIELD_ASSIGNMENT	32
public static final int	FIELD_ASSIGNMENT__EXPRESSION	1
public static final int	FIELD_ASSIGNMENT__FIELD	0
public static final int	FIELD_ASSIGNMENT_FEATURE_COUNT	2
public static final int	FIELD_ASSIGNMENT_OPERATION_COUNT	0
public static final int	FOR_OPERATION	33
public static final int	FOR_OPERATION__BODY	3
public static final int	FOR_OPERATION__LOOP_VARIABLE	1
public static final int	FOR_OPERATION__NAME	0
public static final int	FOR_OPERATION__RANGE_EXPRESSION	2
public static final int	FOR_OPERATION_FEATURE_COUNT	4
public static final int	FOR_OPERATION_OPERATION_COUNT	0
public static final int	FUNCTION_DECLARATION	34
public static final int	FUNCTION_DECLARATION__ANNOTATION	1
public static final int	FUNCTION_DECLARATION__NAME	0
public static final int	FUNCTION_DECLARATION__PARAMETERS	2
public static final int	FUNCTION_DECLARATION__RETURN_TYPE	3
public static final int	FUNCTION_DECLARATION_FEATURE_COUNT	4
public static final int	FUNCTION_DECLARATION_OPERATION_COUNT	0
public static final int	HAVOC_OPERATION	35
public static final int	HAVOC_OPERATION__REFERENCE	0
public static final int	HAVOC_OPERATION_FEATURE_COUNT	1
public static final int	HAVOC_OPERATION_OPERATION_COUNT	0
public static final int	IF_OPERATION	36
public static final int	IF_OPERATION__BODY	1
public static final int	IF_OPERATION__ELSE	2
public static final int	IF_OPERATION__GUARD	0
public static final int	IF_OPERATION_FEATURE_COUNT	3
public static final int	IF_OPERATION_OPERATION_COUNT	0
public static final int	IF_THEN_ELSE	37
public static final int	IF_THEN_ELSE__ELSE	2
public static final int	IF_THEN_ELSE__GUARD	0
public static final int	IF_THEN_ELSE__THEN	1
public static final int	IF_THEN_ELSE_FEATURE_COUNT	3
public static final int	IF_THEN_ELSE_OPERATION_COUNT	0
public static final int	IMPORT_STATEMENT	38
public static final int	IMPORT_STATEMENT__IMPORTED_PACKAGE	0
public static final int	IMPORT_STATEMENT_FEATURE_COUNT	1
public static final int	IMPORT_STATEMENT_OPERATION_COUNT	0
public static final int	INDEXING_SUFFIX_EXPRESSION	39
public static final int	INDEXING_SUFFIX_EXPRESSION__INDEX	1
public static final int	INDEXING_SUFFIX_EXPRESSION__PRIMARY	0
public static final int	INDEXING_SUFFIX_EXPRESSION_FEATURE_COUNT	2
public static final int	INDEXING_SUFFIX_EXPRESSION_OPERATION_COUNT	0
public static final int	INLINE_CALL	40
public static final int	INLINE_CALL__CALL_EXPRESSION	0
public static final int	INLINE_CALL_FEATURE_COUNT	1
public static final int	INLINE_CALL_OPERATION_COUNT	0
public static final int	INLINE_CHOICE_FOR	41
public static final int	INLINE_CHOICE_FOR__BODY	3
public static final int	INLINE_CHOICE_FOR__ELSE	4
public static final int	INLINE_CHOICE_FOR__LOOP_VARIABLE	1
public static final int	INLINE_CHOICE_FOR__NAME	0
public static final int	INLINE_CHOICE_FOR__RANGE_EXPRESSION	2
public static final int	INLINE_CHOICE_FOR_FEATURE_COUNT	5
public static final int	INLINE_CHOICE_FOR_OPERATION_COUNT	0
public static final int	INLINE_FOR_OPERATION	42
public static final int	INLINE_FOR_OPERATION__BODY	3
public static final int	INLINE_FOR_OPERATION__ELSE	4
public static final int	INLINE_FOR_OPERATION__LOOP_VARIABLE	1
public static final int	INLINE_FOR_OPERATION__NAME	0
public static final int	INLINE_FOR_OPERATION__RANGE_EXPRESSION	2
public static final int	INLINE_FOR_OPERATION_FEATURE_COUNT	5
public static final int	INLINE_FOR_OPERATION_OPERATION_COUNT	0
public static final int	INLINE_IF_OPERATION	43
public static final int	INLINE_IF_OPERATION__BODY	1
public static final int	INLINE_IF_OPERATION__ELSE	2
public static final int	INLINE_IF_OPERATION__GUARD	0
public static final int	INLINE_IF_OPERATION_FEATURE_COUNT	3
public static final int	INLINE_IF_OPERATION_OPERATION_COUNT	0
public static final int	INLINE_OPERATION	44
public static final int	INLINE_OPERATION_FEATURE_COUNT	0
public static final int	INLINE_OPERATION_OPERATION_COUNT	0
public static final int	INLINE_SEQ_FOR	45
public static final int	INLINE_SEQ_FOR__BODY	3
public static final int	INLINE_SEQ_FOR__ELSE	4
public static final int	INLINE_SEQ_FOR__LOOP_VARIABLE	1
public static final int	INLINE_SEQ_FOR__NAME	0
public static final int	INLINE_SEQ_FOR__RANGE_EXPRESSION	2
public static final int	INLINE_SEQ_FOR_FEATURE_COUNT	5
public static final int	INLINE_SEQ_FOR_OPERATION_COUNT	0
public static final int	INLINED_OXSTS	46
public static final int	INLINED_OXSTS__ANNOTATION	1
public static final int	INLINED_OXSTS__CLASS_DECLARATION	6
public static final int	INLINED_OXSTS__INIT_TRANSITION	2
public static final int	INLINED_OXSTS__MAIN_TRANSITION	3
public static final int	INLINED_OXSTS__NAME	0
public static final int	INLINED_OXSTS__PROPERTY	4
public static final int	INLINED_OXSTS__ROOT_FEATURE	7
public static final int	INLINED_OXSTS__VARIABLES	5
public static final int	INLINED_OXSTS__WITNESS	8
public static final int	INLINED_OXSTS_FEATURE_COUNT	9
public static final int	INLINED_OXSTS_OPERATION_COUNT	0
public static final int	LITERAL_BOOLEAN	47
public static final int	LITERAL_BOOLEAN__VALUE	0
public static final int	LITERAL_BOOLEAN_FEATURE_COUNT	1
public static final int	LITERAL_BOOLEAN_OPERATION_COUNT	0
public static final int	LITERAL_EXPRESSION	48
public static final int	LITERAL_EXPRESSION_FEATURE_COUNT	0
public static final int	LITERAL_EXPRESSION_OPERATION_COUNT	0
public static final int	LITERAL_INFINITY	49
public static final int	LITERAL_INFINITY_FEATURE_COUNT	0
public static final int	LITERAL_INFINITY_OPERATION_COUNT	0
public static final int	LITERAL_INTEGER	50
public static final int	LITERAL_INTEGER__VALUE	0
public static final int	LITERAL_INTEGER_FEATURE_COUNT	1
public static final int	LITERAL_INTEGER_OPERATION_COUNT	0
public static final int	LITERAL_NOTHING	51
public static final int	LITERAL_NOTHING_FEATURE_COUNT	0
public static final int	LITERAL_NOTHING_OPERATION_COUNT	0
public static final int	LITERAL_REAL	52
public static final int	LITERAL_REAL__VALUE	0
public static final int	LITERAL_REAL_FEATURE_COUNT	1
public static final int	LITERAL_REAL_OPERATION_COUNT	0
public static final int	LITERAL_STRING	53
public static final int	LITERAL_STRING__VALUE	0
public static final int	LITERAL_STRING_FEATURE_COUNT	1
public static final int	LITERAL_STRING_OPERATION_COUNT	0
public static final int	LOCAL_VAR_DECLARATION_OPERATION	54
public static final int	LOCAL_VAR_DECLARATION_OPERATION__ANNOTATION	1
public static final int	LOCAL_VAR_DECLARATION_OPERATION__EXPRESSION	2
public static final int	LOCAL_VAR_DECLARATION_OPERATION__NAME	0
public static final int	LOCAL_VAR_DECLARATION_OPERATION__TYPE_SPECIFICATION	3
public static final int	LOCAL_VAR_DECLARATION_OPERATION_FEATURE_COUNT	4
public static final int	LOCAL_VAR_DECLARATION_OPERATION_OPERATION_COUNT	0
public static final int	MULTIPLICITY	55
public static final int	MULTIPLICITY_FEATURE_COUNT	0
public static final int	MULTIPLICITY_OPERATION_COUNT	0
public static final int	NAMED_ELEMENT	56
public static final int	NAMED_ELEMENT__NAME	0
public static final int	NAMED_ELEMENT_FEATURE_COUNT	1
public static final int	NAMED_ELEMENT_OPERATION_COUNT	0
public static final int	NAMESPACE	57
public static final int	NAMESPACE__NAME	0
public static final int	NAMESPACE_FEATURE_COUNT	1
public static final int	NAMESPACE_OPERATION_COUNT	0
public static final int	NAVIGATION_SUFFIX_EXPRESSION	58
public static final int	NAVIGATION_SUFFIX_EXPRESSION__MEMBER	1
public static final int	NAVIGATION_SUFFIX_EXPRESSION__OPTIONAL	2
public static final int	NAVIGATION_SUFFIX_EXPRESSION__PRIMARY	0
public static final int	NAVIGATION_SUFFIX_EXPRESSION_FEATURE_COUNT	3
public static final int	NAVIGATION_SUFFIX_EXPRESSION_OPERATION_COUNT	0
public static final int	NEGATION_OPERATOR	59
public static final int	NEGATION_OPERATOR__BODY	0
public static final int	NEGATION_OPERATOR_FEATURE_COUNT	1
public static final int	NEGATION_OPERATOR_OPERATION_COUNT	0
public static final int	OPERATION	60
public static final int	OPERATION_FEATURE_COUNT	0
public static final int	OPERATION_OPERATION_COUNT	0
public static final int	OPERATOR_EXPRESSION	61
public static final int	OPERATOR_EXPRESSION_FEATURE_COUNT	0
public static final int	OPERATOR_EXPRESSION_OPERATION_COUNT	0
public static final int	OXSTS_MODEL_PACKAGE	62
public static final int	OXSTS_MODEL_PACKAGE__DECLARATIONS	2
public static final int	OXSTS_MODEL_PACKAGE__IMPORTS	1
public static final int	OXSTS_MODEL_PACKAGE__NAME	0
public static final int	OXSTS_MODEL_PACKAGE_FEATURE_COUNT	3
public static final int	OXSTS_MODEL_PACKAGE_OPERATION_COUNT	0
public static final int	PARAMETER_DECLARATION	63
public static final int	PARAMETER_DECLARATION__NAME	0
public static final int	PARAMETER_DECLARATION__TYPE_SPECIFICATION	1
public static final int	PARAMETER_DECLARATION_FEATURE_COUNT	2
public static final int	PARAMETER_DECLARATION_OPERATION_COUNT	0
public static final int	PARAMETRIC_DECLARATION	64
public static final int	PARAMETRIC_DECLARATION__ANNOTATION	1
public static final int	PARAMETRIC_DECLARATION__NAME	0
public static final int	PARAMETRIC_DECLARATION__PARAMETERS	2
public static final int	PARAMETRIC_DECLARATION_FEATURE_COUNT	3
public static final int	PARAMETRIC_DECLARATION_OPERATION_COUNT	0
public static final int	PATTERN_DECLARATION	65
public static final int	PATTERN_DECLARATION__ANNOTATION	1
public static final int	PATTERN_DECLARATION__BODIES	3
public static final int	PATTERN_DECLARATION__NAME	0
public static final int	PATTERN_DECLARATION__PARAMETERS	2
public static final int	PATTERN_DECLARATION_FEATURE_COUNT	4
public static final int	PATTERN_DECLARATION_OPERATION_COUNT	0
public static final int	POSTFIX_UNARY_EXPRESSION	66
public static final int	POSTFIX_UNARY_EXPRESSION__PRIMARY	0
public static final int	POSTFIX_UNARY_EXPRESSION_FEATURE_COUNT	1
public static final int	POSTFIX_UNARY_EXPRESSION_OPERATION_COUNT	0
public static final int	PROPERTY_DECLARATION	67
public static final int	PROPERTY_DECLARATION__ABSTRACT	6
public static final int	PROPERTY_DECLARATION__ANNOTATION	1
public static final int	PROPERTY_DECLARATION__EXPRESSION	5
public static final int	PROPERTY_DECLARATION__NAME	0
public static final int	PROPERTY_DECLARATION__PARAMETERS	2
public static final int	PROPERTY_DECLARATION__REDEFINE	3
public static final int	PROPERTY_DECLARATION__REDEFINED	4
public static final int	PROPERTY_DECLARATION__RETURN_TYPE	7
public static final int	PROPERTY_DECLARATION_FEATURE_COUNT	8
public static final int	PROPERTY_DECLARATION_OPERATION_COUNT	0
public static final int	RANGE_EXPRESSION	68
public static final int	RANGE_EXPRESSION__EXCLUSIVE	2
public static final int	RANGE_EXPRESSION__LEFT	0
public static final int	RANGE_EXPRESSION__RIGHT	1
public static final int	RANGE_EXPRESSION_FEATURE_COUNT	3
public static final int	RANGE_EXPRESSION_OPERATION_COUNT	0
public static final int	RECORD_DECLARATION	69
public static final int	RECORD_DECLARATION__ANNOTATION	1
public static final int	RECORD_DECLARATION__MEMBERS	2
public static final int	RECORD_DECLARATION__NAME	0
public static final int	RECORD_DECLARATION_FEATURE_COUNT	3
public static final int	RECORD_DECLARATION_OPERATION_COUNT	0
public static final int	RECORD_LITERAL	70
public static final int	RECORD_LITERAL__FIELDS	1
public static final int	RECORD_LITERAL__RECORD	0
public static final int	RECORD_LITERAL_FEATURE_COUNT	2
public static final int	RECORD_LITERAL_OPERATION_COUNT	0
public static final int	REDEFINABLE_DECLARATION	71
public static final int	REDEFINABLE_DECLARATION__ANNOTATION	1
public static final int	REDEFINABLE_DECLARATION__NAME	0
public static final int	REDEFINABLE_DECLARATION__REDEFINE	2
public static final int	REDEFINABLE_DECLARATION__REDEFINED	3
public static final int	REDEFINABLE_DECLARATION_FEATURE_COUNT	4
public static final int	REDEFINABLE_DECLARATION_OPERATION_COUNT	0
public static final int	REFERENCE_EXPRESSION	72
public static final int	REFERENCE_EXPRESSION_FEATURE_COUNT	0
public static final int	REFERENCE_EXPRESSION_OPERATION_COUNT	0
public static final int	SELF_REFERENCE	73
public static final int	SELF_REFERENCE__CLASS	0
public static final int	SELF_REFERENCE_FEATURE_COUNT	1
public static final int	SELF_REFERENCE_OPERATION_COUNT	0
public static final int	SEQUENCE_OPERATION	74
public static final int	SEQUENCE_OPERATION__NAME	0
public static final int	SEQUENCE_OPERATION__STEPS	1
public static final int	SEQUENCE_OPERATION_FEATURE_COUNT	2
public static final int	SEQUENCE_OPERATION_OPERATION_COUNT	0
public static final int	TARGET_DECLARATION	75
public static final int	TARGET_DECLARATION__ABSTRACT	3
public static final int	TARGET_DECLARATION__ANNOTATION	1
public static final int	TARGET_DECLARATION__MEMBERS	4
public static final int	TARGET_DECLARATION__NAME	0
public static final int	TARGET_DECLARATION__SUPER_TYPES	2
public static final int	TARGET_DECLARATION_FEATURE_COUNT	5
public static final int	TARGET_DECLARATION_OPERATION_COUNT	0
public static final int	TEMPORAL_OPERATOR	76
public static final int	TEMPORAL_OPERATOR__BODY	0
public static final int	TEMPORAL_OPERATOR_FEATURE_COUNT	1
public static final int	TEMPORAL_OPERATOR_OPERATION_COUNT	0
public static final int	TOP_LEVEL_DECLARATION	77
public static final int	TOP_LEVEL_DECLARATION__ANNOTATION	1
public static final int	TOP_LEVEL_DECLARATION__NAME	0
public static final int	TOP_LEVEL_DECLARATION_FEATURE_COUNT	2
public static final int	TOP_LEVEL_DECLARATION_OPERATION_COUNT	0
public static final int	TRANSITION_DECLARATION	78
public static final int	TRANSITION_DECLARATION__ABSTRACT	7
public static final int	TRANSITION_DECLARATION__ANNOTATION	1
public static final int	TRANSITION_DECLARATION__BRANCHES	5
public static final int	TRANSITION_DECLARATION__KIND	6
public static final int	TRANSITION_DECLARATION__NAME	0
public static final int	TRANSITION_DECLARATION__PARAMETERS	2
public static final int	TRANSITION_DECLARATION__REDEFINE	3
public static final int	TRANSITION_DECLARATION__REDEFINED	4
public static final int	TRANSITION_DECLARATION_FEATURE_COUNT	8
public static final int	TRANSITION_DECLARATION_OPERATION_COUNT	0
public static final int	TRANSITION_KIND	88
public static final int	TRANSITIVE_CLOSURE_KIND	89
public static final int	TYPE_DECLARATION	79
public static final int	TYPE_DECLARATION__ANNOTATION	1
public static final int	TYPE_DECLARATION__NAME	0
public static final int	TYPE_DECLARATION_FEATURE_COUNT	2
public static final int	TYPE_DECLARATION_OPERATION_COUNT	0
public static final int	TYPE_SPECIFICATION	80
public static final int	TYPE_SPECIFICATION__DOMAIN	1
public static final int	TYPE_SPECIFICATION__MULTIPLICITY	0
public static final int	TYPE_SPECIFICATION_FEATURE_COUNT	2
public static final int	TYPE_SPECIFICATION_OPERATION_COUNT	0
public static final int	UNARY_OP	90
public static final int	UNARY_OPERATOR	81
public static final int	UNARY_OPERATOR__BODY	0
public static final int	UNARY_OPERATOR_FEATURE_COUNT	1
public static final int	UNARY_OPERATOR_OPERATION_COUNT	0
public static final int	UNBOUNDED_MULTIPLICITY	82
public static final int	UNBOUNDED_MULTIPLICITY_FEATURE_COUNT	0
public static final int	UNBOUNDED_MULTIPLICITY_OPERATION_COUNT	0
public static final int	VARIABLE_DECLARATION	83
public static final int	VARIABLE_DECLARATION__ANNOTATION	1
public static final int	VARIABLE_DECLARATION__EXPRESSION	2
public static final int	VARIABLE_DECLARATION__NAME	0
public static final int	VARIABLE_DECLARATION__TYPE_SPECIFICATION	3
public static final int	VARIABLE_DECLARATION_FEATURE_COUNT	4
public static final int	VARIABLE_DECLARATION_OPERATION_COUNT	0

hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitionKind

Modifier and Type	Constant Field	Value
public static final int	INIT_VALUE	2
public static final int	TRAN_VALUE	0

hu.bme.mit.semantifyr.oxsts.model.oxsts.TransitiveClosureKind

Modifier and Type	Constant Field	Value
public static final int	INCLUDE_SELF_VALUE	2
public static final int	NONE_VALUE	0
public static final int	WITHOUT_SELF_VALUE	1

hu.bme.mit.semantifyr.oxsts.model.oxsts.UnaryOp

Modifier and Type	Constant Field	Value
public static final int	MINUS_VALUE	1
public static final int	PLUS_VALUE	0

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.ClassDeclarationImpl

Modifier and Type	Constant Field	Value
protected static final boolean	ABSTRACT_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.FeatureDeclarationImpl

Modifier and Type	Constant Field	Value
protected static final boolean	REDEFINE_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.InlinedOxstsImpl

Modifier and Type	Constant Field	Value
protected static final boolean	WITNESS_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralBooleanImpl

Modifier and Type	Constant Field	Value
protected static final boolean	VALUE_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralIntegerImpl

Modifier and Type	Constant Field	Value
protected static final int	VALUE_EDEFAULT	0

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.LiteralRealImpl

Modifier and Type	Constant Field	Value
protected static final double	VALUE_EDEFAULT	0.0

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.NavigationSuffixExpressionImpl

Modifier and Type	Constant Field	Value
protected static final boolean	OPTIONAL_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.PropertyDeclarationImpl

Modifier and Type	Constant Field	Value
protected static final boolean	ABSTRACT_EDEFAULT	false
protected static final boolean	REDEFINE_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RangeExpressionImpl

Modifier and Type	Constant Field	Value
protected static final boolean	EXCLUSIVE_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.RedefinableDeclarationImpl

Modifier and Type	Constant Field	Value
protected static final boolean	REDEFINE_EDEFAULT	false

hu.bme.mit.semantifyr.oxsts.model.oxsts.impl.TransitionDeclarationImpl

Modifier and Type	Constant Field	Value
protected static final boolean	ABSTRACT_EDEFAULT	false
protected static final boolean	REDEFINE_EDEFAULT	false