mal-toolbox 0.2.0__py3-none-any.whl → 0.3.1__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (30) hide show
  1. {mal_toolbox-0.2.0.dist-info → mal_toolbox-0.3.1.dist-info}/METADATA +43 -25
  2. mal_toolbox-0.3.1.dist-info/RECORD +29 -0
  3. mal_toolbox-0.3.1.dist-info/entry_points.txt +2 -0
  4. maltoolbox/__init__.py +38 -57
  5. maltoolbox/__main__.py +43 -14
  6. maltoolbox/attackgraph/__init__.py +1 -1
  7. maltoolbox/attackgraph/analyzers/apriori.py +6 -5
  8. maltoolbox/attackgraph/attacker.py +26 -13
  9. maltoolbox/attackgraph/attackgraph.py +185 -153
  10. maltoolbox/attackgraph/node.py +56 -54
  11. maltoolbox/attackgraph/query.py +4 -2
  12. maltoolbox/file_utils.py +0 -8
  13. maltoolbox/ingestors/neo4j.py +146 -157
  14. maltoolbox/language/__init__.py +7 -3
  15. maltoolbox/language/compiler/__init__.py +485 -17
  16. maltoolbox/language/compiler/mal_lexer.py +172 -152
  17. maltoolbox/language/compiler/mal_parser.py +1370 -663
  18. maltoolbox/language/languagegraph.py +103 -99
  19. maltoolbox/model.py +306 -488
  20. maltoolbox/translators/securicad.py +164 -163
  21. maltoolbox/translators/updater.py +231 -108
  22. mal_toolbox-0.2.0.dist-info/RECORD +0 -32
  23. maltoolbox/default.conf +0 -17
  24. maltoolbox/language/classes_factory.py +0 -259
  25. maltoolbox/language/compiler/mal_visitor.py +0 -416
  26. maltoolbox/wrappers.py +0 -62
  27. {mal_toolbox-0.2.0.dist-info → mal_toolbox-0.3.1.dist-info}/AUTHORS +0 -0
  28. {mal_toolbox-0.2.0.dist-info → mal_toolbox-0.3.1.dist-info}/LICENSE +0 -0
  29. {mal_toolbox-0.2.0.dist-info → mal_toolbox-0.3.1.dist-info}/WHEEL +0 -0
  30. {mal_toolbox-0.2.0.dist-info → mal_toolbox-0.3.1.dist-info}/top_level.txt +0 -0
maltoolbox/language/compiler/mal_lexer.py CHANGED
@@ -1,6 +1,7 @@
1
1
  # mypy: ignore-errors
2
- # Generated from mal.g4 by ANTLR 4.13.1
2
+ # Generated from mal.g4 by ANTLR 4.13.2
3
3
  from antlr4 import *
4
+ from io import StringIO
4
5
  import sys
5
6
  if sys.version_info[1] > 5:
6
7
  from typing import TextIO
@@ -10,108 +11,123 @@ else:
10
11
 
11
12
  def serializedATN():
