diff options
author | 2019-02-16 00:43:11 +0100 | |
---|---|---|
committer | 2019-02-19 19:18:25 +0100 | |
commit | d90bedacaafe87e06fddaa05a6ff9b7b796e97e7 (patch) | |
tree | 3631e27854b40de3bce7606f60113054c77bd391 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide | |
parent | Ecore2Cft transformation (diff) | |
download | VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.gz VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.tar.zst VIATRA-Generator-d90bedacaafe87e06fddaa05a6ff9b7b796e97e7.zip |
Two-valued fault tree analyzer WIP
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide')
6 files changed, 98 insertions, 91 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.g b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.g index 7c04c163..6ccf7334 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.g +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.g | |||
@@ -1564,9 +1564,9 @@ rule__ConstantDistribution__Group__0__Impl | |||
1564 | } | 1564 | } |
1565 | : | 1565 | : |
1566 | ( | 1566 | ( |
1567 | { before(grammarAccess.getConstantDistributionAccess().getPKeyword_0()); } | 1567 | { before(grammarAccess.getConstantDistributionAccess().getProbKeyword_0()); } |
1568 | 'p' | 1568 | 'prob' |
1569 | { after(grammarAccess.getConstantDistributionAccess().getPKeyword_0()); } | 1569 | { after(grammarAccess.getConstantDistributionAccess().getProbKeyword_0()); } |
1570 | ) | 1570 | ) |
1571 | ; | 1571 | ; |
1572 | finally { | 1572 | finally { |
@@ -4133,9 +4133,9 @@ rule__ComponentInstance__NameAssignment_2 | |||
4133 | } | 4133 | } |
4134 | : | 4134 | : |
4135 | ( | 4135 | ( |
4136 | { before(grammarAccess.getComponentInstanceAccess().getNameIDTerminalRuleCall_2_0()); } | 4136 | { before(grammarAccess.getComponentInstanceAccess().getNameValidIdParserRuleCall_2_0()); } |
4137 | RULE_ID | 4137 | ruleValidId |
4138 | { after(grammarAccess.getComponentInstanceAccess().getNameIDTerminalRuleCall_2_0()); } | 4138 | { after(grammarAccess.getComponentInstanceAccess().getNameValidIdParserRuleCall_2_0()); } |
4139 | ) | 4139 | ) |
4140 | ; | 4140 | ; |
4141 | finally { | 4141 | finally { |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.tokens b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.tokens index ee87b574..76556942 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.tokens +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguage.tokens | |||
@@ -20,8 +20,8 @@ | |||
20 | 'of'=27 | 20 | 'of'=27 |
21 | 'or'=26 | 21 | 'or'=26 |
22 | 'out'=21 | 22 | 'out'=21 |
23 | 'p'=22 | ||
24 | 'package'=14 | 23 | 'package'=14 |
24 | 'prob'=22 | ||
25 | 'toplevel'=39 | 25 | 'toplevel'=39 |
26 | 'transformation'=28 | 26 | 'transformation'=28 |
27 | '{'=18 | 27 | '{'=18 |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageLexer.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageLexer.java index 21e09c33..6a06d1ec 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageLexer.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageLexer.java | |||
@@ -255,10 +255,11 @@ public class InternalCftLanguageLexer extends Lexer { | |||
255 | try { | 255 | try { |
256 | int _type = T__22; | 256 | int _type = T__22; |
257 | int _channel = DEFAULT_TOKEN_CHANNEL; | 257 | int _channel = DEFAULT_TOKEN_CHANNEL; |
258 | // InternalCftLanguage.g:20:7: ( 'p' ) | 258 | // InternalCftLanguage.g:20:7: ( 'prob' ) |
259 | // InternalCftLanguage.g:20:9: 'p' | 259 | // InternalCftLanguage.g:20:9: 'prob' |
260 | { | 260 | { |
261 | match('p'); | 261 | match("prob"); |
262 | |||
262 | 263 | ||
263 | } | 264 | } |
264 | 265 | ||
@@ -1729,21 +1730,21 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1729 | } | 1730 | } |
1730 | } | 1731 | } |
1731 | static final String DFA20_eotS = | 1732 | static final String DFA20_eotS = |
1732 | "\1\uffff\1\34\1\37\1\uffff\2\40\2\uffff\1\40\1\53\4\40\5\uffff\2\34\1\72\1\34\1\uffff\3\34\3\uffff\1\40\3\uffff\1\40\1\103\1\40\2\uffff\1\40\1\106\1\110\2\uffff\3\40\1\114\3\40\10\uffff\1\72\5\uffff\2\40\1\uffff\1\122\1\123\1\uffff\1\124\1\uffff\2\40\1\127\1\uffff\5\40\3\uffff\2\40\1\uffff\13\40\1\152\1\153\1\154\3\40\1\160\3\uffff\2\40\1\163\1\uffff\1\40\1\165\1\uffff\1\40\1\uffff\4\40\1\173\1\uffff"; | 1733 | "\1\uffff\1\34\1\40\1\uffff\2\40\2\uffff\1\40\1\53\4\40\5\uffff\2\34\1\74\1\34\1\uffff\3\34\3\uffff\2\40\2\uffff\1\40\1\104\1\40\2\uffff\1\40\1\107\1\110\2\uffff\3\40\1\115\3\40\10\uffff\1\74\5\uffff\3\40\1\uffff\1\124\1\125\2\uffff\1\126\2\40\1\131\1\uffff\4\40\1\136\1\40\3\uffff\2\40\1\uffff\4\40\1\uffff\7\40\1\155\1\156\1\157\3\40\1\163\3\uffff\2\40\1\166\1\uffff\1\40\1\170\1\uffff\1\40\1\uffff\4\40\1\176\1\uffff"; |
1733 | static final String DFA20_eofS = | 1734 | static final String DFA20_eofS = |
1734 | "\174\uffff"; | 1735 | "\177\uffff"; |
1735 | static final String DFA20_minS = | 1736 | static final String DFA20_minS = |
1736 | "\1\0\1\75\1\60\1\uffff\1\155\1\146\2\uffff\1\146\1\76\1\141\1\156\1\157\1\141\5\uffff\1\135\1\75\1\56\1\101\1\uffff\2\0\1\52\3\uffff\1\143\3\uffff\1\160\1\60\1\164\2\uffff\1\164\2\60\2\uffff\1\155\1\157\1\144\1\60\1\141\2\160\10\uffff\1\56\5\uffff\1\153\1\157\1\uffff\2\60\1\uffff\1\60\1\uffff\1\142\1\153\1\60\1\uffff\1\156\1\154\1\160\1\141\1\162\3\uffff\1\144\1\165\1\uffff\1\163\1\145\1\151\1\147\1\164\1\141\1\160\1\146\1\166\1\156\1\145\3\60\1\157\1\145\1\147\1\60\3\uffff\1\162\1\154\1\60\1\uffff\1\155\1\60\1\uffff\1\141\1\uffff\1\164\1\151\1\157\1\156\1\60\1\uffff"; | 1737 | "\1\0\1\75\1\141\1\uffff\1\155\1\146\2\uffff\1\146\1\76\1\141\1\156\1\157\1\141\5\uffff\1\135\1\75\1\56\1\101\1\uffff\2\0\1\52\3\uffff\1\143\1\157\2\uffff\1\160\1\60\1\164\2\uffff\1\164\2\60\2\uffff\1\155\1\157\1\144\1\60\1\141\2\160\10\uffff\1\56\5\uffff\1\153\1\142\1\157\1\uffff\2\60\2\uffff\1\60\1\142\1\153\1\60\1\uffff\1\156\1\154\1\160\1\141\1\60\1\162\3\uffff\1\144\1\165\1\uffff\1\163\1\145\1\151\1\147\1\uffff\1\164\1\141\1\160\1\146\1\166\1\156\1\145\3\60\1\157\1\145\1\147\1\60\3\uffff\1\162\1\154\1\60\1\uffff\1\155\1\60\1\uffff\1\141\1\uffff\1\164\1\151\1\157\1\156\1\60\1\uffff"; |
1737 | static final String DFA20_maxS = | 1738 | static final String DFA20_maxS = |
1738 | "\1\uffff\1\75\1\172\1\uffff\1\156\1\146\2\uffff\1\165\1\76\1\157\1\163\1\162\1\141\5\uffff\1\135\1\75\1\145\1\172\1\uffff\2\uffff\1\57\3\uffff\1\143\3\uffff\1\160\1\172\1\164\2\uffff\1\164\2\172\2\uffff\1\155\1\157\1\144\1\172\1\141\2\160\10\uffff\1\145\5\uffff\1\153\1\157\1\uffff\2\172\1\uffff\1\172\1\uffff\1\142\1\153\1\172\1\uffff\1\156\1\154\1\160\1\141\1\162\3\uffff\1\144\1\165\1\uffff\1\163\1\145\1\151\1\147\1\164\1\141\1\160\1\146\1\166\1\156\1\145\3\172\1\157\1\145\1\147\1\172\3\uffff\1\162\1\154\1\172\1\uffff\1\155\1\172\1\uffff\1\141\1\uffff\1\164\1\151\1\157\1\156\1\172\1\uffff"; | 1739 | "\1\uffff\1\75\1\162\1\uffff\1\156\1\146\2\uffff\1\165\1\76\1\157\1\163\1\162\1\141\5\uffff\1\135\1\75\1\145\1\172\1\uffff\2\uffff\1\57\3\uffff\1\143\1\157\2\uffff\1\160\1\172\1\164\2\uffff\1\164\2\172\2\uffff\1\155\1\157\1\144\1\172\1\141\2\160\10\uffff\1\145\5\uffff\1\153\1\142\1\157\1\uffff\2\172\2\uffff\1\172\1\142\1\153\1\172\1\uffff\1\156\1\154\1\160\1\141\1\172\1\162\3\uffff\1\144\1\165\1\uffff\1\163\1\145\1\151\1\147\1\uffff\1\164\1\141\1\160\1\146\1\166\1\156\1\145\3\172\1\157\1\145\1\147\1\172\3\uffff\1\162\1\154\1\172\1\uffff\1\155\1\172\1\uffff\1\141\1\uffff\1\164\1\151\1\157\1\156\1\172\1\uffff"; |
1739 | static final String DFA20_acceptS = | 1740 | static final String DFA20_acceptS = |
1740 | "\3\uffff\1\3\2\uffff\1\6\1\7\6\uffff\1\22\1\23\1\24\1\27\1\31\4\uffff\1\37\3\uffff\1\44\1\45\1\1\1\uffff\1\12\1\37\1\3\3\uffff\1\6\1\7\3\uffff\1\30\1\13\7\uffff\1\22\1\23\1\24\1\27\1\31\1\32\1\34\1\40\1\uffff\1\36\1\41\1\42\1\43\1\44\2\uffff\1\10\2\uffff\1\16\1\uffff\1\17\3\uffff\1\26\5\uffff\1\5\1\11\1\35\2\uffff\1\15\22\uffff\1\4\1\14\1\25\3\uffff\1\2\2\uffff\1\21\1\uffff\1\33\5\uffff\1\20"; | 1741 | "\3\uffff\1\3\2\uffff\1\6\1\7\6\uffff\1\22\1\23\1\24\1\27\1\31\4\uffff\1\37\3\uffff\1\44\1\45\1\1\2\uffff\1\37\1\3\3\uffff\1\6\1\7\3\uffff\1\30\1\13\7\uffff\1\22\1\23\1\24\1\27\1\31\1\32\1\34\1\36\1\uffff\1\40\1\41\1\42\1\43\1\44\3\uffff\1\10\2\uffff\1\16\1\17\4\uffff\1\26\6\uffff\1\5\1\11\1\35\2\uffff\1\15\4\uffff\1\12\16\uffff\1\4\1\14\1\25\3\uffff\1\2\2\uffff\1\21\1\uffff\1\33\5\uffff\1\20"; |
1741 | static final String DFA20_specialS = | 1742 | static final String DFA20_specialS = |
1742 | "\1\2\27\uffff\1\1\1\0\142\uffff}>"; | 1743 | "\1\0\27\uffff\1\2\1\1\145\uffff}>"; |
1743 | static final String[] DFA20_transitionS = { | 1744 | static final String[] DFA20_transitionS = { |
1744 | "\11\34\2\33\2\34\1\33\22\34\1\33\1\34\1\30\4\34\1\31\1\16\1\17\1\22\1\24\1\20\1\34\1\21\1\32\12\25\1\1\1\3\1\34\1\11\3\34\32\27\1\23\2\34\1\26\1\27\1\34\1\13\1\27\1\5\5\27\1\4\2\27\1\12\1\15\1\27\1\10\1\2\3\27\1\14\6\27\1\6\1\34\1\7\uff82\34", | 1745 | "\11\34\2\33\2\34\1\33\22\34\1\33\1\34\1\30\4\34\1\31\1\16\1\17\1\22\1\24\1\20\1\34\1\21\1\32\12\25\1\1\1\3\1\34\1\11\3\34\32\27\1\23\2\34\1\26\1\27\1\34\1\13\1\27\1\5\5\27\1\4\2\27\1\12\1\15\1\27\1\10\1\2\3\27\1\14\6\27\1\6\1\34\1\7\uff82\34", |
1745 | "\1\35", | 1746 | "\1\35", |
1746 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\1\36\31\40", | 1747 | "\1\36\20\uffff\1\37", |
1747 | "", | 1748 | "", |
1748 | "\1\42\1\43", | 1749 | "\1\42\1\43", |
1749 | "\1\44", | 1750 | "\1\44", |
@@ -1762,7 +1763,7 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1762 | "", | 1763 | "", |
1763 | "\1\70", | 1764 | "\1\70", |
1764 | "\1\71", | 1765 | "\1\71", |
1765 | "\1\74\1\uffff\12\73\13\uffff\1\74\37\uffff\1\74", | 1766 | "\1\72\1\uffff\12\73\13\uffff\1\72\37\uffff\1\72", |
1766 | "\32\40\4\uffff\1\40\1\uffff\32\40", | 1767 | "\32\40\4\uffff\1\40\1\uffff\32\40", |
1767 | "", | 1768 | "", |
1768 | "\0\75", | 1769 | "\0\75", |
@@ -1772,26 +1773,26 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1772 | "", | 1773 | "", |
1773 | "", | 1774 | "", |
1774 | "\1\101", | 1775 | "\1\101", |
1776 | "\1\102", | ||
1775 | "", | 1777 | "", |
1776 | "", | 1778 | "", |
1777 | "", | 1779 | "\1\103", |
1778 | "\1\102", | ||
1779 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1780 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1780 | "\1\104", | 1781 | "\1\105", |
1781 | "", | 1782 | "", |
1782 | "", | 1783 | "", |
1783 | "\1\105", | 1784 | "\1\106", |
1784 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1785 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1785 | "\12\107\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1786 | "\12\111\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1786 | "", | 1787 | "", |
1787 | "", | 1788 | "", |
1788 | "\1\111", | ||
1789 | "\1\112", | 1789 | "\1\112", |
1790 | "\1\113", | 1790 | "\1\113", |
1791 | "\1\114", | ||
1791 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1792 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1792 | "\1\115", | ||
1793 | "\1\116", | 1793 | "\1\116", |
1794 | "\1\117", | 1794 | "\1\117", |
1795 | "\1\120", | ||
1795 | "", | 1796 | "", |
1796 | "", | 1797 | "", |
1797 | "", | 1798 | "", |
@@ -1800,69 +1801,72 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1800 | "", | 1801 | "", |
1801 | "", | 1802 | "", |
1802 | "", | 1803 | "", |
1803 | "\1\74\1\uffff\12\73\13\uffff\1\74\37\uffff\1\74", | 1804 | "\1\72\1\uffff\12\73\13\uffff\1\72\37\uffff\1\72", |
1804 | "", | 1805 | "", |
1805 | "", | 1806 | "", |
1806 | "", | 1807 | "", |
1807 | "", | 1808 | "", |
1808 | "", | 1809 | "", |
1809 | "\1\120", | ||
1810 | "\1\121", | 1810 | "\1\121", |
1811 | "\1\122", | ||
1812 | "\1\123", | ||
1811 | "", | 1813 | "", |
1812 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1814 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1813 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1815 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1814 | "", | 1816 | "", |
1815 | "\12\107\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1816 | "", | 1817 | "", |
1817 | "\1\125", | 1818 | "\12\111\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1818 | "\1\126", | 1819 | "\1\127", |
1820 | "\1\130", | ||
1819 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1821 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1820 | "", | 1822 | "", |
1821 | "\1\130", | ||
1822 | "\1\131", | ||
1823 | "\1\132", | 1823 | "\1\132", |
1824 | "\1\133", | 1824 | "\1\133", |
1825 | "\1\134", | 1825 | "\1\134", |
1826 | "\1\135", | ||
1827 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1828 | "\1\137", | ||
1826 | "", | 1829 | "", |
1827 | "", | 1830 | "", |
1828 | "", | 1831 | "", |
1829 | "\1\135", | ||
1830 | "\1\136", | ||
1831 | "", | ||
1832 | "\1\137", | ||
1833 | "\1\140", | 1832 | "\1\140", |
1834 | "\1\141", | 1833 | "\1\141", |
1834 | "", | ||
1835 | "\1\142", | 1835 | "\1\142", |
1836 | "\1\143", | 1836 | "\1\143", |
1837 | "\1\144", | 1837 | "\1\144", |
1838 | "\1\145", | 1838 | "\1\145", |
1839 | "", | ||
1839 | "\1\146", | 1840 | "\1\146", |
1840 | "\1\147", | 1841 | "\1\147", |
1841 | "\1\150", | 1842 | "\1\150", |
1842 | "\1\151", | 1843 | "\1\151", |
1844 | "\1\152", | ||
1845 | "\1\153", | ||
1846 | "\1\154", | ||
1843 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1847 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1844 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1848 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1845 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1849 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1846 | "\1\155", | 1850 | "\1\160", |
1847 | "\1\156", | ||
1848 | "\1\157", | ||
1849 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | ||
1850 | "", | ||
1851 | "", | ||
1852 | "", | ||
1853 | "\1\161", | 1851 | "\1\161", |
1854 | "\1\162", | 1852 | "\1\162", |
1855 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1853 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1856 | "", | 1854 | "", |
1855 | "", | ||
1856 | "", | ||
1857 | "\1\164", | 1857 | "\1\164", |
1858 | "\1\165", | ||
1858 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1859 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1859 | "", | 1860 | "", |
1860 | "\1\166", | ||
1861 | "", | ||
1862 | "\1\167", | 1861 | "\1\167", |
1863 | "\1\170", | 1862 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1863 | "", | ||
1864 | "\1\171", | 1864 | "\1\171", |
1865 | "", | ||
1865 | "\1\172", | 1866 | "\1\172", |
1867 | "\1\173", | ||
1868 | "\1\174", | ||
1869 | "\1\175", | ||
1866 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", | 1870 | "\12\40\7\uffff\32\40\4\uffff\1\40\1\uffff\32\40", |
1867 | "" | 1871 | "" |
1868 | }; | 1872 | }; |
@@ -1904,26 +1908,6 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1904 | int _s = s; | 1908 | int _s = s; |
1905 | switch ( s ) { | 1909 | switch ( s ) { |
1906 | case 0 : | 1910 | case 0 : |
1907 | int LA20_25 = input.LA(1); | ||
1908 | |||
1909 | s = -1; | ||
1910 | if ( ((LA20_25>='\u0000' && LA20_25<='\uFFFF')) ) {s = 61;} | ||
1911 | |||
1912 | else s = 28; | ||
1913 | |||
1914 | if ( s>=0 ) return s; | ||
1915 | break; | ||
1916 | case 1 : | ||
1917 | int LA20_24 = input.LA(1); | ||
1918 | |||
1919 | s = -1; | ||
1920 | if ( ((LA20_24>='\u0000' && LA20_24<='\uFFFF')) ) {s = 61;} | ||
1921 | |||
1922 | else s = 28; | ||
1923 | |||
1924 | if ( s>=0 ) return s; | ||
1925 | break; | ||
1926 | case 2 : | ||
1927 | int LA20_0 = input.LA(1); | 1911 | int LA20_0 = input.LA(1); |
1928 | 1912 | ||
1929 | s = -1; | 1913 | s = -1; |
@@ -1985,6 +1969,26 @@ public class InternalCftLanguageLexer extends Lexer { | |||
1985 | 1969 | ||
1986 | if ( s>=0 ) return s; | 1970 | if ( s>=0 ) return s; |
1987 | break; | 1971 | break; |
1972 | case 1 : | ||
1973 | int LA20_25 = input.LA(1); | ||
1974 | |||
1975 | s = -1; | ||
1976 | if ( ((LA20_25>='\u0000' && LA20_25<='\uFFFF')) ) {s = 61;} | ||
1977 | |||
1978 | else s = 28; | ||
1979 | |||
1980 | if ( s>=0 ) return s; | ||
1981 | break; | ||
1982 | case 2 : | ||
1983 | int LA20_24 = input.LA(1); | ||
1984 | |||
1985 | s = -1; | ||
1986 | if ( ((LA20_24>='\u0000' && LA20_24<='\uFFFF')) ) {s = 61;} | ||
1987 | |||
1988 | else s = 28; | ||
1989 | |||
1990 | if ( s>=0 ) return s; | ||
1991 | break; | ||
1988 | } | 1992 | } |
1989 | NoViableAltException nvae = | 1993 | NoViableAltException nvae = |
1990 | new NoViableAltException(getDescription(), 20, _s, input); | 1994 | new NoViableAltException(getDescription(), 20, _s, input); |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageParser.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageParser.java index be5e3140..df83084b 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageParser.java +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/src-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/contentassist/antlr/internal/InternalCftLanguageParser.java | |||
@@ -22,7 +22,7 @@ import java.util.ArrayList; | |||
22 | @SuppressWarnings("all") | 22 | @SuppressWarnings("all") |
23 | public class InternalCftLanguageParser extends AbstractInternalContentAssistParser { | 23 | public class InternalCftLanguageParser extends AbstractInternalContentAssistParser { |
24 | public static final String[] tokenNames = new String[] { | 24 | public static final String[] tokenNames = new String[] { |
25 | "<invalid>", "<EOR>", "<DOWN>", "<UP>", "RULE_ID", "RULE_OF_INT", "RULE_INT", "RULE_T_DOUBLE", "RULE_STRING", "RULE_ML_COMMENT", "RULE_SL_COMMENT", "RULE_WS", "RULE_ANY_OTHER", "':='", "'package'", "';'", "'import'", "'cft'", "'{'", "'}'", "'in'", "'out'", "'p'", "'='", "'lambda'", "'and'", "'or'", "'of'", "'transformation'", "'mapping'", "'('", "')'", "','", "'lookup'", "'as'", "'.'", "'=>'", "'*'", "'[]'", "'toplevel'", "'+='" | 25 | "<invalid>", "<EOR>", "<DOWN>", "<UP>", "RULE_ID", "RULE_OF_INT", "RULE_INT", "RULE_T_DOUBLE", "RULE_STRING", "RULE_ML_COMMENT", "RULE_SL_COMMENT", "RULE_WS", "RULE_ANY_OTHER", "':='", "'package'", "';'", "'import'", "'cft'", "'{'", "'}'", "'in'", "'out'", "'prob'", "'='", "'lambda'", "'and'", "'or'", "'of'", "'transformation'", "'mapping'", "'('", "')'", "','", "'lookup'", "'as'", "'.'", "'=>'", "'*'", "'[]'", "'toplevel'", "'+='" |
26 | }; | 26 | }; |
27 | public static final int RULE_STRING=8; | 27 | public static final int RULE_STRING=8; |
28 | public static final int RULE_SL_COMMENT=10; | 28 | public static final int RULE_SL_COMMENT=10; |
@@ -4992,21 +4992,21 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
4992 | 4992 | ||
4993 | 4993 | ||
4994 | // $ANTLR start "rule__ConstantDistribution__Group__0__Impl" | 4994 | // $ANTLR start "rule__ConstantDistribution__Group__0__Impl" |
4995 | // InternalCftLanguage.g:1561:1: rule__ConstantDistribution__Group__0__Impl : ( 'p' ) ; | 4995 | // InternalCftLanguage.g:1561:1: rule__ConstantDistribution__Group__0__Impl : ( 'prob' ) ; |
4996 | public final void rule__ConstantDistribution__Group__0__Impl() throws RecognitionException { | 4996 | public final void rule__ConstantDistribution__Group__0__Impl() throws RecognitionException { |
4997 | 4997 | ||
4998 | int stackSize = keepStackSize(); | 4998 | int stackSize = keepStackSize(); |
4999 | 4999 | ||
5000 | try { | 5000 | try { |
5001 | // InternalCftLanguage.g:1565:1: ( ( 'p' ) ) | 5001 | // InternalCftLanguage.g:1565:1: ( ( 'prob' ) ) |
5002 | // InternalCftLanguage.g:1566:1: ( 'p' ) | 5002 | // InternalCftLanguage.g:1566:1: ( 'prob' ) |
5003 | { | 5003 | { |
5004 | // InternalCftLanguage.g:1566:1: ( 'p' ) | 5004 | // InternalCftLanguage.g:1566:1: ( 'prob' ) |
5005 | // InternalCftLanguage.g:1567:2: 'p' | 5005 | // InternalCftLanguage.g:1567:2: 'prob' |
5006 | { | 5006 | { |
5007 | before(grammarAccess.getConstantDistributionAccess().getPKeyword_0()); | 5007 | before(grammarAccess.getConstantDistributionAccess().getProbKeyword_0()); |
5008 | match(input,22,FOLLOW_2); | 5008 | match(input,22,FOLLOW_2); |
5009 | after(grammarAccess.getConstantDistributionAccess().getPKeyword_0()); | 5009 | after(grammarAccess.getConstantDistributionAccess().getProbKeyword_0()); |
5010 | 5010 | ||
5011 | } | 5011 | } |
5012 | 5012 | ||
@@ -9567,7 +9567,7 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
9567 | // InternalCftLanguage.g:3065:1: ( rule__ComponentInstance__Group__1__Impl rule__ComponentInstance__Group__2 ) | 9567 | // InternalCftLanguage.g:3065:1: ( rule__ComponentInstance__Group__1__Impl rule__ComponentInstance__Group__2 ) |
9568 | // InternalCftLanguage.g:3066:2: rule__ComponentInstance__Group__1__Impl rule__ComponentInstance__Group__2 | 9568 | // InternalCftLanguage.g:3066:2: rule__ComponentInstance__Group__1__Impl rule__ComponentInstance__Group__2 |
9569 | { | 9569 | { |
9570 | pushFollow(FOLLOW_34); | 9570 | pushFollow(FOLLOW_3); |
9571 | rule__ComponentInstance__Group__1__Impl(); | 9571 | rule__ComponentInstance__Group__1__Impl(); |
9572 | 9572 | ||
9573 | state._fsp--; | 9573 | state._fsp--; |
@@ -9693,7 +9693,7 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
9693 | int alt28=2; | 9693 | int alt28=2; |
9694 | int LA28_0 = input.LA(1); | 9694 | int LA28_0 = input.LA(1); |
9695 | 9695 | ||
9696 | if ( (LA28_0==RULE_ID) ) { | 9696 | if ( ((LA28_0>=RULE_ID && LA28_0<=RULE_OF_INT)) ) { |
9697 | alt28=1; | 9697 | alt28=1; |
9698 | } | 9698 | } |
9699 | switch (alt28) { | 9699 | switch (alt28) { |
@@ -9880,7 +9880,7 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
9880 | case 1 : | 9880 | case 1 : |
9881 | // InternalCftLanguage.g:3160:3: rule__QualifiedName__Group_1__0 | 9881 | // InternalCftLanguage.g:3160:3: rule__QualifiedName__Group_1__0 |
9882 | { | 9882 | { |
9883 | pushFollow(FOLLOW_35); | 9883 | pushFollow(FOLLOW_34); |
9884 | rule__QualifiedName__Group_1__0(); | 9884 | rule__QualifiedName__Group_1__0(); |
9885 | 9885 | ||
9886 | state._fsp--; | 9886 | state._fsp--; |
@@ -10245,7 +10245,7 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
10245 | // InternalCftLanguage.g:3281:1: ( rule__QualifiedNameWithWildcard__Group_1__0__Impl rule__QualifiedNameWithWildcard__Group_1__1 ) | 10245 | // InternalCftLanguage.g:3281:1: ( rule__QualifiedNameWithWildcard__Group_1__0__Impl rule__QualifiedNameWithWildcard__Group_1__1 ) |
10246 | // InternalCftLanguage.g:3282:2: rule__QualifiedNameWithWildcard__Group_1__0__Impl rule__QualifiedNameWithWildcard__Group_1__1 | 10246 | // InternalCftLanguage.g:3282:2: rule__QualifiedNameWithWildcard__Group_1__0__Impl rule__QualifiedNameWithWildcard__Group_1__1 |
10247 | { | 10247 | { |
10248 | pushFollow(FOLLOW_36); | 10248 | pushFollow(FOLLOW_35); |
10249 | rule__QualifiedNameWithWildcard__Group_1__0__Impl(); | 10249 | rule__QualifiedNameWithWildcard__Group_1__0__Impl(); |
10250 | 10250 | ||
10251 | state._fsp--; | 10251 | state._fsp--; |
@@ -10588,7 +10588,7 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
10588 | // InternalCftLanguage.g:3394:1: ( rule__ComponentDefinition__UnorderedGroup_3__Impl ( rule__ComponentDefinition__UnorderedGroup_3__1 )? ) | 10588 | // InternalCftLanguage.g:3394:1: ( rule__ComponentDefinition__UnorderedGroup_3__Impl ( rule__ComponentDefinition__UnorderedGroup_3__1 )? ) |
10589 | // InternalCftLanguage.g:3395:2: rule__ComponentDefinition__UnorderedGroup_3__Impl ( rule__ComponentDefinition__UnorderedGroup_3__1 )? | 10589 | // InternalCftLanguage.g:3395:2: rule__ComponentDefinition__UnorderedGroup_3__Impl ( rule__ComponentDefinition__UnorderedGroup_3__1 )? |
10590 | { | 10590 | { |
10591 | pushFollow(FOLLOW_37); | 10591 | pushFollow(FOLLOW_36); |
10592 | rule__ComponentDefinition__UnorderedGroup_3__Impl(); | 10592 | rule__ComponentDefinition__UnorderedGroup_3__Impl(); |
10593 | 10593 | ||
10594 | state._fsp--; | 10594 | state._fsp--; |
@@ -12562,21 +12562,25 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
12562 | 12562 | ||
12563 | 12563 | ||
12564 | // $ANTLR start "rule__ComponentInstance__NameAssignment_2" | 12564 | // $ANTLR start "rule__ComponentInstance__NameAssignment_2" |
12565 | // InternalCftLanguage.g:4130:1: rule__ComponentInstance__NameAssignment_2 : ( RULE_ID ) ; | 12565 | // InternalCftLanguage.g:4130:1: rule__ComponentInstance__NameAssignment_2 : ( ruleValidId ) ; |
12566 | public final void rule__ComponentInstance__NameAssignment_2() throws RecognitionException { | 12566 | public final void rule__ComponentInstance__NameAssignment_2() throws RecognitionException { |
12567 | 12567 | ||
12568 | int stackSize = keepStackSize(); | 12568 | int stackSize = keepStackSize(); |
12569 | 12569 | ||
12570 | try { | 12570 | try { |
12571 | // InternalCftLanguage.g:4134:1: ( ( RULE_ID ) ) | 12571 | // InternalCftLanguage.g:4134:1: ( ( ruleValidId ) ) |
12572 | // InternalCftLanguage.g:4135:2: ( RULE_ID ) | 12572 | // InternalCftLanguage.g:4135:2: ( ruleValidId ) |
12573 | { | 12573 | { |
12574 | // InternalCftLanguage.g:4135:2: ( RULE_ID ) | 12574 | // InternalCftLanguage.g:4135:2: ( ruleValidId ) |
12575 | // InternalCftLanguage.g:4136:3: RULE_ID | 12575 | // InternalCftLanguage.g:4136:3: ruleValidId |
12576 | { | 12576 | { |
12577 | before(grammarAccess.getComponentInstanceAccess().getNameIDTerminalRuleCall_2_0()); | 12577 | before(grammarAccess.getComponentInstanceAccess().getNameValidIdParserRuleCall_2_0()); |
12578 | match(input,RULE_ID,FOLLOW_2); | 12578 | pushFollow(FOLLOW_2); |
12579 | after(grammarAccess.getComponentInstanceAccess().getNameIDTerminalRuleCall_2_0()); | 12579 | ruleValidId(); |
12580 | |||
12581 | state._fsp--; | ||
12582 | |||
12583 | after(grammarAccess.getComponentInstanceAccess().getNameValidIdParserRuleCall_2_0()); | ||
12580 | 12584 | ||
12581 | } | 12585 | } |
12582 | 12586 | ||
@@ -12635,9 +12639,8 @@ public class InternalCftLanguageParser extends AbstractInternalContentAssistPars | |||
12635 | public static final BitSet FOLLOW_31 = new BitSet(new long[]{0x0000010000002000L}); | 12639 | public static final BitSet FOLLOW_31 = new BitSet(new long[]{0x0000010000002000L}); |
12636 | public static final BitSet FOLLOW_32 = new BitSet(new long[]{0x0000000200000030L}); | 12640 | public static final BitSet FOLLOW_32 = new BitSet(new long[]{0x0000000200000030L}); |
12637 | public static final BitSet FOLLOW_33 = new BitSet(new long[]{0x0000000800000000L}); | 12641 | public static final BitSet FOLLOW_33 = new BitSet(new long[]{0x0000000800000000L}); |
12638 | public static final BitSet FOLLOW_34 = new BitSet(new long[]{0x0000000000000010L}); | 12642 | public static final BitSet FOLLOW_34 = new BitSet(new long[]{0x0000000800000002L}); |
12639 | public static final BitSet FOLLOW_35 = new BitSet(new long[]{0x0000000800000002L}); | 12643 | public static final BitSet FOLLOW_35 = new BitSet(new long[]{0x0000002000000000L}); |
12640 | public static final BitSet FOLLOW_36 = new BitSet(new long[]{0x0000002000000000L}); | 12644 | public static final BitSet FOLLOW_36 = new BitSet(new long[]{0x0000000000300002L}); |
12641 | public static final BitSet FOLLOW_37 = new BitSet(new long[]{0x0000000000300002L}); | ||
12642 | 12645 | ||
12643 | } | 12646 | } |
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeModule.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeModule.xtendbin index b146c48b..65b90333 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeModule.xtendbin +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeModule.xtendbin | |||
Binary files differ | |||
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeSetup.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeSetup.xtendbin index 8fc21e17..7fbd4ad1 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeSetup.xtendbin +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.components.ide/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/components/ide/.CftLanguageIdeSetup.xtendbin | |||
Binary files differ | |||