1 files changed, 178 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
new file mode 100644
index 00000000..1a29e53b
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
@@ -0,0 +1,178 @@
+/*
+ * generated by Xtext 2.21.0
+ */
+lexer grammar InternalSolverLanguageLexer;
+@header {
+package org.eclipse.viatra.solver.language.parser.antlr.lexer;
+// Hack: Use our own Lexer superclass by means of import. 
+// Currently there is no other way to specify the superclass for the lexer.
+import org.eclipse.xtext.parser.antlr.Lexer;
+}
+GREATER_EQ : 'GREATER_EQ';
+Functional : 'functional';
+Abstract : 'abstract';
+Contains : 'contains';
+Maximize : 'maximize';
+Minimize : 'minimize';
+Opposite : 'opposite';
+GREATER : 'GREATER';
+LESS_EQ : 'LESS_EQ';
+Current : 'current';
+Default : 'default';
+Extends : 'extends';
+Unknown : 'unknown';
+NOT_EQ : 'NOT_EQ';
+Extern : 'extern';
+Class : 'class';
+Count : 'count';
+Empty : 'empty';
+Error : 'error';
+False : 'false';
+Scope : 'scope';
+LESS : 'LESS';
+Else : 'else';
+Must : 'must';
+Only : 'only';
+Prod : 'prod';
+Real : 'real';
+Then : 'then';
+True : 'true';
+ADD : 'ADD';
+DIV : 'DIV';
+MUL : 'MUL';
+POW : 'POW';
+SUB : 'SUB';
+Avg : 'avg';
+Inf : 'inf';
+Int : 'int';
+Max : 'max';
+May : 'may';
+Min : 'min';
+Sum : 'sum';
+ExclamationMarkEqualsSign : '!=';
+HyphenMinusGreaterThanSign : '->';
+FullStopFullStop : '..';
+ColonHyphenMinus : ':-';
+LessThanSignEqualsSign : '<=';
+EqualsSignEqualsSign : '==';
+GreaterThanSignEqualsSign : '>=';
+EQ : 'EQ';
+IN : 'IN';
+If : 'if';
+In : 'in';
+ExclamationMark : '!';
+LeftParenthesis : '(';
+RightParenthesis : ')';
+Asterisk : '*';
+PlusSign : '+';
+Comma : ',';
+HyphenMinus : '-';
+FullStop : '.';
+Solidus : '/';
+Colon : ':';
+Semicolon : ';';
+LessThanSign : '<';
+EqualsSign : '=';
+GreaterThanSign : '>';
+LeftSquareBracket : '[';
+RightSquareBracket : ']';
+CircumflexAccent : '^';
+LeftCurlyBracket : '{';
+VerticalLine : '|';
+RightCurlyBracket : '}';
+RULE_STRING : '"' ('\\' .|~(('\\'|'"')))* '"';
+RULE_QUOTED_ID : '\'' ('\\' .|~(('\\'|'\'')))* '\'';
+RULE_SL_COMMENT : ('%'|'//') ~(('\n'|'\r'))* ('\r'? '\n')?;
+fragment RULE_TRANSITIVE_CLOSURE : ;
+fragment RULE_REFLEXIVE_TRANSITIVE_CLOSURE : ;
+fragment RULE_FULL_STOP : ;
+RULE_ID : '^'? ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
+RULE_INT : ('0'..'9')+;
+RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
+RULE_WS : (' '|'\t'|'\r'|'\n')+;
+RULE_ANY_OTHER : .;

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g new file mode 100644 index 00000000..1a29e53b --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.g
@@ -0,0 +1,178 @@
	1	/*
	2	* generated by Xtext 2.21.0
	3	*/
	4	lexer grammar InternalSolverLanguageLexer;
	5
	6	@header {
	7	package org.eclipse.viatra.solver.language.parser.antlr.lexer;
	8
	9	// Hack: Use our own Lexer superclass by means of import.
	10	// Currently there is no other way to specify the superclass for the lexer.
	11	import org.eclipse.xtext.parser.antlr.Lexer;
	12	}
	13
	14	GREATER_EQ : 'GREATER_EQ';
	15
	16	Functional : 'functional';
	17
	18	Abstract : 'abstract';
	19
	20	Contains : 'contains';
	21
	22	Maximize : 'maximize';
	23
	24	Minimize : 'minimize';
	25
	26	Opposite : 'opposite';
	27
	28	GREATER : 'GREATER';
	29
	30	LESS_EQ : 'LESS_EQ';
	31
	32	Current : 'current';
	33
	34	Default : 'default';
	35
	36	Extends : 'extends';
	37
	38	Unknown : 'unknown';
	39
	40	NOT_EQ : 'NOT_EQ';
	41
	42	Extern : 'extern';
	43
	44	Class : 'class';
	45
	46	Count : 'count';
	47
	48	Empty : 'empty';
	49
	50	Error : 'error';
	51
	52	False : 'false';
	53
	54	Scope : 'scope';
	55
	56	LESS : 'LESS';
	57
	58	Else : 'else';
	59
	60	Must : 'must';
	61
	62	Only : 'only';
	63
	64	Prod : 'prod';
	65
	66	Real : 'real';
	67
	68	Then : 'then';
	69
	70	True : 'true';
	71
	72	ADD : 'ADD';
	73
	74	DIV : 'DIV';
	75
	76	MUL : 'MUL';
	77
	78	POW : 'POW';
	79
	80	SUB : 'SUB';
	81
	82	Avg : 'avg';
	83
	84	Inf : 'inf';
	85
	86	Int : 'int';
	87
	88	Max : 'max';
	89
	90	May : 'may';
	91
	92	Min : 'min';
	93
	94	Sum : 'sum';
	95
	96	ExclamationMarkEqualsSign : '!=';
	97
	98	HyphenMinusGreaterThanSign : '->';
	99
	100	FullStopFullStop : '..';
	101
	102	ColonHyphenMinus : ':-';
	103
	104	LessThanSignEqualsSign : '<=';
	105
	106	EqualsSignEqualsSign : '==';
	107
	108	GreaterThanSignEqualsSign : '>=';
	109
	110	EQ : 'EQ';
	111
	112	IN : 'IN';
	113
	114	If : 'if';
	115
	116	In : 'in';
	117
	118	ExclamationMark : '!';
	119
	120	LeftParenthesis : '(';
	121
	122	RightParenthesis : ')';
	123
	124	Asterisk : '*';
	125
	126	PlusSign : '+';
	127
	128	Comma : ',';
	129
	130	HyphenMinus : '-';
	131
	132	FullStop : '.';
	133
	134	Solidus : '/';
	135
	136	Colon : ':';
	137
	138	Semicolon : ';';
	139
	140	LessThanSign : '<';
	141
	142	EqualsSign : '=';
	143
	144	GreaterThanSign : '>';
	145
	146	LeftSquareBracket : '[';
	147
	148	RightSquareBracket : ']';
	149
	150	CircumflexAccent : '^';
	151
	152	LeftCurlyBracket : '{';
	153
	154	VerticalLine : '\|';
	155
	156	RightCurlyBracket : '}';
	157
	158	RULE_STRING : '"' ('\\' .\|~(('\\'\|'"')))* '"';
	159
	160	RULE_QUOTED_ID : '\'' ('\\' .\|~(('\\'\|'\'')))* '\'';
	161
	162	RULE_SL_COMMENT : ('%'\|'//') ~(('\n'\|'\r'))* ('\r'? '\n')?;
	163
	164	fragment RULE_TRANSITIVE_CLOSURE : ;
	165
	166	fragment RULE_REFLEXIVE_TRANSITIVE_CLOSURE : ;
	167
	168	fragment RULE_FULL_STOP : ;
	169
	170	RULE_ID : '^'? ('a'..'z'\|'A'..'Z'\|'_') ('a'..'z'\|'A'..'Z'\|'_'\|'0'..'9')*;
	171
	172	RULE_INT : ('0'..'9')+;
	173
	174	RULE_ML_COMMENT : '/' ( options {greedy=false;} : . )'*/';
	175
	176	RULE_WS : (' '\|'\t'\|'\r'\|'\n')+;
	177
	178	RULE_ANY_OTHER : .;