12
13
  return [
13
- 4,0,48,296,6,-1,2,0,7,0,2,1,7,1,2,2,7,2,2,3,7,3,2,4,7,4,2,5,7,5,
14
+ 4,0,51,332,6,-1,2,0,7,0,2,1,7,1,2,2,7,2,2,3,7,3,2,4,7,4,2,5,7,5,
14
15
  2,6,7,6,2,7,7,7,2,8,7,8,2,9,7,9,2,10,7,10,2,11,7,11,2,12,7,12,2,
15
16
  13,7,13,2,14,7,14,2,15,7,15,2,16,7,16,2,17,7,17,2,18,7,18,2,19,7,
16
17
  19,2,20,7,20,2,21,7,21,2,22,7,22,2,23,7,23,2,24,7,24,2,25,7,25,2,
17
18
  26,7,26,2,27,7,27,2,28,7,28,2,29,7,29,2,30,7,30,2,31,7,31,2,32,7,
18
19
  32,2,33,7,33,2,34,7,34,2,35,7,35,2,36,7,36,2,37,7,37,2,38,7,38,2,
19
20
  39,7,39,2,40,7,40,2,41,7,41,2,42,7,42,2,43,7,43,2,44,7,44,2,45,7,
20
- 45,2,46,7,46,2,47,7,47,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,1,1,
21
- 1,1,1,1,1,1,1,1,1,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,
22
- 2,1,2,1,3,1,3,1,3,1,3,1,3,1,3,1,3,1,3,1,4,1,4,1,4,1,4,1,4,1,4,1,
23
- 4,1,4,1,5,1,5,1,5,1,5,1,5,1,5,1,5,1,5,1,5,1,6,1,6,1,6,1,6,1,6,1,
24
- 7,1,7,1,7,1,7,1,8,1,8,5,8,162,8,8,10,8,12,8,165,9,8,1,8,1,8,1,9,
25
- 4,9,170,8,9,11,9,12,9,171,1,10,5,10,175,8,10,10,10,12,10,178,9,10,
26
- 1,10,1,10,4,10,182,8,10,11,10,12,10,183,1,11,1,11,1,12,1,12,1,13,
27
- 1,13,1,14,1,14,1,15,4,15,195,8,15,11,15,12,15,196,1,16,1,16,1,17,
28
- 1,17,1,18,1,18,1,19,1,19,1,20,1,20,1,21,1,21,1,22,1,22,1,22,1,22,
29
- 1,23,1,23,1,23,1,23,1,24,1,24,1,25,1,25,1,26,1,26,1,27,1,27,1,28,
30
- 1,28,1,29,1,29,1,30,1,30,1,30,1,31,1,31,1,31,1,32,1,32,1,32,1,33,
31
- 1,33,1,34,1,34,1,35,1,35,1,36,1,36,1,36,1,37,1,37,1,38,1,38,1,38,
32
- 1,39,1,39,1,39,1,40,1,40,1,40,1,41,1,41,1,42,1,42,1,43,1,43,1,44,
33
- 1,44,1,45,1,45,1,45,1,45,5,45,272,8,45,10,45,12,45,275,9,45,1,45,
34
- 1,45,1,46,1,46,1,46,1,46,5,46,283,8,46,10,46,12,46,286,9,46,1,46,
35
- 1,46,1,46,1,46,1,46,1,47,1,47,1,47,1,47,2,163,284,0,48,1,1,3,2,5,
36
- 3,7,4,9,5,11,6,13,7,15,8,17,9,19,10,21,11,23,12,25,13,27,14,29,15,
37
- 31,16,33,17,35,18,37,19,39,20,41,21,43,22,45,23,47,24,49,25,51,26,
38
- 53,27,55,28,57,29,59,30,61,31,63,32,65,33,67,34,69,35,71,36,73,37,
39
- 75,38,77,39,79,40,81,41,83,42,85,43,87,44,89,45,91,46,93,47,95,48,
40
- 1,0,4,1,0,48,57,4,0,48,57,65,90,95,95,97,122,2,0,10,10,13,13,3,0,
41
- 9,10,13,13,32,32,302,0,1,1,0,0,0,0,3,1,0,0,0,0,5,1,0,0,0,0,7,1,0,
42
- 0,0,0,9,1,0,0,0,0,11,1,0,0,0,0,13,1,0,0,0,0,15,1,0,0,0,0,17,1,0,
43
- 0,0,0,19,1,0,0,0,0,21,1,0,0,0,0,23,1,0,0,0,0,25,1,0,0,0,0,27,1,0,
44
- 0,0,0,29,1,0,0,0,0,31,1,0,0,0,0,33,1,0,0,0,0,35,1,0,0,0,0,37,1,0,
45
- 0,0,0,39,1,0,0,0,0,41,1,0,0,0,0,43,1,0,0,0,0,45,1,0,0,0,0,47,1,0,
46
- 0,0,0,49,1,0,0,0,0,51,1,0,0,0,0,53,1,0,0,0,0,55,1,0,0,0,0,57,1,0,
47
- 0,0,0,59,1,0,0,0,0,61,1,0,0,0,0,63,1,0,0,0,0,65,1,0,0,0,0,67,1,0,
48
- 0,0,0,69,1,0,0,0,0,71,1,0,0,0,0,73,1,0,0,0,0,75,1,0,0,0,0,77,1,0,
49
- 0,0,0,79,1,0,0,0,0,81,1,0,0,0,0,83,1,0,0,0,0,85,1,0,0,0,0,87,1,0,
50
- 0,0,0,89,1,0,0,0,0,91,1,0,0,0,0,93,1,0,0,0,0,95,1,0,0,0,1,97,1,0,
51
- 0,0,3,106,1,0,0,0,5,112,1,0,0,0,7,125,1,0,0,0,9,133,1,0,0,0,11,141,
52
- 1,0,0,0,13,150,1,0,0,0,15,155,1,0,0,0,17,159,1,0,0,0,19,169,1,0,
53
- 0,0,21,176,1,0,0,0,23,185,1,0,0,0,25,187,1,0,0,0,27,189,1,0,0,0,
54
- 29,191,1,0,0,0,31,194,1,0,0,0,33,198,1,0,0,0,35,200,1,0,0,0,37,202,
55
- 1,0,0,0,39,204,1,0,0,0,41,206,1,0,0,0,43,208,1,0,0,0,45,210,1,0,
56
- 0,0,47,214,1,0,0,0,49,218,1,0,0,0,51,220,1,0,0,0,53,222,1,0,0,0,
57
- 55,224,1,0,0,0,57,226,1,0,0,0,59,228,1,0,0,0,61,230,1,0,0,0,63,233,
58
- 1,0,0,0,65,236,1,0,0,0,67,239,1,0,0,0,69,241,1,0,0,0,71,243,1,0,
59
- 0,0,73,245,1,0,0,0,75,248,1,0,0,0,77,250,1,0,0,0,79,253,1,0,0,0,
60
- 81,256,1,0,0,0,83,259,1,0,0,0,85,261,1,0,0,0,87,263,1,0,0,0,89,265,
61
- 1,0,0,0,91,267,1,0,0,0,93,278,1,0,0,0,95,292,1,0,0,0,97,98,5,97,
62
- 0,0,98,99,5,98,0,0,99,100,5,115,0,0,100,101,5,116,0,0,101,102,5,
63
- 114,0,0,102,103,5,97,0,0,103,104,5,99,0,0,104,105,5,116,0,0,105,
64
- 2,1,0,0,0,106,107,5,97,0,0,107,108,5,115,0,0,108,109,5,115,0,0,109,
65
- 110,5,101,0,0,110,111,5,116,0,0,111,4,1,0,0,0,112,113,5,97,0,0,113,
66
- 114,5,115,0,0,114,115,5,115,0,0,115,116,5,111,0,0,116,117,5,99,0,
67
- 0,117,118,5,105,0,0,118,119,5,97,0,0,119,120,5,116,0,0,120,121,5,
68
- 105,0,0,121,122,5,111,0,0,122,123,5,110,0,0,123,124,5,115,0,0,124,
69
- 6,1,0,0,0,125,126,5,101,0,0,126,127,5,120,0,0,127,128,5,116,0,0,
70
- 128,129,5,101,0,0,129,130,5,110,0,0,130,131,5,100,0,0,131,132,5,
71
- 115,0,0,132,8,1,0,0,0,133,134,5,105,0,0,134,135,5,110,0,0,135,136,
72
- 5,99,0,0,136,137,5,108,0,0,137,138,5,117,0,0,138,139,5,100,0,0,139,
73
- 140,5,101,0,0,140,10,1,0,0,0,141,142,5,99,0,0,142,143,5,97,0,0,143,
74
- 144,5,116,0,0,144,145,5,101,0,0,145,146,5,103,0,0,146,147,5,111,
75
- 0,0,147,148,5,114,0,0,148,149,5,121,0,0,149,12,1,0,0,0,150,151,5,
76
- 105,0,0,151,152,5,110,0,0,152,153,5,102,0,0,153,154,5,111,0,0,154,
77
- 14,1,0,0,0,155,156,5,108,0,0,156,157,5,101,0,0,157,158,5,116,0,0,
78
- 158,16,1,0,0,0,159,163,5,34,0,0,160,162,9,0,0,0,161,160,1,0,0,0,
79
- 162,165,1,0,0,0,163,164,1,0,0,0,163,161,1,0,0,0,164,166,1,0,0,0,
80
- 165,163,1,0,0,0,166,167,5,34,0,0,167,18,1,0,0,0,168,170,7,0,0,0,
81
- 169,168,1,0,0,0,170,171,1,0,0,0,171,169,1,0,0,0,171,172,1,0,0,0,
82
- 172,20,1,0,0,0,173,175,7,0,0,0,174,173,1,0,0,0,175,178,1,0,0,0,176,
83
- 174,1,0,0,0,176,177,1,0,0,0,177,179,1,0,0,0,178,176,1,0,0,0,179,
84
- 181,3,67,33,0,180,182,7,0,0,0,181,180,1,0,0,0,182,183,1,0,0,0,183,
85
- 181,1,0,0,0,183,184,1,0,0,0,184,22,1,0,0,0,185,186,5,69,0,0,186,
86
- 24,1,0,0,0,187,188,5,67,0,0,188,26,1,0,0,0,189,190,5,73,0,0,190,
87
- 28,1,0,0,0,191,192,5,65,0,0,192,30,1,0,0,0,193,195,7,1,0,0,194,193,
88
- 1,0,0,0,195,196,1,0,0,0,196,194,1,0,0,0,196,197,1,0,0,0,197,32,1,
89
- 0,0,0,198,199,5,40,0,0,199,34,1,0,0,0,200,201,5,41,0,0,201,36,1,
90
- 0,0,0,202,203,5,123,0,0,203,38,1,0,0,0,204,205,5,125,0,0,205,40,
91
- 1,0,0,0,206,207,5,35,0,0,207,42,1,0,0,0,208,209,5,58,0,0,209,44,
92
- 1,0,0,0,210,211,5,60,0,0,211,212,5,45,0,0,212,213,5,45,0,0,213,46,
93
- 1,0,0,0,214,215,5,45,0,0,215,216,5,45,0,0,216,217,5,62,0,0,217,48,
94
- 1,0,0,0,218,219,5,91,0,0,219,50,1,0,0,0,220,221,5,93,0,0,221,52,
95
- 1,0,0,0,222,223,5,42,0,0,223,54,1,0,0,0,224,225,5,49,0,0,225,56,
96
- 1,0,0,0,226,227,5,61,0,0,227,58,1,0,0,0,228,229,5,45,0,0,229,60,
97
- 1,0,0,0,230,231,5,47,0,0,231,232,5,92,0,0,232,62,1,0,0,0,233,234,
98
- 5,92,0,0,234,235,5,47,0,0,235,64,1,0,0,0,236,237,5,46,0,0,237,238,
99
- 5,46,0,0,238,66,1,0,0,0,239,240,5,46,0,0,240,68,1,0,0,0,241,242,
100
- 5,38,0,0,242,70,1,0,0,0,243,244,5,124,0,0,244,72,1,0,0,0,245,246,
101
- 5,33,0,0,246,247,5,69,0,0,247,74,1,0,0,0,248,249,5,64,0,0,249,76,
102
- 1,0,0,0,250,251,5,60,0,0,251,252,5,45,0,0,252,78,1,0,0,0,253,254,
103
- 5,43,0,0,254,255,5,62,0,0,255,80,1,0,0,0,256,257,5,45,0,0,257,258,
104
- 5,62,0,0,258,82,1,0,0,0,259,260,5,44,0,0,260,84,1,0,0,0,261,262,
105
- 5,43,0,0,262,86,1,0,0,0,263,264,5,47,0,0,264,88,1,0,0,0,265,266,
106
- 5,94,0,0,266,90,1,0,0,0,267,268,5,47,0,0,268,269,5,47,0,0,269,273,
107
- 1,0,0,0,270,272,8,2,0,0,271,270,1,0,0,0,272,275,1,0,0,0,273,271,
108
- 1,0,0,0,273,274,1,0,0,0,274,276,1,0,0,0,275,273,1,0,0,0,276,277,
109
- 6,45,0,0,277,92,1,0,0,0,278,279,5,47,0,0,279,280,5,42,0,0,280,284,
110
- 1,0,0,0,281,283,9,0,0,0,282,281,1,0,0,0,283,286,1,0,0,0,284,285,
111
- 1,0,0,0,284,282,1,0,0,0,285,287,1,0,0,0,286,284,1,0,0,0,287,288,
112
- 5,42,0,0,288,289,5,47,0,0,289,290,1,0,0,0,290,291,6,46,0,0,291,94,
113
- 1,0,0,0,292,293,7,3,0,0,293,294,1,0,0,0,294,295,6,47,0,0,295,96,
114
- 1,0,0,0,8,0,163,171,176,183,196,273,284,1,6,0,0
21
+ 45,2,46,7,46,2,47,7,47,2,48,7,48,2,49,7,49,2,50,7,50,1,0,1,0,1,0,
22
+ 1,0,1,0,1,0,1,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,2,1,2,1,2,1,2,
23
+ 1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,3,1,3,1,3,1,3,1,3,1,3,1,3,
24
+ 1,3,1,4,1,4,1,4,1,4,1,4,1,4,1,4,1,4,1,5,1,5,1,5,1,5,1,5,1,5,1,5,
25
+ 1,5,1,5,1,6,1,6,1,6,1,6,1,6,1,7,1,7,1,7,1,7,1,8,1,8,1,8,1,8,5,8,
26
+ 170,8,8,10,8,12,8,173,9,8,1,8,1,8,1,9,1,9,1,9,1,9,1,9,3,9,182,8,
27
+ 9,1,9,3,9,185,8,9,1,9,1,9,5,9,189,8,9,10,9,12,9,192,9,9,1,9,1,9,
28
+ 1,9,1,9,1,10,4,10,199,8,10,11,10,12,10,200,1,11,5,11,204,8,11,10,
29
+ 11,12,11,207,9,11,1,11,1,11,4,11,211,8,11,11,11,12,11,212,1,12,1,
30
+ 12,1,13,1,13,1,14,1,14,1,15,1,15,1,16,4,16,224,8,16,11,16,12,16,
31
+ 225,1,17,1,17,1,18,1,18,1,19,1,19,1,20,1,20,1,21,1,21,1,22,1,22,
32
+ 1,23,1,23,1,23,1,23,1,24,1,24,1,24,1,24,1,25,1,25,1,26,1,26,1,27,
33
+ 1,27,1,28,1,28,1,29,1,29,1,30,1,30,1,31,1,31,1,31,1,32,1,32,1,32,
34
+ 1,33,1,33,1,33,1,34,1,34,1,35,1,35,1,36,1,36,1,37,1,37,1,38,1,38,
35
+ 1,38,1,39,1,39,1,40,1,40,1,40,1,41,1,41,1,41,1,42,1,42,1,42,1,43,
36
+ 1,43,1,44,1,44,1,45,1,45,1,46,1,46,1,47,1,47,1,47,1,47,1,48,1,48,
37
+ 1,48,1,48,1,48,5,48,308,8,48,10,48,12,48,311,9,48,1,48,1,48,1,49,
38
+ 1,49,1,49,1,49,5,49,319,8,49,10,49,12,49,322,9,49,1,49,1,49,1,49,
39
+ 1,49,1,49,1,50,1,50,1,50,1,50,1,320,0,51,1,1,3,2,5,3,7,4,9,5,11,
40
+ 6,13,7,15,8,17,9,19,10,21,11,23,12,25,13,27,14,29,15,31,16,33,17,
41
+ 35,18,37,19,39,20,41,21,43,22,45,23,47,24,49,25,51,26,53,27,55,28,
42
+ 57,29,59,30,61,31,63,32,65,33,67,34,69,35,71,36,73,37,75,38,77,39,
43
+ 79,40,81,41,83,42,85,43,87,44,89,45,91,46,93,47,95,48,97,49,99,50,
44
+ 101,51,1,0,7,4,0,10,10,13,13,34,34,92,92,1,0,34,34,2,0,10,10,13,
45
+ 13,1,0,48,57,4,0,48,57,65,90,95,95,97,122,1,0,33,33,3,0,9,10,13,
46
+ 13,32,32,343,0,1,1,0,0,0,0,3,1,0,0,0,0,5,1,0,0,0,0,7,1,0,0,0,0,9,
47
+ 1,0,0,0,0,11,1,0,0,0,0,13,1,0,0,0,0,15,1,0,0,0,0,17,1,0,0,0,0,19,
48
+ 1,0,0,0,0,21,1,0,0,0,0,23,1,0,0,0,0,25,1,0,0,0,0,27,1,0,0,0,0,29,
49
+ 1,0,0,0,0,31,1,0,0,0,0,33,1,0,0,0,0,35,1,0,0,0,0,37,1,0,0,0,0,39,
50
+ 1,0,0,0,0,41,1,0,0,0,0,43,1,0,0,0,0,45,1,0,0,0,0,47,1,0,0,0,0,49,
51
+ 1,0,0,0,0,51,1,0,0,0,0,53,1,0,0,0,0,55,1,0,0,0,0,57,1,0,0,0,0,59,
52
+ 1,0,0,0,0,61,1,0,0,0,0,63,1,0,0,0,0,65,1,0,0,0,0,67,1,0,0,0,0,69,
53
+ 1,0,0,0,0,71,1,0,0,0,0,73,1,0,0,0,0,75,1,0,0,0,0,77,1,0,0,0,0,79,
54
+ 1,0,0,0,0,81,1,0,0,0,0,83,1,0,0,0,0,85,1,0,0,0,0,87,1,0,0,0,0,89,
55
+ 1,0,0,0,0,91,1,0,0,0,0,93,1,0,0,0,0,95,1,0,0,0,0,97,1,0,0,0,0,99,
56
+ 1,0,0,0,0,101,1,0,0,0,1,103,1,0,0,0,3,112,1,0,0,0,5,118,1,0,0,0,
57
+ 7,131,1,0,0,0,9,139,1,0,0,0,11,147,1,0,0,0,13,156,1,0,0,0,15,161,
58
+ 1,0,0,0,17,165,1,0,0,0,19,176,1,0,0,0,21,198,1,0,0,0,23,205,1,0,
59
+ 0,0,25,214,1,0,0,0,27,216,1,0,0,0,29,218,1,0,0,0,31,220,1,0,0,0,
60
+ 33,223,1,0,0,0,35,227,1,0,0,0,37,229,1,0,0,0,39,231,1,0,0,0,41,233,
61
+ 1,0,0,0,43,235,1,0,0,0,45,237,1,0,0,0,47,239,1,0,0,0,49,243,1,0,
62
+ 0,0,51,247,1,0,0,0,53,249,1,0,0,0,55,251,1,0,0,0,57,253,1,0,0,0,
63
+ 59,255,1,0,0,0,61,257,1,0,0,0,63,259,1,0,0,0,65,262,1,0,0,0,67,265,
64
+ 1,0,0,0,69,268,1,0,0,0,71,270,1,0,0,0,73,272,1,0,0,0,75,274,1,0,
65
+ 0,0,77,276,1,0,0,0,79,279,1,0,0,0,81,281,1,0,0,0,83,284,1,0,0,0,
66
+ 85,287,1,0,0,0,87,290,1,0,0,0,89,292,1,0,0,0,91,294,1,0,0,0,93,296,
67
+ 1,0,0,0,95,298,1,0,0,0,97,302,1,0,0,0,99,314,1,0,0,0,101,328,1,0,
68
+ 0,0,103,104,5,97,0,0,104,105,5,98,0,0,105,106,5,115,0,0,106,107,
69
+ 5,116,0,0,107,108,5,114,0,0,108,109,5,97,0,0,109,110,5,99,0,0,110,
70
+ 111,5,116,0,0,111,2,1,0,0,0,112,113,5,97,0,0,113,114,5,115,0,0,114,
71
+ 115,5,115,0,0,115,116,5,101,0,0,116,117,5,116,0,0,117,4,1,0,0,0,
72
+ 118,119,5,97,0,0,119,120,5,115,0,0,120,121,5,115,0,0,121,122,5,111,
73
+ 0,0,122,123,5,99,0,0,123,124,5,105,0,0,124,125,5,97,0,0,125,126,
74
+ 5,116,0,0,126,127,5,105,0,0,127,128,5,111,0,0,128,129,5,110,0,0,
75
+ 129,130,5,115,0,0,130,6,1,0,0,0,131,132,5,101,0,0,132,133,5,120,
76
+ 0,0,133,134,5,116,0,0,134,135,5,101,0,0,135,136,5,110,0,0,136,137,
77
+ 5,100,0,0,137,138,5,115,0,0,138,8,1,0,0,0,139,140,5,105,0,0,140,
78
+ 141,5,110,0,0,141,142,5,99,0,0,142,143,5,108,0,0,143,144,5,117,0,
79
+ 0,144,145,5,100,0,0,145,146,5,101,0,0,146,10,1,0,0,0,147,148,5,99,
80
+ 0,0,148,149,5,97,0,0,149,150,5,116,0,0,150,151,5,101,0,0,151,152,
81
+ 5,103,0,0,152,153,5,111,0,0,153,154,5,114,0,0,154,155,5,121,0,0,
82
+ 155,12,1,0,0,0,156,157,5,105,0,0,157,158,5,110,0,0,158,159,5,102,
83
+ 0,0,159,160,5,111,0,0,160,14,1,0,0,0,161,162,5,108,0,0,162,163,5,
84
+ 101,0,0,163,164,5,116,0,0,164,16,1,0,0,0,165,171,5,34,0,0,166,170,
85
+ 8,0,0,0,167,168,5,92,0,0,168,170,9,0,0,0,169,166,1,0,0,0,169,167,
86
+ 1,0,0,0,170,173,1,0,0,0,171,169,1,0,0,0,171,172,1,0,0,0,172,174,
87
+ 1,0,0,0,173,171,1,0,0,0,174,175,5,34,0,0,175,18,1,0,0,0,176,177,
88
+ 5,34,0,0,177,178,5,34,0,0,178,179,5,34,0,0,179,190,1,0,0,0,180,182,
89
+ 5,34,0,0,181,180,1,0,0,0,181,182,1,0,0,0,182,184,1,0,0,0,183,185,
90
+ 5,34,0,0,184,183,1,0,0,0,184,185,1,0,0,0,185,186,1,0,0,0,186,189,
91
+ 8,1,0,0,187,189,7,2,0,0,188,181,1,0,0,0,188,187,1,0,0,0,189,192,
92
+ 1,0,0,0,190,188,1,0,0,0,190,191,1,0,0,0,191,193,1,0,0,0,192,190,
93
+ 1,0,0,0,193,194,5,34,0,0,194,195,5,34,0,0,195,196,5,34,0,0,196,20,
94
+ 1,0,0,0,197,199,7,3,0,0,198,197,1,0,0,0,199,200,1,0,0,0,200,198,
95
+ 1,0,0,0,200,201,1,0,0,0,201,22,1,0,0,0,202,204,7,3,0,0,203,202,1,
96
+ 0,0,0,204,207,1,0,0,0,205,203,1,0,0,0,205,206,1,0,0,0,206,208,1,
97
+ 0,0,0,207,205,1,0,0,0,208,210,3,69,34,0,209,211,7,3,0,0,210,209,
98
+ 1,0,0,0,211,212,1,0,0,0,212,210,1,0,0,0,212,213,1,0,0,0,213,24,1,
99
+ 0,0,0,214,215,5,69,0,0,215,26,1,0,0,0,216,217,5,67,0,0,217,28,1,
100
+ 0,0,0,218,219,5,73,0,0,219,30,1,0,0,0,220,221,5,65,0,0,221,32,1,
101
+ 0,0,0,222,224,7,4,0,0,223,222,1,0,0,0,224,225,1,0,0,0,225,223,1,
102
+ 0,0,0,225,226,1,0,0,0,226,34,1,0,0,0,227,228,5,40,0,0,228,36,1,0,
103
+ 0,0,229,230,5,41,0,0,230,38,1,0,0,0,231,232,5,123,0,0,232,40,1,0,
104
+ 0,0,233,234,5,125,0,0,234,42,1,0,0,0,235,236,5,35,0,0,236,44,1,0,
105
+ 0,0,237,238,5,58,0,0,238,46,1,0,0,0,239,240,5,60,0,0,240,241,5,45,
106
+ 0,0,241,242,5,45,0,0,242,48,1,0,0,0,243,244,5,45,0,0,244,245,5,45,
107
+ 0,0,245,246,5,62,0,0,246,50,1,0,0,0,247,248,5,91,0,0,248,52,1,0,
108
+ 0,0,249,250,5,93,0,0,250,54,1,0,0,0,251,252,5,42,0,0,252,56,1,0,
109
+ 0,0,253,254,5,49,0,0,254,58,1,0,0,0,255,256,5,61,0,0,256,60,1,0,
110
+ 0,0,257,258,5,45,0,0,258,62,1,0,0,0,259,260,5,47,0,0,260,261,5,92,
111
+ 0,0,261,64,1,0,0,0,262,263,5,92,0,0,263,264,5,47,0,0,264,66,1,0,
112
+ 0,0,265,266,5,46,0,0,266,267,5,46,0,0,267,68,1,0,0,0,268,269,5,46,
113
+ 0,0,269,70,1,0,0,0,270,271,5,38,0,0,271,72,1,0,0,0,272,273,5,124,
114
+ 0,0,273,74,1,0,0,0,274,275,5,33,0,0,275,76,1,0,0,0,276,277,5,33,
115
+ 0,0,277,278,5,69,0,0,278,78,1,0,0,0,279,280,5,64,0,0,280,80,1,0,
116
+ 0,0,281,282,5,60,0,0,282,283,5,45,0,0,283,82,1,0,0,0,284,285,5,43,
117
+ 0,0,285,286,5,62,0,0,286,84,1,0,0,0,287,288,5,45,0,0,288,289,5,62,
118
+ 0,0,289,86,1,0,0,0,290,291,5,44,0,0,291,88,1,0,0,0,292,293,5,43,
119
+ 0,0,293,90,1,0,0,0,294,295,5,47,0,0,295,92,1,0,0,0,296,297,5,94,
120
+ 0,0,297,94,1,0,0,0,298,299,5,47,0,0,299,300,5,47,0,0,300,301,5,33,
121
+ 0,0,301,96,1,0,0,0,302,303,5,47,0,0,303,304,5,47,0,0,304,305,1,0,
122
+ 0,0,305,309,8,5,0,0,306,308,8,2,0,0,307,306,1,0,0,0,308,311,1,0,
123
+ 0,0,309,307,1,0,0,0,309,310,1,0,0,0,310,312,1,0,0,0,311,309,1,0,
124
+ 0,0,312,313,6,48,0,0,313,98,1,0,0,0,314,315,5,47,0,0,315,316,5,42,
125
+ 0,0,316,320,1,0,0,0,317,319,9,0,0,0,318,317,1,0,0,0,319,322,1,0,
126
+ 0,0,320,321,1,0,0,0,320,318,1,0,0,0,321,323,1,0,0,0,322,320,1,0,
127
+ 0,0,323,324,5,42,0,0,324,325,5,47,0,0,325,326,1,0,0,0,326,327,6,
128
+ 49,0,0,327,100,1,0,0,0,328,329,7,6,0,0,329,330,1,0,0,0,330,331,6,
129
+ 50,0,0,331,102,1,0,0,0,13,0,169,171,181,184,188,190,200,205,212,
130
+ 225,309,320,1,6,0,0
115
131
  ]
