aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal
diff options
context:
space:
mode:
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g4
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens2
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationLexer.java184
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationParser.java14
4 files changed, 98 insertions, 106 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
index 3fbfd5d3..96435401 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.g
@@ -1913,9 +1913,9 @@ ruleDocumentationEntry returns [EObject current=null]
1913 leaveRule(); 1913 leaveRule();
1914}: 1914}:
1915 ( 1915 (
1916 otherlv_0='documents' 1916 otherlv_0='log-level'
1917 { 1917 {
1918 newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getDocumentsKeyword_0()); 1918 newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getLogLevelKeyword_0());
1919 } 1919 }
1920 otherlv_1='=' 1920 otherlv_1='='
1921 { 1921 {
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
index 3eda9d26..ef0bd507 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
@@ -13,7 +13,6 @@
13'ViatraSolver'=56 13'ViatraSolver'=56
14'config'=27 14'config'=27
15'debug'=47 15'debug'=47
16'documents'=28
17'epackage'=13 16'epackage'=13
18'excluding'=21 17'excluding'=21
19'file'=15 18'file'=15
@@ -23,6 +22,7 @@
23'import'=12 22'import'=12
24'int'=36 23'int'=36
25'log'=48 24'log'=48
25'log-level'=28
26'memory'=30 26'memory'=30
27'metamodel'=23 27'metamodel'=23
28'models'=25 28'models'=25
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationLexer.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationLexer.java
index 26af7dcf..7fd57f29 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationLexer.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationLexer.java
@@ -437,10 +437,10 @@ public class InternalApplicationConfigurationLexer extends Lexer {
437 try { 437 try {
438 int _type = T__28; 438 int _type = T__28;
439 int _channel = DEFAULT_TOKEN_CHANNEL; 439 int _channel = DEFAULT_TOKEN_CHANNEL;
440 // InternalApplicationConfiguration.g:28:7: ( 'documents' ) 440 // InternalApplicationConfiguration.g:28:7: ( 'log-level' )
441 // InternalApplicationConfiguration.g:28:9: 'documents' 441 // InternalApplicationConfiguration.g:28:9: 'log-level'
442 { 442 {
443 match("documents"); 443 match("log-level");
444 444
445 445
446 } 446 }
@@ -1919,19 +1919,19 @@ public class InternalApplicationConfigurationLexer extends Lexer {
1919 1919
1920 protected DFA12 dfa12 = new DFA12(this); 1920 protected DFA12 dfa12 = new DFA12(this);
1921 static final String DFA12_eotS = 1921 static final String DFA12_eotS =
1922 "\1\uffff\1\46\4\51\4\uffff\1\51\1\44\4\51\1\uffff\1\44\2\uffff\2\51\1\uffff\6\51\1\44\2\uffff\3\44\4\uffff\2\51\1\uffff\6\51\4\uffff\1\51\1\uffff\7\51\4\uffff\5\51\1\uffff\6\51\5\uffff\1\51\1\164\32\51\1\u0090\5\51\1\uffff\3\51\1\u0099\1\51\1\u009b\12\51\1\u00a6\1\u00a7\1\u00a8\1\u00a9\7\51\1\uffff\10\51\1\uffff\1\51\1\uffff\10\51\1\u00c2\1\51\4\uffff\4\51\1\u00c8\6\51\1\u00cf\2\51\1\u00d2\1\u00d3\4\51\1\u00d8\1\u00d9\1\u00da\1\51\1\uffff\1\51\1\u00dd\1\u00de\1\u00df\1\51\1\uffff\1\u00e1\1\51\1\u00e3\3\51\1\uffff\2\51\2\uffff\1\u00e9\3\51\3\uffff\1\51\1\u00ee\3\uffff\1\51\1\uffff\1\51\1\uffff\3\51\1\u00f4\1\51\1\uffff\1\u00f6\1\uffff\2\51\1\uffff\1\51\1\u00fa\3\51\1\uffff\1\u00fe\1\uffff\1\u00ff\1\u0100\1\51\1\uffff\1\u0102\2\51\3\uffff\1\u0105\1\uffff\2\51\1\uffff\1\u0108\1\51\1\uffff\1\u010a\1\uffff"; 1922 "\1\uffff\1\46\4\51\4\uffff\1\51\1\44\4\51\1\uffff\1\44\2\uffff\2\51\1\uffff\6\51\1\44\2\uffff\3\44\4\uffff\2\51\1\uffff\6\51\4\uffff\1\51\1\uffff\6\51\4\uffff\5\51\1\uffff\6\51\5\uffff\1\51\1\162\15\51\1\u0081\21\51\1\uffff\3\51\1\u0097\1\51\1\u0099\7\51\2\uffff\1\51\1\u00a2\1\u00a3\1\u00a4\1\u00a5\20\51\1\uffff\1\51\1\uffff\10\51\4\uffff\4\51\1\u00c3\2\51\1\u00c6\4\51\1\u00cb\2\51\1\u00ce\1\u00cf\4\51\1\u00d4\1\u00d5\1\u00d6\1\51\1\u00d8\1\u00d9\1\u00da\1\51\1\uffff\1\u00dc\1\51\1\uffff\1\u00de\3\51\1\uffff\2\51\2\uffff\1\u00e4\3\51\3\uffff\1\u00e8\3\uffff\1\51\1\uffff\1\51\1\uffff\3\51\1\u00ee\1\51\1\uffff\1\u00f0\1\uffff\1\51\1\uffff\1\51\1\u00f3\3\51\1\uffff\1\u00f7\1\uffff\1\u00f8\1\51\1\uffff\1\u00fa\2\51\2\uffff\1\u00fd\1\uffff\2\51\1\uffff\1\u0100\1\51\1\uffff\1\u0102\1\uffff";
1923 static final String DFA12_eofS = 1923 static final String DFA12_eofS =
1924 "\u010b\uffff"; 1924 "\u0103\uffff";
1925 static final String DFA12_minS = 1925 static final String DFA12_minS =
1926 "\1\0\1\56\1\155\1\160\2\151\4\uffff\1\141\1\72\1\145\1\157\2\145\1\uffff\1\75\2\uffff\1\157\1\143\1\uffff\1\145\1\157\1\165\1\115\1\154\1\151\1\101\2\uffff\2\0\1\52\4\uffff\1\160\1\164\1\uffff\1\141\1\143\1\141\3\154\4\uffff\1\143\1\uffff\1\155\1\144\1\156\1\143\1\142\1\156\1\141\4\uffff\1\144\1\155\1\141\1\157\1\154\1\uffff\1\156\1\147\1\164\1\124\1\154\1\141\5\uffff\1\157\1\60\1\143\1\154\1\164\1\145\1\144\1\154\1\153\2\164\1\141\1\157\1\145\1\146\2\165\1\163\1\154\2\145\1\155\1\142\1\151\1\164\1\160\1\166\1\145\1\60\1\160\1\123\1\157\1\164\1\162\1\uffff\1\153\1\165\1\162\1\60\1\145\1\60\1\141\1\145\1\151\1\155\1\162\1\154\1\151\1\155\1\147\1\151\4\60\1\141\1\145\1\156\1\151\2\145\1\162\1\uffff\1\165\1\157\1\171\1\162\1\164\1\141\1\144\1\141\1\uffff\1\162\1\uffff\1\147\1\162\1\141\1\157\1\171\1\163\1\147\1\145\1\60\1\155\4\uffff\1\154\1\162\1\147\1\163\1\60\1\162\1\141\1\164\1\154\1\123\1\141\1\60\1\147\1\151\2\60\1\145\1\156\1\154\1\144\3\60\1\156\1\uffff\1\145\3\60\1\164\1\uffff\1\60\1\164\1\60\1\166\1\157\1\123\1\uffff\1\145\1\156\2\uffff\1\60\1\163\1\55\1\145\3\uffff\1\164\1\60\3\uffff\1\151\1\uffff\1\145\1\uffff\1\145\1\154\1\157\1\60\1\147\1\uffff\1\60\1\uffff\1\154\1\163\1\uffff\1\143\1\60\1\162\1\166\1\154\1\uffff\1\60\1\uffff\2\60\1\163\1\uffff\1\60\1\145\1\166\3\uffff\1\60\1\uffff\1\162\1\145\1\uffff\1\60\1\162\1\uffff\1\60\1\uffff"; 1926 "\1\0\1\56\1\155\1\160\2\151\4\uffff\1\141\1\72\1\145\2\157\1\145\1\uffff\1\75\2\uffff\1\157\1\143\1\uffff\2\145\1\165\1\115\1\154\1\151\1\101\2\uffff\2\0\1\52\4\uffff\1\160\1\164\1\uffff\1\141\1\143\1\141\3\154\4\uffff\1\143\1\uffff\1\155\1\144\1\156\1\147\1\156\1\141\4\uffff\1\144\1\155\1\141\1\157\1\154\1\uffff\1\156\1\142\1\164\1\124\1\154\1\141\5\uffff\1\157\1\60\1\143\1\154\1\164\1\145\1\144\1\154\1\153\2\164\1\141\1\157\1\145\1\146\1\55\1\163\1\154\2\145\1\155\1\142\1\151\1\164\1\160\1\166\1\145\1\165\1\160\1\123\1\157\1\164\1\162\1\uffff\1\153\1\165\1\162\1\60\1\145\1\60\1\141\1\145\1\151\1\155\1\162\1\154\1\151\2\uffff\1\151\4\60\1\141\1\145\1\156\1\151\2\145\1\162\1\147\1\165\1\157\1\171\1\162\1\164\1\141\1\144\1\141\1\uffff\1\162\1\uffff\1\147\1\162\1\141\1\157\1\171\1\163\1\147\1\155\4\uffff\1\154\1\162\1\147\1\163\1\60\1\162\1\141\1\60\1\164\1\154\1\123\1\141\1\60\1\147\1\151\2\60\1\145\1\156\1\154\1\144\3\60\1\145\3\60\1\164\1\uffff\1\60\1\164\1\uffff\1\60\1\166\1\157\1\123\1\uffff\1\145\1\156\2\uffff\1\60\1\163\1\55\1\145\3\uffff\1\60\3\uffff\1\151\1\uffff\1\145\1\uffff\1\145\1\154\1\157\1\60\1\147\1\uffff\1\60\1\uffff\1\154\1\uffff\1\143\1\60\1\162\1\166\1\154\1\uffff\1\60\1\uffff\1\60\1\163\1\uffff\1\60\1\145\1\166\2\uffff\1\60\1\uffff\1\162\1\145\1\uffff\1\60\1\162\1\uffff\1\60\1\uffff";
1927 static final String DFA12_maxS = 1927 static final String DFA12_maxS =
1928 "\1\uffff\1\56\1\156\1\170\1\151\1\165\4\uffff\1\141\1\72\3\157\1\165\1\uffff\1\75\2\uffff\1\165\1\164\1\uffff\1\145\1\157\1\165\1\115\1\154\1\151\1\172\2\uffff\2\uffff\1\57\4\uffff\1\160\1\164\1\uffff\1\141\1\143\1\141\3\154\4\uffff\1\164\1\uffff\1\164\1\144\1\156\1\143\1\142\1\156\1\141\4\uffff\1\162\1\155\1\162\1\157\1\154\1\uffff\1\156\1\147\1\164\1\124\1\154\1\141\5\uffff\1\157\1\172\1\143\1\154\1\164\1\145\1\144\1\154\1\153\2\164\1\141\1\157\1\145\1\146\2\165\1\164\1\154\2\145\1\155\1\142\1\151\1\164\1\160\1\166\1\145\1\172\1\160\1\123\1\157\1\164\1\162\1\uffff\1\153\1\165\1\162\1\172\1\145\1\172\1\141\1\145\1\151\1\155\1\162\1\154\1\151\1\155\1\147\1\151\4\172\1\141\1\145\1\156\1\151\2\145\1\162\1\uffff\1\165\1\157\1\171\1\162\1\164\1\141\1\144\1\141\1\uffff\1\162\1\uffff\1\147\1\162\1\141\1\157\1\171\1\163\1\147\1\145\1\172\1\155\4\uffff\1\154\1\162\1\147\1\163\1\172\1\162\1\141\1\164\1\154\1\123\1\141\1\172\1\147\1\151\2\172\1\145\1\156\1\154\1\144\3\172\1\156\1\uffff\1\145\3\172\1\164\1\uffff\1\172\1\164\1\172\1\166\1\157\1\123\1\uffff\1\145\1\156\2\uffff\1\172\1\163\1\55\1\145\3\uffff\1\164\1\172\3\uffff\1\151\1\uffff\1\145\1\uffff\1\145\1\154\1\157\1\172\1\147\1\uffff\1\172\1\uffff\1\154\1\163\1\uffff\1\143\1\172\1\162\1\166\1\154\1\uffff\1\172\1\uffff\2\172\1\163\1\uffff\1\172\1\145\1\166\3\uffff\1\172\1\uffff\1\162\1\145\1\uffff\1\172\1\162\1\uffff\1\172\1\uffff"; 1928 "\1\uffff\1\56\1\156\1\170\1\151\1\165\4\uffff\1\141\1\72\3\157\1\165\1\uffff\1\75\2\uffff\1\165\1\164\1\uffff\2\145\1\165\1\115\1\154\1\151\1\172\2\uffff\2\uffff\1\57\4\uffff\1\160\1\164\1\uffff\1\141\1\143\1\141\3\154\4\uffff\1\164\1\uffff\1\164\1\144\1\156\1\147\1\156\1\141\4\uffff\1\162\1\155\1\162\1\157\1\154\1\uffff\1\156\1\142\1\164\1\124\1\154\1\141\5\uffff\1\157\1\172\1\143\1\154\1\164\1\145\1\144\1\154\1\153\2\164\1\141\1\157\1\145\1\146\1\172\1\164\1\154\2\145\1\155\1\142\1\151\1\164\1\160\1\166\1\145\1\165\1\160\1\123\1\157\1\164\1\162\1\uffff\1\153\1\165\1\162\1\172\1\145\1\172\1\141\1\145\1\151\1\155\1\162\1\154\1\151\2\uffff\1\151\4\172\1\141\1\145\1\156\1\151\2\145\1\162\1\147\1\165\1\157\1\171\1\162\1\164\1\141\1\144\1\141\1\uffff\1\162\1\uffff\1\147\1\162\1\141\1\157\1\171\1\163\1\147\1\155\4\uffff\1\154\1\162\1\147\1\163\1\172\1\162\1\141\1\172\1\164\1\154\1\123\1\141\1\172\1\147\1\151\2\172\1\145\1\156\1\154\1\144\3\172\1\145\3\172\1\164\1\uffff\1\172\1\164\1\uffff\1\172\1\166\1\157\1\123\1\uffff\1\145\1\156\2\uffff\1\172\1\163\1\55\1\145\3\uffff\1\172\3\uffff\1\151\1\uffff\1\145\1\uffff\1\145\1\154\1\157\1\172\1\147\1\uffff\1\172\1\uffff\1\154\1\uffff\1\143\1\172\1\162\1\166\1\154\1\uffff\1\172\1\uffff\1\172\1\163\1\uffff\1\172\1\145\1\166\2\uffff\1\172\1\uffff\1\162\1\145\1\uffff\1\172\1\162\1\uffff\1\172\1\uffff";
1929 static final String DFA12_acceptS = 1929 static final String DFA12_acceptS =
1930 "\6\uffff\1\6\1\7\1\10\1\11\6\uffff\1\25\1\uffff\1\27\1\30\2\uffff\1\35\7\uffff\1\57\1\60\3\uffff\1\64\1\65\1\36\1\1\2\uffff\1\57\6\uffff\1\6\1\7\1\10\1\11\1\uffff\1\14\7\uffff\1\25\1\26\1\27\1\30\5\uffff\1\35\6\uffff\1\60\1\61\1\62\1\63\1\64\42\uffff\1\32\33\uffff\1\46\10\uffff\1\5\1\uffff\1\53\12\uffff\1\43\1\33\1\31\1\51\30\uffff\1\45\5\uffff\1\37\6\uffff\1\2\2\uffff\1\4\1\16\4\uffff\1\24\1\17\1\21\2\uffff\1\52\1\42\1\34\1\uffff\1\44\1\uffff\1\50\5\uffff\1\12\1\uffff\1\41\2\uffff\1\23\5\uffff\1\3\1\uffff\1\20\3\uffff\1\40\3\uffff\1\13\1\15\1\22\1\uffff\1\54\2\uffff\1\47\2\uffff\1\55\1\uffff\1\56"; 1930 "\6\uffff\1\6\1\7\1\10\1\11\6\uffff\1\25\1\uffff\1\27\1\30\2\uffff\1\35\7\uffff\1\57\1\60\3\uffff\1\64\1\65\1\36\1\1\2\uffff\1\57\6\uffff\1\6\1\7\1\10\1\11\1\uffff\1\14\6\uffff\1\25\1\26\1\27\1\30\5\uffff\1\35\6\uffff\1\60\1\61\1\62\1\63\1\64\41\uffff\1\32\15\uffff\1\22\1\46\25\uffff\1\5\1\uffff\1\53\10\uffff\1\43\1\33\1\31\1\51\35\uffff\1\37\2\uffff\1\45\4\uffff\1\2\2\uffff\1\4\1\16\4\uffff\1\24\1\17\1\21\1\uffff\1\52\1\42\1\34\1\uffff\1\44\1\uffff\1\50\5\uffff\1\12\1\uffff\1\41\1\uffff\1\23\5\uffff\1\3\1\uffff\1\20\2\uffff\1\40\3\uffff\1\13\1\15\1\uffff\1\54\2\uffff\1\47\2\uffff\1\55\1\uffff\1\56";
1931 static final String DFA12_specialS = 1931 static final String DFA12_specialS =
1932 "\1\1\37\uffff\1\2\1\0\u00e9\uffff}>"; 1932 "\1\1\37\uffff\1\2\1\0\u00e1\uffff}>";
1933 static final String[] DFA12_transitionS = { 1933 static final String[] DFA12_transitionS = {
1934 "\11\44\2\43\2\44\1\43\22\44\1\43\1\44\1\40\1\20\3\44\1\41\2\44\1\26\1\21\1\10\1\44\1\1\1\42\12\37\1\13\1\44\1\22\1\6\1\23\2\44\1\33\21\36\1\32\2\36\1\34\4\36\3\44\1\35\1\36\1\44\2\36\1\15\1\16\1\3\1\5\1\27\1\36\1\2\2\36\1\30\1\14\1\24\1\31\1\12\1\36\1\17\1\25\2\36\1\4\4\36\1\7\1\44\1\11\uff82\44", 1934 "\11\44\2\43\2\44\1\43\22\44\1\43\1\44\1\40\1\20\3\44\1\41\2\44\1\26\1\21\1\10\1\44\1\1\1\42\12\37\1\13\1\44\1\22\1\6\1\23\2\44\1\33\21\36\1\32\2\36\1\34\4\36\3\44\1\35\1\36\1\44\2\36\1\15\1\30\1\3\1\5\1\27\1\36\1\2\2\36\1\16\1\14\1\24\1\31\1\12\1\36\1\17\1\25\2\36\1\4\4\36\1\7\1\44\1\11\uff82\44",
1935 "\1\45", 1935 "\1\45",
1936 "\1\47\1\50", 1936 "\1\47\1\50",
1937 "\1\52\7\uffff\1\53", 1937 "\1\52\7\uffff\1\53",
@@ -1945,76 +1945,77 @@ public class InternalApplicationConfigurationLexer extends Lexer {
1945 "\1\65", 1945 "\1\65",
1946 "\1\66\11\uffff\1\67", 1946 "\1\66\11\uffff\1\67",
1947 "\1\70", 1947 "\1\70",
1948 "\1\72\11\uffff\1\71", 1948 "\1\71",
1949 "\1\74\17\uffff\1\73", 1949 "\1\73\17\uffff\1\72",
1950 "", 1950 "",
1951 "\1\76", 1951 "\1\75",
1952 "", 1952 "",
1953 "", 1953 "",
1954 "\1\101\5\uffff\1\102", 1954 "\1\100\5\uffff\1\101",
1955 "\1\104\13\uffff\1\105\4\uffff\1\103", 1955 "\1\103\13\uffff\1\104\4\uffff\1\102",
1956 "", 1956 "",
1957 "\1\106",
1957 "\1\107", 1958 "\1\107",
1958 "\1\110", 1959 "\1\110",
1959 "\1\111", 1960 "\1\111",
1960 "\1\112", 1961 "\1\112",
1961 "\1\113", 1962 "\1\113",
1962 "\1\114",
1963 "\32\51\4\uffff\1\51\1\uffff\32\51", 1963 "\32\51\4\uffff\1\51\1\uffff\32\51",
1964 "", 1964 "",
1965 "", 1965 "",
1966 "\0\116", 1966 "\0\115",
1967 "\0\116", 1967 "\0\115",
1968 "\1\117\4\uffff\1\120", 1968 "\1\116\4\uffff\1\117",
1969 "", 1969 "",
1970 "", 1970 "",
1971 "", 1971 "",
1972 "", 1972 "",
1973 "\1\121",
1973 "\1\122", 1974 "\1\122",
1974 "\1\123",
1975 "", 1975 "",
1976 "\1\123",
1976 "\1\124", 1977 "\1\124",
1977 "\1\125", 1978 "\1\125",
1978 "\1\126", 1979 "\1\126",
1979 "\1\127", 1980 "\1\127",
1980 "\1\130", 1981 "\1\130",
1981 "\1\131",
1982 "", 1982 "",
1983 "", 1983 "",
1984 "", 1984 "",
1985 "", 1985 "",
1986 "\1\132\16\uffff\1\134\1\uffff\1\133", 1986 "\1\131\16\uffff\1\133\1\uffff\1\132",
1987 "", 1987 "",
1988 "\1\136\6\uffff\1\135", 1988 "\1\135\6\uffff\1\134",
1989 "\1\136",
1989 "\1\137", 1990 "\1\137",
1990 "\1\140", 1991 "\1\140",
1991 "\1\141", 1992 "\1\141",
1992 "\1\142", 1993 "\1\142",
1993 "\1\143",
1994 "\1\144",
1995 "", 1994 "",
1996 "", 1995 "",
1997 "", 1996 "",
1998 "", 1997 "",
1999 "\1\145\11\uffff\1\146\3\uffff\1\147", 1998 "\1\143\11\uffff\1\144\3\uffff\1\145",
2000 "\1\150", 1999 "\1\146",
2001 "\1\152\20\uffff\1\151", 2000 "\1\150\20\uffff\1\147",
2001 "\1\151",
2002 "\1\152",
2003 "",
2002 "\1\153", 2004 "\1\153",
2003 "\1\154", 2005 "\1\154",
2004 "",
2005 "\1\155", 2006 "\1\155",
2006 "\1\156", 2007 "\1\156",
2007 "\1\157", 2008 "\1\157",
2008 "\1\160", 2009 "\1\160",
2009 "\1\161",
2010 "\1\162",
2011 "", 2010 "",
2012 "", 2011 "",
2013 "", 2012 "",
2014 "", 2013 "",
2015 "", 2014 "",
2016 "\1\163", 2015 "\1\161",
2017 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2016 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2017 "\1\163",
2018 "\1\164",
2018 "\1\165", 2019 "\1\165",
2019 "\1\166", 2020 "\1\166",
2020 "\1\167", 2021 "\1\167",
@@ -2026,11 +2027,10 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2026 "\1\175", 2027 "\1\175",
2027 "\1\176", 2028 "\1\176",
2028 "\1\177", 2029 "\1\177",
2029 "\1\u0080", 2030 "\1\u0080\2\uffff\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2030 "\1\u0081", 2031 "\1\u0083\1\u0082",
2031 "\1\u0082", 2032 "\1\u0084",
2032 "\1\u0083", 2033 "\1\u0085",
2033 "\1\u0085\1\u0084",
2034 "\1\u0086", 2034 "\1\u0086",
2035 "\1\u0087", 2035 "\1\u0087",
2036 "\1\u0088", 2036 "\1\u0088",
@@ -2041,33 +2041,35 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2041 "\1\u008d", 2041 "\1\u008d",
2042 "\1\u008e", 2042 "\1\u008e",
2043 "\1\u008f", 2043 "\1\u008f",
2044 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2044 "\1\u0090",
2045 "\1\u0091", 2045 "\1\u0091",
2046 "\1\u0092", 2046 "\1\u0092",
2047 "\1\u0093", 2047 "\1\u0093",
2048 "",
2048 "\1\u0094", 2049 "\1\u0094",
2049 "\1\u0095", 2050 "\1\u0095",
2050 "",
2051 "\1\u0096", 2051 "\1\u0096",
2052 "\1\u0097", 2052 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2053 "\1\u0098", 2053 "\1\u0098",
2054 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2054 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2055 "\1\u009a", 2055 "\1\u009a",
2056 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2056 "\1\u009b",
2057 "\1\u009c", 2057 "\1\u009c",
2058 "\1\u009d", 2058 "\1\u009d",
2059 "\1\u009e", 2059 "\1\u009e",
2060 "\1\u009f", 2060 "\1\u009f",
2061 "\1\u00a0", 2061 "\1\u00a0",
2062 "",
2063 "",
2062 "\1\u00a1", 2064 "\1\u00a1",
2063 "\1\u00a2",
2064 "\1\u00a3",
2065 "\1\u00a4",
2066 "\1\u00a5",
2067 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2065 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2068 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2066 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2069 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2067 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2070 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2068 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2069 "\1\u00a6",
2070 "\1\u00a7",
2071 "\1\u00a8",
2072 "\1\u00a9",
2071 "\1\u00aa", 2073 "\1\u00aa",
2072 "\1\u00ab", 2074 "\1\u00ab",
2073 "\1\u00ac", 2075 "\1\u00ac",
@@ -2075,126 +2077,116 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2075 "\1\u00ae", 2077 "\1\u00ae",
2076 "\1\u00af", 2078 "\1\u00af",
2077 "\1\u00b0", 2079 "\1\u00b0",
2078 "",
2079 "\1\u00b1", 2080 "\1\u00b1",
2080 "\1\u00b2", 2081 "\1\u00b2",
2081 "\1\u00b3", 2082 "\1\u00b3",
2082 "\1\u00b4", 2083 "\1\u00b4",
2083 "\1\u00b5", 2084 "\1\u00b5",
2085 "",
2084 "\1\u00b6", 2086 "\1\u00b6",
2087 "",
2085 "\1\u00b7", 2088 "\1\u00b7",
2086 "\1\u00b8", 2089 "\1\u00b8",
2087 "",
2088 "\1\u00b9", 2090 "\1\u00b9",
2089 "",
2090 "\1\u00ba", 2091 "\1\u00ba",
2091 "\1\u00bb", 2092 "\1\u00bb",
2092 "\1\u00bc", 2093 "\1\u00bc",
2093 "\1\u00bd", 2094 "\1\u00bd",
2094 "\1\u00be", 2095 "\1\u00be",
2095 "\1\u00bf",
2096 "\1\u00c0",
2097 "\1\u00c1",
2098 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2099 "\1\u00c3",
2100 "", 2096 "",
2101 "", 2097 "",
2102 "", 2098 "",
2103 "", 2099 "",
2100 "\1\u00bf",
2101 "\1\u00c0",
2102 "\1\u00c1",
2103 "\1\u00c2",
2104 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2104 "\1\u00c4", 2105 "\1\u00c4",
2105 "\1\u00c5", 2106 "\1\u00c5",
2106 "\1\u00c6",
2107 "\1\u00c7",
2108 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2107 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2108 "\1\u00c7",
2109 "\1\u00c8",
2109 "\1\u00c9", 2110 "\1\u00c9",
2110 "\1\u00ca", 2111 "\1\u00ca",
2111 "\1\u00cb", 2112 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2112 "\1\u00cc", 2113 "\1\u00cc",
2113 "\1\u00cd", 2114 "\1\u00cd",
2114 "\1\u00ce", 2115 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2115 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2116 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2116 "\1\u00d0", 2117 "\1\u00d0",
2117 "\1\u00d1", 2118 "\1\u00d1",
2119 "\1\u00d2",
2120 "\1\u00d3",
2121 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2118 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2122 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2119 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2123 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2120 "\1\u00d4",
2121 "\1\u00d5",
2122 "\1\u00d6",
2123 "\1\u00d7", 2124 "\1\u00d7",
2124 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2125 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2125 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2126 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2126 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2127 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2127 "\1\u00db", 2128 "\1\u00db",
2128 "", 2129 "",
2129 "\1\u00dc",
2130 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2131 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2130 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2131 "\1\u00dd",
2132 "",
2132 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2133 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2134 "\1\u00df",
2133 "\1\u00e0", 2135 "\1\u00e0",
2136 "\1\u00e1",
2134 "", 2137 "",
2135 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2136 "\1\u00e2", 2138 "\1\u00e2",
2139 "\1\u00e3",
2140 "",
2141 "",
2137 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2142 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2138 "\1\u00e4",
2139 "\1\u00e5", 2143 "\1\u00e5",
2140 "\1\u00e6", 2144 "\1\u00e6",
2141 "",
2142 "\1\u00e7", 2145 "\1\u00e7",
2143 "\1\u00e8",
2144 "", 2146 "",
2145 "", 2147 "",
2146 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2147 "\1\u00ea",
2148 "\1\u00eb",
2149 "\1\u00ec",
2150 "", 2148 "",
2149 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2151 "", 2150 "",
2152 "", 2151 "",
2153 "\1\u00ed",
2154 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2155 "", 2152 "",
2153 "\1\u00e9",
2156 "", 2154 "",
2155 "\1\u00ea",
2157 "", 2156 "",
2157 "\1\u00eb",
2158 "\1\u00ec",
2159 "\1\u00ed",
2160 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2158 "\1\u00ef", 2161 "\1\u00ef",
2159 "", 2162 "",
2160 "\1\u00f0", 2163 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2161 "", 2164 "",
2162 "\1\u00f1", 2165 "\1\u00f1",
2166 "",
2163 "\1\u00f2", 2167 "\1\u00f2",
2164 "\1\u00f3",
2165 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2168 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2169 "\1\u00f4",
2166 "\1\u00f5", 2170 "\1\u00f5",
2171 "\1\u00f6",
2167 "", 2172 "",
2168 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2173 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2169 "", 2174 "",
2170 "\1\u00f7", 2175 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2171 "\1\u00f8",
2172 "",
2173 "\1\u00f9", 2176 "\1\u00f9",
2177 "",
2174 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2178 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2175 "\1\u00fb", 2179 "\1\u00fb",
2176 "\1\u00fc", 2180 "\1\u00fc",
2177 "\1\u00fd",
2178 "",
2179 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2180 "",
2181 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2182 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2183 "\1\u0101",
2184 "",
2185 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2186 "\1\u0103",
2187 "\1\u0104",
2188 "",
2189 "", 2181 "",
2190 "", 2182 "",
2191 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2183 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2192 "", 2184 "",
2193 "\1\u0106", 2185 "\1\u00fe",
2194 "\1\u0107", 2186 "\1\u00ff",
2195 "", 2187 "",
2196 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2188 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2197 "\1\u0109", 2189 "\1\u0101",
2198 "", 2190 "",
2199 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51", 2191 "\12\51\7\uffff\32\51\4\uffff\1\51\1\uffff\32\51",
2200 "" 2192 ""
@@ -2240,7 +2232,7 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2240 int LA12_33 = input.LA(1); 2232 int LA12_33 = input.LA(1);
2241 2233
2242 s = -1; 2234 s = -1;
2243 if ( ((LA12_33>='\u0000' && LA12_33<='\uFFFF')) ) {s = 78;} 2235 if ( ((LA12_33>='\u0000' && LA12_33<='\uFFFF')) ) {s = 77;}
2244 2236
2245 else s = 36; 2237 else s = 36;
2246 2238
@@ -2276,7 +2268,7 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2276 2268
2277 else if ( (LA12_0=='c') ) {s = 13;} 2269 else if ( (LA12_0=='c') ) {s = 13;}
2278 2270
2279 else if ( (LA12_0=='d') ) {s = 14;} 2271 else if ( (LA12_0=='l') ) {s = 14;}
2280 2272
2281 else if ( (LA12_0=='r') ) {s = 15;} 2273 else if ( (LA12_0=='r') ) {s = 15;}
2282 2274
@@ -2296,7 +2288,7 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2296 2288
2297 else if ( (LA12_0=='g') ) {s = 23;} 2289 else if ( (LA12_0=='g') ) {s = 23;}
2298 2290
2299 else if ( (LA12_0=='l') ) {s = 24;} 2291 else if ( (LA12_0=='d') ) {s = 24;}
2300 2292
2301 else if ( (LA12_0=='o') ) {s = 25;} 2293 else if ( (LA12_0=='o') ) {s = 25;}
2302 2294
@@ -2328,7 +2320,7 @@ public class InternalApplicationConfigurationLexer extends Lexer {
2328 int LA12_32 = input.LA(1); 2320 int LA12_32 = input.LA(1);
2329 2321
2330 s = -1; 2322 s = -1;
2331 if ( ((LA12_32>='\u0000' && LA12_32<='\uFFFF')) ) {s = 78;} 2323 if ( ((LA12_32>='\u0000' && LA12_32<='\uFFFF')) ) {s = 77;}
2332 2324
2333 else s = 36; 2325 else s = 36;
2334 2326
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationParser.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationParser.java
index 09cc404e..44ebcd3c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationParser.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfigurationParser.java
@@ -22,7 +22,7 @@ import java.util.ArrayList;
22@SuppressWarnings("all") 22@SuppressWarnings("all")
23public class InternalApplicationConfigurationParser extends AbstractInternalAntlrParser { 23public class InternalApplicationConfigurationParser extends AbstractInternalAntlrParser {
24 public static final String[] tokenNames = new String[] { 24 public static final String[] tokenNames = new String[] {
25 "<invalid>", "<EOR>", "<DOWN>", "<UP>", "RULE_ID", "RULE_STRING", "RULE_INT", "RULE_ML_COMMENT", "RULE_SL_COMMENT", "RULE_WS", "RULE_ANY_OTHER", "'.'", "'import'", "'epackage'", "'viatra'", "'file'", "'='", "'{'", "','", "'}'", "'package'", "'excluding'", "'::'", "'metamodel'", "'folder'", "'models'", "'patterns'", "'config'", "'documents'", "'runtime'", "'memory'", "'#'", "'+='", "'<'", "'>'", "'node'", "'int'", "'real'", "'string'", "'*'", "'..'", "'scope'", "'generate'", "'partial-model'", "'number'", "'runs'", "'solver'", "'debug'", "'log'", "'statistics'", "'output'", "'none'", "'normal'", "'full'", "'SMTSolver'", "'AlloySolver'", "'ViatraSolver'" 25 "<invalid>", "<EOR>", "<DOWN>", "<UP>", "RULE_ID", "RULE_STRING", "RULE_INT", "RULE_ML_COMMENT", "RULE_SL_COMMENT", "RULE_WS", "RULE_ANY_OTHER", "'.'", "'import'", "'epackage'", "'viatra'", "'file'", "'='", "'{'", "','", "'}'", "'package'", "'excluding'", "'::'", "'metamodel'", "'folder'", "'models'", "'patterns'", "'config'", "'log-level'", "'runtime'", "'memory'", "'#'", "'+='", "'<'", "'>'", "'node'", "'int'", "'real'", "'string'", "'*'", "'..'", "'scope'", "'generate'", "'partial-model'", "'number'", "'runs'", "'solver'", "'debug'", "'log'", "'statistics'", "'output'", "'none'", "'normal'", "'full'", "'SMTSolver'", "'AlloySolver'", "'ViatraSolver'"
26 }; 26 };
27 public static final int T__50=50; 27 public static final int T__50=50;
28 public static final int T__19=19; 28 public static final int T__19=19;
@@ -5294,7 +5294,7 @@ public class InternalApplicationConfigurationParser extends AbstractInternalAntl
5294 5294
5295 5295
5296 // $ANTLR start "ruleDocumentationEntry" 5296 // $ANTLR start "ruleDocumentationEntry"
5297 // InternalApplicationConfiguration.g:1908:1: ruleDocumentationEntry returns [EObject current=null] : (otherlv_0= 'documents' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) ; 5297 // InternalApplicationConfiguration.g:1908:1: ruleDocumentationEntry returns [EObject current=null] : (otherlv_0= 'log-level' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) ;
5298 public final EObject ruleDocumentationEntry() throws RecognitionException { 5298 public final EObject ruleDocumentationEntry() throws RecognitionException {
5299 EObject current = null; 5299 EObject current = null;
5300 5300
@@ -5307,15 +5307,15 @@ public class InternalApplicationConfigurationParser extends AbstractInternalAntl
5307 enterRule(); 5307 enterRule();
5308 5308
5309 try { 5309 try {
5310 // InternalApplicationConfiguration.g:1914:2: ( (otherlv_0= 'documents' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) ) 5310 // InternalApplicationConfiguration.g:1914:2: ( (otherlv_0= 'log-level' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) )
5311 // InternalApplicationConfiguration.g:1915:2: (otherlv_0= 'documents' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) 5311 // InternalApplicationConfiguration.g:1915:2: (otherlv_0= 'log-level' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) )
5312 { 5312 {
5313 // InternalApplicationConfiguration.g:1915:2: (otherlv_0= 'documents' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) ) 5313 // InternalApplicationConfiguration.g:1915:2: (otherlv_0= 'log-level' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) )
5314 // InternalApplicationConfiguration.g:1916:3: otherlv_0= 'documents' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) ) 5314 // InternalApplicationConfiguration.g:1916:3: otherlv_0= 'log-level' otherlv_1= '=' ( (lv_level_2_0= ruleDocumentLevelSpecification ) )
5315 { 5315 {
5316 otherlv_0=(Token)match(input,28,FOLLOW_10); 5316 otherlv_0=(Token)match(input,28,FOLLOW_10);
5317 5317
5318 newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getDocumentsKeyword_0()); 5318 newLeafNode(otherlv_0, grammarAccess.getDocumentationEntryAccess().getLogLevelKeyword_0());
5319 5319
5320 otherlv_1=(Token)match(input,16,FOLLOW_21); 5320 otherlv_1=(Token)match(input,16,FOLLOW_21);
5321 5321
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-05 09:59:49 +0000