diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-25 15:27:33 -0500 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-02-25 15:27:33 -0500 |
commit | 7fc7546e52b07aa08efa68e5c7c1d0e0235f0776 (patch) | |
tree | cd9f28b4b5385efff50aa726d2551a044ba35b5f /Application | |
parent | UI generated parts (diff) | |
download | VIATRA-Generator-7fc7546e52b07aa08efa68e5c7c1d0e0235f0776.tar.gz VIATRA-Generator-7fc7546e52b07aa08efa68e5c7c1d0e0235f0776.tar.zst VIATRA-Generator-7fc7546e52b07aa08efa68e5c7c1d0e0235f0776.zip |
Config file: documentation -> log-level
Diffstat (limited to 'Application')
8 files changed, 108 insertions, 114 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtextbin b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtextbin index 4ba1dfec..2667412e 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtextbin +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtextbin | |||
Binary files differ | |||
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") |
23 | public class InternalApplicationConfigurationParser extends AbstractInternalAntlrParser { | 23 | public 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 | ||
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java index d7920ae1..b2de44c2 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java | |||
@@ -1164,20 +1164,20 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
1164 | public class DocumentationEntryElements extends AbstractParserRuleElementFinder { | 1164 | public class DocumentationEntryElements extends AbstractParserRuleElementFinder { |
1165 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.DocumentationEntry"); | 1165 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.DocumentationEntry"); |
1166 | private final Group cGroup = (Group)rule.eContents().get(1); | 1166 | private final Group cGroup = (Group)rule.eContents().get(1); |
1167 | private final Keyword cDocumentsKeyword_0 = (Keyword)cGroup.eContents().get(0); | 1167 | private final Keyword cLogLevelKeyword_0 = (Keyword)cGroup.eContents().get(0); |
1168 | private final Keyword cEqualsSignKeyword_1 = (Keyword)cGroup.eContents().get(1); | 1168 | private final Keyword cEqualsSignKeyword_1 = (Keyword)cGroup.eContents().get(1); |
1169 | private final Assignment cLevelAssignment_2 = (Assignment)cGroup.eContents().get(2); | 1169 | private final Assignment cLevelAssignment_2 = (Assignment)cGroup.eContents().get(2); |
1170 | private final RuleCall cLevelDocumentLevelSpecificationEnumRuleCall_2_0 = (RuleCall)cLevelAssignment_2.eContents().get(0); | 1170 | private final RuleCall cLevelDocumentLevelSpecificationEnumRuleCall_2_0 = (RuleCall)cLevelAssignment_2.eContents().get(0); |
1171 | 1171 | ||
1172 | //DocumentationEntry: | 1172 | //DocumentationEntry: |
1173 | // "documents" '=' level=DocumentLevelSpecification; | 1173 | // "log-level" '=' level=DocumentLevelSpecification; |
1174 | @Override public ParserRule getRule() { return rule; } | 1174 | @Override public ParserRule getRule() { return rule; } |
1175 | 1175 | ||
1176 | //"documents" '=' level=DocumentLevelSpecification | 1176 | //"log-level" '=' level=DocumentLevelSpecification |
1177 | public Group getGroup() { return cGroup; } | 1177 | public Group getGroup() { return cGroup; } |
1178 | 1178 | ||
1179 | //"documents" | 1179 | //"log-level" |
1180 | public Keyword getDocumentsKeyword_0() { return cDocumentsKeyword_0; } | 1180 | public Keyword getLogLevelKeyword_0() { return cLogLevelKeyword_0; } |
1181 | 1181 | ||
1182 | //'=' | 1182 | //'=' |
1183 | public Keyword getEqualsSignKeyword_1() { return cEqualsSignKeyword_1; } | 1183 | public Keyword getEqualsSignKeyword_1() { return cEqualsSignKeyword_1; } |
@@ -3127,7 +3127,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen | |||
3127 | } | 3127 | } |
3128 | 3128 | ||
3129 | //DocumentationEntry: | 3129 | //DocumentationEntry: |
3130 | // "documents" '=' level=DocumentLevelSpecification; | 3130 | // "log-level" '=' level=DocumentLevelSpecification; |
3131 | public DocumentationEntryElements getDocumentationEntryAccess() { | 3131 | public DocumentationEntryElements getDocumentationEntryAccess() { |
3132 | return pDocumentationEntry; | 3132 | return pDocumentationEntry; |
3133 | } | 3133 | } |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext index c81a619a..29e9f9d6 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/ApplicationConfiguration.xtext | |||
@@ -99,7 +99,7 @@ ConfigDeclaration : | |||
99 | 'config' name = ID specification = ConfigSpecification | 99 | 'config' name = ID specification = ConfigSpecification |
100 | ; | 100 | ; |
101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; | 101 | ConfigEntry: DocumentationEntry | RuntimeEntry | MemoryEntry | CustomEntry; |
102 | DocumentationEntry: "documents" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; | 102 | DocumentationEntry: "log-level" '=' level = DocumentLevelSpecification; enum DocumentLevelSpecification: none | normal | full; |
103 | RuntimeEntry: "runtime" "=" millisecLimit = INT; | 103 | RuntimeEntry: "runtime" "=" millisecLimit = INT; |
104 | MemoryEntry: "memory" "=" megabyteLimit = INT; | 104 | MemoryEntry: "memory" "=" megabyteLimit = INT; |
105 | CustomEntry: key = STRING "=" value = STRING; | 105 | CustomEntry: key = STRING "=" value = STRING; |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend index 95f14bc1..ca674280 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/ModelLoader.xtend | |||
@@ -3,10 +3,12 @@ package hu.bme.mit.inf.dslreasoner.application.execution | |||
3 | import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl | 3 | import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl |
4 | import org.eclipse.emf.common.util.URI | 4 | import org.eclipse.emf.common.util.URI |
5 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification | 5 | import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelSpecification |
6 | import org.eclipse.emf.ecore.EObject | ||
7 | import java.util.List | ||
6 | 8 | ||
7 | class ModelLoader { | 9 | class ModelLoader { |
8 | 10 | ||
9 | def loadModel(PartialModelSpecification specification, ScriptExecutor scriptExecutor) { | 11 | def List<EObject> loadModel(PartialModelSpecification specification, ScriptExecutor scriptExecutor) { |
10 | val entries = specification.entry | 12 | val entries = specification.entry |
11 | if (entries.size == 1) { | 13 | if (entries.size == 1) { |
12 | var URI uri | 14 | var URI uri |