116
132
 
117
133
  class malLexer(Lexer):
@@ -129,45 +145,48 @@ class malLexer(Lexer):
129
145
  INFO = 7
130
146
  LET = 8
131
147
  STRING = 9
132
- INT = 10
133
- FLOAT = 11
134
- EXISTS = 12
135
- C = 13
136
- I = 14
137
- A = 15
138
- ID = 16
139
- LPAREN = 17
140
- RPAREN = 18
141
- LCURLY = 19
142
- RCURLY = 20
143
- HASH = 21
144
- COLON = 22
145
- LARROW = 23
146
- RARROW = 24
147
- LSQUARE = 25
148
- RSQUARE = 26
149
- STAR = 27
150
- ONE = 28
151
- ASSIGN = 29
152
- MINUS = 30
153
- INTERSECT = 31
154
- UNION = 32
155
- RANGE = 33
156
- DOT = 34
157
- AND = 35
158
- OR = 36
159
- NOTEXISTS = 37
160
- AT = 38
161
- REQUIRES = 39
162
- INHERITS = 40
163
- LEADSTO = 41
164
- COMMA = 42
165
- PLUS = 43
166
- DIVIDE = 44
167
- POWER = 45
168
- INLINE_COMMENT = 46
169
- MULTILINE_COMMENT = 47
170
- WS = 48
148
+ MULTILINE_STRING = 10
149
+ INT = 11
150
+ FLOAT = 12
151
+ EXISTS = 13
152
+ C = 14
153
+ I = 15
154
+ A = 16
155
+ ID = 17
156
+ LPAREN = 18
157
+ RPAREN = 19
158
+ LCURLY = 20
159
+ RCURLY = 21
160
+ HASH = 22
161
+ COLON = 23
162
+ LARROW = 24
163
+ RARROW = 25
164
+ LSQUARE = 26
165
+ RSQUARE = 27
166
+ STAR = 28
167
+ ONE = 29
168
+ ASSIGN = 30
169
+ MINUS = 31
170
+ INTERSECT = 32
171
+ UNION = 33
172
+ RANGE = 34
173
+ DOT = 35
174
+ AND = 36
175
+ OR = 37
176
+ EXCLAMATION = 38
177
+ NOTEXISTS = 39
178
+ AT = 40
179
+ REQUIRES = 41
180
+ INHERITS = 42
181
+ LEADSTO = 43
182
+ COMMA = 44
183
+ PLUS = 45
184
+ DIVIDE = 46
185
+ POWER = 47
186
+ EXCLM_COMM = 48
187
+ INLINE_COMMENT = 49
188
+ MULTILINE_COMMENT = 50
189
+ WS = 51
171
190
 
