1 files changed, 162 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g
new file mode 100644
index 00000000..dd52bd33
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g
@@ -0,0 +1,162 @@
+/*
+ * generated by Xtext 2.21.0
+ */
+lexer grammar InternalSolverLanguageLexer;
+@header {
+package org.eclipse.viatra.solver.language.ide.contentassist.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.ide.editor.contentassist.antlr.internal.Lexer;
+}
+Containment : 'containment';
+Functional : 'functional';
+Abstract : 'abstract';
+Contains : 'contains';
+Datatype : 'datatype';
+Maximize : 'maximize';
+Minimize : 'minimize';
+Opposite : 'opposite';
+Default : 'default';
+Extends : 'extends';
+Problem : 'problem';
+Unknown : 'unknown';
+Extern : 'extern';
+Import : 'import';
+Object : 'object';
+Refers : 'refers';
+Class : 'class';
+Count : 'count';
+Empty : 'empty';
+Error : 'error';
+False : 'false';
+Scope : 'scope';
+Else : 'else';
+Enum : 'enum';
+Root : 'root';
+Then : 'then';
+True : 'true';
+FullStopFullStopFullStop : '...';
+Inf : 'inf';
+Let : 'let';
+ExclamationMarkEqualsSign : '!=';
+HyphenMinusGreaterThanSign : '->';
+ColonHyphenMinus : ':-';
+ColonColon : '::';
+ColonEqualsSign : ':=';
+LessThanSignEqualsSign : '<=';
+EqualsSignEqualsSign : '==';
+EqualsSignGreaterThanSign : '=>';
+GreaterThanSignEqualsSign : '>=';
+As : 'as';
+If : 'if';
+In : 'in';
+ExclamationMark : '!';
+LeftParenthesis : '(';
+RightParenthesis : ')';
+Asterisk : '*';
+PlusSign : '+';
+Comma : ',';
+HyphenMinus : '-';
+FullStop : '.';
+Solidus : '/';
+Colon : ':';
+Semicolon : ';';
+LessThanSign : '<';
+EqualsSign : '=';
+GreaterThanSign : '>';
+QuestionMark : '?';
+LeftSquareBracket : '[';
+RightSquareBracket : ']';
+CircumflexAccent : '^';
+LeftCurlyBracket : '{';
+VerticalLine : '|';
+RightCurlyBracket : '}';
+Tilde : '~';
+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.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g new file mode 100644 index 00000000..dd52bd33 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/lexer/InternalSolverLanguageLexer.g
@@ -0,0 +1,162 @@
	1	/*
	2	* generated by Xtext 2.21.0
	3	*/
	4	lexer grammar InternalSolverLanguageLexer;
	5
	6	@header {
	7	package org.eclipse.viatra.solver.language.ide.contentassist.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.ide.editor.contentassist.antlr.internal.Lexer;
	12	}
	13
	14	Containment : 'containment';
	15
	16	Functional : 'functional';
	17
	18	Abstract : 'abstract';
	19
	20	Contains : 'contains';
	21
	22	Datatype : 'datatype';
	23
	24	Maximize : 'maximize';
	25
	26	Minimize : 'minimize';
	27
	28	Opposite : 'opposite';
	29
	30	Default : 'default';
	31
	32	Extends : 'extends';
	33
	34	Problem : 'problem';
	35
	36	Unknown : 'unknown';
	37
	38	Extern : 'extern';
	39
	40	Import : 'import';
	41
	42	Object : 'object';
	43
	44	Refers : 'refers';
	45
	46	Class : 'class';
	47
	48	Count : 'count';
	49
	50	Empty : 'empty';
	51
	52	Error : 'error';
	53
	54	False : 'false';
	55
	56	Scope : 'scope';
	57
	58	Else : 'else';
	59
	60	Enum : 'enum';
	61
	62	Root : 'root';
	63
	64	Then : 'then';
	65
	66	True : 'true';
	67
	68	FullStopFullStopFullStop : '...';
	69
	70	Inf : 'inf';
	71
	72	Let : 'let';
	73
	74	ExclamationMarkEqualsSign : '!=';
	75
	76	HyphenMinusGreaterThanSign : '->';
	77
	78	ColonHyphenMinus : ':-';
	79
	80	ColonColon : '::';
	81
	82	ColonEqualsSign : ':=';
	83
	84	LessThanSignEqualsSign : '<=';
	85
	86	EqualsSignEqualsSign : '==';
	87
	88	EqualsSignGreaterThanSign : '=>';
	89
	90	GreaterThanSignEqualsSign : '>=';
	91
	92	As : 'as';
	93
	94	If : 'if';
	95
	96	In : 'in';
	97
	98	ExclamationMark : '!';
	99
	100	LeftParenthesis : '(';
	101
	102	RightParenthesis : ')';
	103
	104	Asterisk : '*';
	105
	106	PlusSign : '+';
	107
	108	Comma : ',';
	109
	110	HyphenMinus : '-';
	111
	112	FullStop : '.';
	113
	114	Solidus : '/';
	115
	116	Colon : ':';
	117
	118	Semicolon : ';';
	119
	120	LessThanSign : '<';
	121
	122	EqualsSign : '=';
	123
	124	GreaterThanSign : '>';
	125
	126	QuestionMark : '?';
	127
	128	LeftSquareBracket : '[';
	129
	130	RightSquareBracket : ']';
	131
	132	CircumflexAccent : '^';
	133
	134	LeftCurlyBracket : '{';
	135
	136	VerticalLine : '\|';
	137
	138	RightCurlyBracket : '}';
	139
	140	Tilde : '~';
	141
	142	RULE_STRING : '"' ('\\' .\|~(('\\'\|'"')))* '"';
	143
	144	RULE_QUOTED_ID : '\'' ('\\' .\|~(('\\'\|'\'')))* '\'';
	145
	146	RULE_SL_COMMENT : ('%'\|'//') ~(('\n'\|'\r'))* ('\r'? '\n')?;
	147
	148	fragment RULE_TRANSITIVE_CLOSURE : ;
	149
	150	fragment RULE_REFLEXIVE_TRANSITIVE_CLOSURE : ;
	151
	152	fragment RULE_FULL_STOP : ;
	153
	154	RULE_ID : '^'? ('a'..'z'\|'A'..'Z'\|'_') ('a'..'z'\|'A'..'Z'\|'_'\|'0'..'9')*;
	155
	156	RULE_INT : ('0'..'9')+;
	157
	158	RULE_ML_COMMENT : '/' ( options {greedy=false;} : . )'*/';
	159
	160	RULE_WS : (' '\|'\t'\|'\r'\|'\n')+;
	161
	162	RULE_ANY_OTHER : .;