172
191
  channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
173
192
 
@@ -178,33 +197,34 @@ class malLexer(Lexer):
178
197
  "'category'", "'info'", "'let'", "'E'", "'C'", "'I'", "'A'",
179
198
  "'('", "')'", "'{'", "'}'", "'#'", "':'", "'<--'", "'-->'",
180
199
  "'['", "']'", "'*'", "'1'", "'='", "'-'", "'/\\'", "'\\/'",
181
- "'..'", "'.'", "'&'", "'|'", "'!E'", "'@'", "'<-'", "'+>'",
182
- "'->'", "','", "'+'", "'/'", "'^'" ]
200
+ "'..'", "'.'", "'&'", "'|'", "'!'", "'!E'", "'@'", "'<-'", "'+>'",
201
+ "'->'", "','", "'+'", "'/'", "'^'", "'//!'" ]
183
202
 
184
203
  symbolicNames = [ "<INVALID>",
185
204
  "ABSTRACT", "ASSET", "ASSOCIATIONS", "EXTENDS", "INCLUDE", "CATEGORY",
186
- "INFO", "LET", "STRING", "INT", "FLOAT", "EXISTS", "C", "I",
187
- "A", "ID", "LPAREN", "RPAREN", "LCURLY", "RCURLY", "HASH", "COLON",
188
- "LARROW", "RARROW", "LSQUARE", "RSQUARE", "STAR", "ONE", "ASSIGN",
189
- "MINUS", "INTERSECT", "UNION", "RANGE", "DOT", "AND", "OR",
190
- "NOTEXISTS", "AT", "REQUIRES", "INHERITS", "LEADSTO", "COMMA",
191
- "PLUS", "DIVIDE", "POWER", "INLINE_COMMENT", "MULTILINE_COMMENT",
192
- "WS" ]
205
+ "INFO", "LET", "STRING", "MULTILINE_STRING", "INT", "FLOAT",
206
+ "EXISTS", "C", "I", "A", "ID", "LPAREN", "RPAREN", "LCURLY",
207
+ "RCURLY", "HASH", "COLON", "LARROW", "RARROW", "LSQUARE", "RSQUARE",
208
+ "STAR", "ONE", "ASSIGN", "MINUS", "INTERSECT", "UNION", "RANGE",
209
+ "DOT", "AND", "OR", "EXCLAMATION", "NOTEXISTS", "AT", "REQUIRES",
210
+ "INHERITS", "LEADSTO", "COMMA", "PLUS", "DIVIDE", "POWER", "EXCLM_COMM",
211
+ "INLINE_COMMENT", "MULTILINE_COMMENT", "WS" ]
193
212
 
194
213
  ruleNames = [ "ABSTRACT", "ASSET", "ASSOCIATIONS", "EXTENDS", "INCLUDE",
195
- "CATEGORY", "INFO", "LET", "STRING", "INT", "FLOAT", "EXISTS",
196
- "C", "I", "A", "ID", "LPAREN", "RPAREN", "LCURLY", "RCURLY",
197
- "HASH", "COLON", "LARROW", "RARROW", "LSQUARE", "RSQUARE",
198
- "STAR", "ONE", "ASSIGN", "MINUS", "INTERSECT", "UNION",
199
- "RANGE", "DOT", "AND", "OR", "NOTEXISTS", "AT", "REQUIRES",
200
- "INHERITS", "LEADSTO", "COMMA", "PLUS", "DIVIDE", "POWER",
214
+ "CATEGORY", "INFO", "LET", "STRING", "MULTILINE_STRING",
215
+ "INT", "FLOAT", "EXISTS", "C", "I", "A", "ID", "LPAREN",
216
+ "RPAREN", "LCURLY", "RCURLY", "HASH", "COLON", "LARROW",
217
+ "RARROW", "LSQUARE", "RSQUARE", "STAR", "ONE", "ASSIGN",
218
+ "MINUS", "INTERSECT", "UNION", "RANGE", "DOT", "AND",
219
+ "OR", "EXCLAMATION", "NOTEXISTS", "AT", "REQUIRES", "INHERITS",
220
+ "LEADSTO", "COMMA", "PLUS", "DIVIDE", "POWER", "EXCLM_COMM",
201
221
  "INLINE_COMMENT", "MULTILINE_COMMENT", "WS" ]
202
222
 
203
223
  grammarFileName = "mal.g4"
204
224
 
205
225
  def __init__(self, input=None, output:TextIO = sys.stdout):
206
226
  super().__init__(input, output)
207
- self.checkVersion("4.13.1")
227
+ self.checkVersion("4.13.2")
208
228
  self._interp = LexerATNSimulator(self, self.atn, self.decisionsToDFA, PredictionContextCache())
209
229
  self._actions = None
210
230
  self._predicates = None