@guardian-network/policy-dsl 0.3.2

package/src/antlr/generated/grammar/LacLangLexer.interp

@@ -0,0 +1,108 @@
+token literal names:
+null
+'import'
+';'
+'pragma'
+'injected-only'
+'var'
+'inject'
+'('
+')'
+'constant'
+'='
+'artifact'
+'instance'
+'of'
+'takes'
+'with'
+'evaluate'
+'bool'
+'number'
+'string'
+'bytes'
+'address'
+','
+null
+null
+null
+null
+null
+null
+null
+null
+
+token symbolic names:
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+ADDRESS_LITERAL
+BOOL_LITERAL
+NUMBER_LITERAL
+STRING_LITERAL
+BYTES_LITERAL
+IDENTIFIER
+WHITESPACE
+COMMENT
+
+rule names:
+T__0
+T__1
+T__2
+T__3
+T__4
+T__5
+T__6
+T__7
+T__8
+T__9
+T__10
+T__11
+T__12
+T__13
+T__14
+T__15
+T__16
+T__17
+T__18
+T__19
+T__20
+T__21
+ADDRESS_LITERAL
+HEX_DIGIT
+BOOL_LITERAL
+NUMBER_LITERAL
+STRING_LITERAL
+BYTES_LITERAL
+IDENTIFIER
+WHITESPACE
+COMMENT
+
+channel names:
+DEFAULT_TOKEN_CHANNEL
+HIDDEN
+
+mode names:
+DEFAULT_MODE
+
+atn:
+[3, 51485, 51898, 1421, 44986, 20307, 1543, 60043, 49729, 2, 32, 302, 8, 1, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 4, 19, 9, 19, 4, 20, 9, 20, 4, 21, 9, 21, 4, 22, 9, 22, 4, 23, 9, 23, 4, 24, 9, 24, 4, 25, 9, 25, 4, 26, 9, 26, 4, 27, 9, 27, 4, 28, 9, 28, 4, 29, 9, 29, 4, 30, 9, 30, 4, 31, 9, 31, 4, 32, 9, 32, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 18, 3, 18, 3, 18, 3, 18, 3, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 20, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 22, 3, 23, 3, 23, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 25, 3, 25, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 3, 26, 5, 26, 253, 10, 26, 3, 27, 6, 27, 256, 10, 27, 13, 27, 14, 27, 257, 3, 28, 3, 28, 7, 28, 262, 10, 28, 12, 28, 14, 28, 265, 11, 28, 3, 28, 3, 28, 3, 29, 3, 29, 7, 29, 271, 10, 29, 12, 29, 14, 29, 274, 11, 29, 3, 29, 3, 29, 3, 30, 3, 30, 7, 30, 280, 10, 30, 12, 30, 14, 30, 283, 11, 30, 3, 31, 6, 31, 286, 10, 31, 13, 31, 14, 31, 287, 3, 31, 3, 31, 3, 32, 3, 32, 3, 32, 3, 32, 7, 32, 296, 10, 32, 12, 32, 14, 32, 299, 11, 32, 3, 32, 3, 32, 4, 263, 272, 2, 2, 33, 3, 2, 3, 5, 2, 4, 7, 2, 5, 9, 2, 6, 11, 2, 7, 13, 2, 8, 15, 2, 9, 17, 2, 10, 19, 2, 11, 21, 2, 12, 23, 2, 13, 25, 2, 14, 27, 2, 15, 29, 2, 16, 31, 2, 17, 33, 2, 18, 35, 2, 19, 37, 2, 20, 39, 2, 21, 41, 2, 22, 43, 2, 23, 45, 2, 24, 47, 2, 25, 49, 2, 2, 51, 2, 26, 53, 2, 27, 55, 2, 28, 57, 2, 29, 59, 2, 30, 61, 2, 31, 63, 2, 32, 3, 2, 8, 5, 2, 50, 59, 67, 72, 99, 104, 3, 2, 50, 59, 5, 2, 67, 92, 97, 97, 99, 124, 6, 2, 50, 59, 67, 92, 97, 97, 99, 124, 5, 2, 11, 12, 15, 15, 34, 34, 4, 2, 12, 12, 15, 15, 2, 307, 2, 3, 3, 2, 2, 2, 2, 5, 3, 2, 2, 2, 2, 7, 3, 2, 2, 2, 2, 9, 3, 2, 2, 2, 2, 11, 3, 2, 2, 2, 2, 13, 3, 2, 2, 2, 2, 15, 3, 2, 2, 2, 2, 17, 3, 2, 2, 2, 2, 19, 3, 2, 2, 2, 2, 21, 3, 2, 2, 2, 2, 23, 3, 2, 2, 2, 2, 25, 3, 2, 2, 2, 2, 27, 3, 2, 2, 2, 2, 29, 3, 2, 2, 2, 2, 31, 3, 2, 2, 2, 2, 33, 3, 2, 2, 2, 2, 35, 3, 2, 2, 2, 2, 37, 3, 2, 2, 2, 2, 39, 3, 2, 2, 2, 2, 41, 3, 2, 2, 2, 2, 43, 3, 2, 2, 2, 2, 45, 3, 2, 2, 2, 2, 47, 3, 2, 2, 2, 2, 51, 3, 2, 2, 2, 2, 53, 3, 2, 2, 2, 2, 55, 3, 2, 2, 2, 2, 57, 3, 2, 2, 2, 2, 59, 3, 2, 2, 2, 2, 61, 3, 2, 2, 2, 2, 63, 3, 2, 2, 2, 3, 65, 3, 2, 2, 2, 5, 72, 3, 2, 2, 2, 7, 74, 3, 2, 2, 2, 9, 81, 3, 2, 2, 2, 11, 95, 3, 2, 2, 2, 13, 99, 3, 2, 2, 2, 15, 106, 3, 2, 2, 2, 17, 108, 3, 2, 2, 2, 19, 110, 3, 2, 2, 2, 21, 119, 3, 2, 2, 2, 23, 121, 3, 2, 2, 2, 25, 130, 3, 2, 2, 2, 27, 139, 3, 2, 2, 2, 29, 142, 3, 2, 2, 2, 31, 148, 3, 2, 2, 2, 33, 153, 3, 2, 2, 2, 35, 162, 3, 2, 2, 2, 37, 167, 3, 2, 2, 2, 39, 174, 3, 2, 2, 2, 41, 181, 3, 2, 2, 2, 43, 187, 3, 2, 2, 2, 45, 195, 3, 2, 2, 2, 47, 197, 3, 2, 2, 2, 49, 241, 3, 2, 2, 2, 51, 252, 3, 2, 2, 2, 53, 255, 3, 2, 2, 2, 55, 259, 3, 2, 2, 2, 57, 268, 3, 2, 2, 2, 59, 277, 3, 2, 2, 2, 61, 285, 3, 2, 2, 2, 63, 291, 3, 2, 2, 2, 65, 66, 7, 107, 2, 2, 66, 67, 7, 111, 2, 2, 67, 68, 7, 114, 2, 2, 68, 69, 7, 113, 2, 2, 69, 70, 7, 116, 2, 2, 70, 71, 7, 118, 2, 2, 71, 4, 3, 2, 2, 2, 72, 73, 7, 61, 2, 2, 73, 6, 3, 2, 2, 2, 74, 75, 7, 114, 2, 2, 75, 76, 7, 116, 2, 2, 76, 77, 7, 99, 2, 2, 77, 78, 7, 105, 2, 2, 78, 79, 7, 111, 2, 2, 79, 80, 7, 99, 2, 2, 80, 8, 3, 2, 2, 2, 81, 82, 7, 107, 2, 2, 82, 83, 7, 112, 2, 2, 83, 84, 7, 108, 2, 2, 84, 85, 7, 103, 2, 2, 85, 86, 7, 101, 2, 2, 86, 87, 7, 118, 2, 2, 87, 88, 7, 103, 2, 2, 88, 89, 7, 102, 2, 2, 89, 90, 7, 47, 2, 2, 90, 91, 7, 113, 2, 2, 91, 92, 7, 112, 2, 2, 92, 93, 7, 110, 2, 2, 93, 94, 7, 123, 2, 2, 94, 10, 3, 2, 2, 2, 95, 96, 7, 120, 2, 2, 96, 97, 7, 99, 2, 2, 97, 98, 7, 116, 2, 2, 98, 12, 3, 2, 2, 2, 99, 100, 7, 107, 2, 2, 100, 101, 7, 112, 2, 2, 101, 102, 7, 108, 2, 2, 102, 103, 7, 103, 2, 2, 103, 104, 7, 101, 2, 2, 104, 105, 7, 118, 2, 2, 105, 14, 3, 2, 2, 2, 106, 107, 7, 42, 2, 2, 107, 16, 3, 2, 2, 2, 108, 109, 7, 43, 2, 2, 109, 18, 3, 2, 2, 2, 110, 111, 7, 101, 2, 2, 111, 112, 7, 113, 2, 2, 112, 113, 7, 112, 2, 2, 113, 114, 7, 117, 2, 2, 114, 115, 7, 118, 2, 2, 115, 116, 7, 99, 2, 2, 116, 117, 7, 112, 2, 2, 117, 118, 7, 118, 2, 2, 118, 20, 3, 2, 2, 2, 119, 120, 7, 63, 2, 2, 120, 22, 3, 2, 2, 2, 121, 122, 7, 99, 2, 2, 122, 123, 7, 116, 2, 2, 123, 124, 7, 118, 2, 2, 124, 125, 7, 107, 2, 2, 125, 126, 7, 104, 2, 2, 126, 127, 7, 99, 2, 2, 127, 128, 7, 101, 2, 2, 128, 129, 7, 118, 2, 2, 129, 24, 3, 2, 2, 2, 130, 131, 7, 107, 2, 2, 131, 132, 7, 112, 2, 2, 132, 133, 7, 117, 2, 2, 133, 134, 7, 118, 2, 2, 134, 135, 7, 99, 2, 2, 135, 136, 7, 112, 2, 2, 136, 137, 7, 101, 2, 2, 137, 138, 7, 103, 2, 2, 138, 26, 3, 2, 2, 2, 139, 140, 7, 113, 2, 2, 140, 141, 7, 104, 2, 2, 141, 28, 3, 2, 2, 2, 142, 143, 7, 118, 2, 2, 143, 144, 7, 99, 2, 2, 144, 145, 7, 109, 2, 2, 145, 146, 7, 103, 2, 2, 146, 147, 7, 117, 2, 2, 147, 30, 3, 2, 2, 2, 148, 149, 7, 121, 2, 2, 149, 150, 7, 107, 2, 2, 150, 151, 7, 118, 2, 2, 151, 152, 7, 106, 2, 2, 152, 32, 3, 2, 2, 2, 153, 154, 7, 103, 2, 2, 154, 155, 7, 120, 2, 2, 155, 156, 7, 99, 2, 2, 156, 157, 7, 110, 2, 2, 157, 158, 7, 119, 2, 2, 158, 159, 7, 99, 2, 2, 159, 160, 7, 118, 2, 2, 160, 161, 7, 103, 2, 2, 161, 34, 3, 2, 2, 2, 162, 163, 7, 100, 2, 2, 163, 164, 7, 113, 2, 2, 164, 165, 7, 113, 2, 2, 165, 166, 7, 110, 2, 2, 166, 36, 3, 2, 2, 2, 167, 168, 7, 112, 2, 2, 168, 169, 7, 119, 2, 2, 169, 170, 7, 111, 2, 2, 170, 171, 7, 100, 2, 2, 171, 172, 7, 103, 2, 2, 172, 173, 7, 116, 2, 2, 173, 38, 3, 2, 2, 2, 174, 175, 7, 117, 2, 2, 175, 176, 7, 118, 2, 2, 176, 177, 7, 116, 2, 2, 177, 178, 7, 107, 2, 2, 178, 179, 7, 112, 2, 2, 179, 180, 7, 105, 2, 2, 180, 40, 3, 2, 2, 2, 181, 182, 7, 100, 2, 2, 182, 183, 7, 123, 2, 2, 183, 184, 7, 118, 2, 2, 184, 185, 7, 103, 2, 2, 185, 186, 7, 117, 2, 2, 186, 42, 3, 2, 2, 2, 187, 188, 7, 99, 2, 2, 188, 189, 7, 102, 2, 2, 189, 190, 7, 102, 2, 2, 190, 191, 7, 116, 2, 2, 191, 192, 7, 103, 2, 2, 192, 193, 7, 117, 2, 2, 193, 194, 7, 117, 2, 2, 194, 44, 3, 2, 2, 2, 195, 196, 7, 46, 2, 2, 196, 46, 3, 2, 2, 2, 197, 198, 7, 50, 2, 2, 198, 199, 7, 122, 2, 2, 199, 200, 3, 2, 2, 2, 200, 201, 5, 49, 25, 2, 201, 202, 5, 49, 25, 2, 202, 203, 5, 49, 25, 2, 203, 204, 5, 49, 25, 2, 204, 205, 5, 49, 25, 2, 205, 206, 5, 49, 25, 2, 206, 207, 5, 49, 25, 2, 207, 208, 5, 49, 25, 2, 208, 209, 5, 49, 25, 2, 209, 210, 5, 49, 25, 2, 210, 211, 5, 49, 25, 2, 211, 212, 5, 49, 25, 2, 212, 213, 5, 49, 25, 2, 213, 214, 5, 49, 25, 2, 214, 215, 5, 49, 25, 2, 215, 216, 5, 49, 25, 2, 216, 217, 5, 49, 25, 2, 217, 218, 5, 49, 25, 2, 218, 219, 5, 49, 25, 2, 219, 220, 5, 49, 25, 2, 220, 221, 5, 49, 25, 2, 221, 222, 5, 49, 25, 2, 222, 223, 5, 49, 25, 2, 223, 224, 5, 49, 25, 2, 224, 225, 5, 49, 25, 2, 225, 226, 5, 49, 25, 2, 226, 227, 5, 49, 25, 2, 227, 228, 5, 49, 25, 2, 228, 229, 5, 49, 25, 2, 229, 230, 5, 49, 25, 2, 230, 231, 5, 49, 25, 2, 231, 232, 5, 49, 25, 2, 232, 233, 5, 49, 25, 2, 233, 234, 5, 49, 25, 2, 234, 235, 5, 49, 25, 2, 235, 236, 5, 49, 25, 2, 236, 237, 5, 49, 25, 2, 237, 238, 5, 49, 25, 2, 238, 239, 5, 49, 25, 2, 239, 240, 5, 49, 25, 2, 240, 48, 3, 2, 2, 2, 241, 242, 9, 2, 2, 2, 242, 50, 3, 2, 2, 2, 243, 244, 7, 118, 2, 2, 244, 245, 7, 116, 2, 2, 245, 246, 7, 119, 2, 2, 246, 253, 7, 103, 2, 2, 247, 248, 7, 104, 2, 2, 248, 249, 7, 99, 2, 2, 249, 250, 7, 110, 2, 2, 250, 251, 7, 117, 2, 2, 251, 253, 7, 103, 2, 2, 252, 243, 3, 2, 2, 2, 252, 247, 3, 2, 2, 2, 253, 52, 3, 2, 2, 2, 254, 256, 9, 3, 2, 2, 255, 254, 3, 2, 2, 2, 256, 257, 3, 2, 2, 2, 257, 255, 3, 2, 2, 2, 257, 258, 3, 2, 2, 2, 258, 54, 3, 2, 2, 2, 259, 263, 7, 36, 2, 2, 260, 262, 11, 2, 2, 2, 261, 260, 3, 2, 2, 2, 262, 265, 3, 2, 2, 2, 263, 264, 3, 2, 2, 2, 263, 261, 3, 2, 2, 2, 264, 266, 3, 2, 2, 2, 265, 263, 3, 2, 2, 2, 266, 267, 7, 36, 2, 2, 267, 56, 3, 2, 2, 2, 268, 272, 7, 41, 2, 2, 269, 271, 11, 2, 2, 2, 270, 269, 3, 2, 2, 2, 271, 274, 3, 2, 2, 2, 272, 273, 3, 2, 2, 2, 272, 270, 3, 2, 2, 2, 273, 275, 3, 2, 2, 2, 274, 272, 3, 2, 2, 2, 275, 276, 7, 41, 2, 2, 276, 58, 3, 2, 2, 2, 277, 281, 9, 4, 2, 2, 278, 280, 9, 5, 2, 2, 279, 278, 3, 2, 2, 2, 280, 283, 3, 2, 2, 2, 281, 279, 3, 2, 2, 2, 281, 282, 3, 2, 2, 2, 282, 60, 3, 2, 2, 2, 283, 281, 3, 2, 2, 2, 284, 286, 9, 6, 2, 2, 285, 284, 3, 2, 2, 2, 286, 287, 3, 2, 2, 2, 287, 285, 3, 2, 2, 2, 287, 288, 3, 2, 2, 2, 288, 289, 3, 2, 2, 2, 289, 290, 8, 31, 2, 2, 290, 62, 3, 2, 2, 2, 291, 292, 7, 49, 2, 2, 292, 293, 7, 49, 2, 2, 293, 297, 3, 2, 2, 2, 294, 296, 10, 7, 2, 2, 295, 294, 3, 2, 2, 2, 296, 299, 3, 2, 2, 2, 297, 295, 3, 2, 2, 2, 297, 298, 3, 2, 2, 2, 298, 300, 3, 2, 2, 2, 299, 297, 3, 2, 2, 2, 300, 301, 8, 32, 2, 2, 301, 64, 3, 2, 2, 2, 10, 2, 252, 257, 263, 272, 281, 287, 297, 3, 8, 2, 2]

package/src/antlr/generated/grammar/LacLangLexer.tokens

@@ -0,0 +1,52 @@
+T__0=1
+T__1=2
+T__2=3
+T__3=4
+T__4=5
+T__5=6
+T__6=7
+T__7=8
+T__8=9
+T__9=10
+T__10=11
+T__11=12
+T__12=13
+T__13=14
+T__14=15
+T__15=16
+T__16=17
+T__17=18
+T__18=19
+T__19=20
+T__20=21
+T__21=22
+ADDRESS_LITERAL=23
+BOOL_LITERAL=24
+NUMBER_LITERAL=25
+STRING_LITERAL=26
+BYTES_LITERAL=27
+IDENTIFIER=28
+WHITESPACE=29
+COMMENT=30
+'import'=1
+';'=2
+'pragma'=3
+'injected-only'=4
+'var'=5
+'inject'=6
+'('=7
+')'=8
+'constant'=9
+'='=10
+'artifact'=11
+'instance'=12
+'of'=13
+'takes'=14
+'with'=15
+'evaluate'=16
+'bool'=17
+'number'=18
+'string'=19
+'bytes'=20
+'address'=21
+','=22

package/src/antlr/generated/grammar/LacLangLexer.ts

@@ -0,0 +1,331 @@
+// Generated from ./grammar/LacLang.g4 by ANTLR 4.9.0-SNAPSHOT
+
+import { ATN } from 'antlr4ts/atn/ATN';
+import { ATNDeserializer } from 'antlr4ts/atn/ATNDeserializer';
+import { LexerATNSimulator } from 'antlr4ts/atn/LexerATNSimulator';
+import { CharStream } from 'antlr4ts/CharStream';
+import { Lexer } from 'antlr4ts/Lexer';
+import { Vocabulary } from 'antlr4ts/Vocabulary';
+import { VocabularyImpl } from 'antlr4ts/VocabularyImpl';
+
+import * as Utils from 'antlr4ts/misc/Utils';
+
+export class LacLangLexer extends Lexer {
+  public static readonly T__0 = 1;
+  public static readonly T__1 = 2;
+  public static readonly T__2 = 3;
+  public static readonly T__3 = 4;
+  public static readonly T__4 = 5;
+  public static readonly T__5 = 6;
+  public static readonly T__6 = 7;
+  public static readonly T__7 = 8;
+  public static readonly T__8 = 9;
+  public static readonly T__9 = 10;
+  public static readonly T__10 = 11;
+  public static readonly T__11 = 12;
+  public static readonly T__12 = 13;
+  public static readonly T__13 = 14;
+  public static readonly T__14 = 15;
+  public static readonly T__15 = 16;
+  public static readonly T__16 = 17;
+  public static readonly T__17 = 18;
+  public static readonly T__18 = 19;
+  public static readonly T__19 = 20;
+  public static readonly T__20 = 21;
+  public static readonly WITH_KEYWORD = 22;
+  public static readonly ADDRESS_LITERAL = 23;
+  public static readonly BOOL_LITERAL = 24;
+  public static readonly NUMBER_LITERAL = 25;
+  public static readonly STRING_LITERAL = 26;
+  public static readonly BYTES_LITERAL = 27;
+  public static readonly IDENTIFIER = 28;
+  public static readonly WHITESPACE = 29;
+  public static readonly COMMENT = 30;
+
+  // tslint:disable:no-trailing-whitespace
+  public static readonly channelNames: string[] = [
+    'DEFAULT_TOKEN_CHANNEL',
+    'HIDDEN',
+  ];
+
+  // tslint:disable:no-trailing-whitespace
+  public static readonly modeNames: string[] = ['DEFAULT_MODE'];
+
+  public static readonly ruleNames: string[] = [
+    'T__0',
+    'T__1',
+    'T__2',
+    'T__3',
+    'T__4',
+    'T__5',
+    'T__6',
+    'T__7',
+    'T__8',
+    'T__9',
+    'T__10',
+    'T__11',
+    'T__12',
+    'T__13',
+    'T__14',
+    'T__15',
+    'T__16',
+    'T__17',
+    'T__18',
+    'T__19',
+    'T__20',
+    'WITH_KEYWORD',
+    'ADDRESS_LITERAL',
+    'HEX_DIGIT',
+    'BOOL_LITERAL',
+    'NUMBER_LITERAL',
+    'STRING_LITERAL',
+    'BYTES_LITERAL',
+    'IDENTIFIER',
+    'WHITESPACE',
+    'COMMENT',
+  ];
+
+  private static readonly _LITERAL_NAMES: Array<string | undefined> = [
+    undefined,
+    "'import'",
+    "';'",
+    "'pragma'",
+    "'injected-only'",
+    "'var'",
+    "'inject'",
+    "'('",
+    "')'",
+    "'constant'",
+    "'='",
+    "'artifact'",
+    "'instance'",
+    "'of'",
+    "'takes'",
+    "'evaluate'",
+    "'bool'",
+    "'number'",
+    "'string'",
+    "'bytes'",
+    "'address'",
+    "','",
+    "'with'",
+  ];
+  private static readonly _SYMBOLIC_NAMES: Array<string | undefined> = [
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    undefined,
+    'WITH_KEYWORD',
+    'ADDRESS_LITERAL',
+    'BOOL_LITERAL',
+    'NUMBER_LITERAL',
+    'STRING_LITERAL',
+    'BYTES_LITERAL',
+    'IDENTIFIER',
+    'WHITESPACE',
+    'COMMENT',
+  ];
+  public static readonly VOCABULARY: Vocabulary = new VocabularyImpl(
+    LacLangLexer._LITERAL_NAMES,
+    LacLangLexer._SYMBOLIC_NAMES,
+    [],
+  );
+
+  // @Override
+  // @NotNull
+  public get vocabulary(): Vocabulary {
+    return LacLangLexer.VOCABULARY;
+  }
+  // tslint:enable:no-trailing-whitespace
+
+  constructor(input: CharStream) {
+    super(input);
+    this._interp = new LexerATNSimulator(LacLangLexer._ATN, this);
+  }
+
+  // @Override
+  public get grammarFileName(): string {
+    return 'LacLang.g4';
+  }
+
+  // @Override
+  public get ruleNames(): string[] {
+    return LacLangLexer.ruleNames;
+  }
+
+  // @Override
+  public get serializedATN(): string {
+    return LacLangLexer._serializedATN;
+  }
+
+  // @Override
+  public get channelNames(): string[] {
+    return LacLangLexer.channelNames;
+  }
+
+  // @Override
+  public get modeNames(): string[] {
+    return LacLangLexer.modeNames;
+  }
+
+  public static readonly _serializedATN: string =
+    '\x03\uC91D\uCABA\u058D\uAFBA\u4F53\u0607\uEA8B\uC241\x02 \u012E\b\x01' +
+    '\x04\x02\t\x02\x04\x03\t\x03\x04\x04\t\x04\x04\x05\t\x05\x04\x06\t\x06' +
+    '\x04\x07\t\x07\x04\b\t\b\x04\t\t\t\x04\n\t\n\x04\v\t\v\x04\f\t\f\x04\r' +
+    '\t\r\x04\x0E\t\x0E\x04\x0F\t\x0F\x04\x10\t\x10\x04\x11\t\x11\x04\x12\t' +
+    '\x12\x04\x13\t\x13\x04\x14\t\x14\x04\x15\t\x15\x04\x16\t\x16\x04\x17\t' +
+    '\x17\x04\x18\t\x18\x04\x19\t\x19\x04\x1A\t\x1A\x04\x1B\t\x1B\x04\x1C\t' +
+    '\x1C\x04\x1D\t\x1D\x04\x1E\t\x1E\x04\x1F\t\x1F\x04 \t \x03\x02\x03\x02' +
+    '\x03\x02\x03\x02\x03\x02\x03\x02\x03\x02\x03\x03\x03\x03\x03\x04\x03\x04' +
+    '\x03\x04\x03\x04\x03\x04\x03\x04\x03\x04\x03\x05\x03\x05\x03\x05\x03\x05' +
+    '\x03\x05\x03\x05\x03\x05\x03\x05\x03\x05\x03\x05\x03\x05\x03\x05\x03\x05' +
+    '\x03\x05\x03\x06\x03\x06\x03\x06\x03\x06\x03\x07\x03\x07\x03\x07\x03\x07' +
+    '\x03\x07\x03\x07\x03\x07\x03\b\x03\b\x03\t\x03\t\x03\n\x03\n\x03\n\x03' +
+    '\n\x03\n\x03\n\x03\n\x03\n\x03\n\x03\v\x03\v\x03\f\x03\f\x03\f\x03\f\x03' +
+    '\f\x03\f\x03\f\x03\f\x03\f\x03\r\x03\r\x03\r\x03\r\x03\r\x03\r\x03\r\x03' +
+    '\r\x03\r\x03\x0E\x03\x0E\x03\x0E\x03\x0F\x03\x0F\x03\x0F\x03\x0F\x03\x0F' +
+    '\x03\x0F\x03\x10\x03\x10\x03\x10\x03\x10\x03\x10\x03\x10\x03\x10\x03\x10' +
+    '\x03\x10\x03\x11\x03\x11\x03\x11\x03\x11\x03\x11\x03\x12\x03\x12\x03\x12' +
+    '\x03\x12\x03\x12\x03\x12\x03\x12\x03\x13\x03\x13\x03\x13\x03\x13\x03\x13' +
+    '\x03\x13\x03\x13\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x14\x03\x15' +
+    '\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x15\x03\x16\x03\x16' +
+    '\x03\x17\x03\x17\x03\x17\x03\x17\x03\x17\x03\x18\x03\x18\x03\x18\x03\x18' +
+    '\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18' +
+    '\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18' +
+    '\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18' +
+    '\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18\x03\x18' +
+    '\x03\x18\x03\x18\x03\x18\x03\x18\x03\x19\x03\x19\x03\x1A\x03\x1A\x03\x1A' +
+    '\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x03\x1A\x05\x1A\xFD\n\x1A\x03' +
+    '\x1B\x06\x1B\u0100\n\x1B\r\x1B\x0E\x1B\u0101\x03\x1C\x03\x1C\x07\x1C\u0106' +
+    '\n\x1C\f\x1C\x0E\x1C\u0109\v\x1C\x03\x1C\x03\x1C\x03\x1D\x03\x1D\x07\x1D' +
+    '\u010F\n\x1D\f\x1D\x0E\x1D\u0112\v\x1D\x03\x1D\x03\x1D\x03\x1E\x03\x1E' +
+    '\x07\x1E\u0118\n\x1E\f\x1E\x0E\x1E\u011B\v\x1E\x03\x1F\x06\x1F\u011E\n' +
+    '\x1F\r\x1F\x0E\x1F\u011F\x03\x1F\x03\x1F\x03 \x03 \x03 \x03 \x07 \u0128' +
+    '\n \f \x0E \u012B\v \x03 \x03 \x04\u0107\u0110\x02\x02!\x03\x02\x03\x05' +
+    '\x02\x04\x07\x02\x05\t\x02\x06\v\x02\x07\r\x02\b\x0F\x02\t\x11\x02\n\x13' +
+    '\x02\v\x15\x02\f\x17\x02\r\x19\x02\x0E\x1B\x02\x0F\x1D\x02\x10\x1F\x02' +
+    "\x11!\x02\x12#\x02\x13%\x02\x14'\x02\x15)\x02\x16+\x02\x17-\x02\x18/" +
+    '\x02\x191\x02\x023\x02\x1A5\x02\x1B7\x02\x1C9\x02\x1D;\x02\x1E=\x02\x1F' +
+    '?\x02 \x03\x02\b\x05\x022;CHch\x03\x022;\x05\x02C\\aac|\x06\x022;C\\a' +
+    'ac|\x05\x02\v\f\x0F\x0F""\x04\x02\f\f\x0F\x0F\x02\u0133\x02\x03\x03' +
+    '\x02\x02\x02\x02\x05\x03\x02\x02\x02\x02\x07\x03\x02\x02\x02\x02\t\x03' +
+    '\x02\x02\x02\x02\v\x03\x02\x02\x02\x02\r\x03\x02\x02\x02\x02\x0F\x03\x02' +
+    '\x02\x02\x02\x11\x03\x02\x02\x02\x02\x13\x03\x02\x02\x02\x02\x15\x03\x02' +
+    '\x02\x02\x02\x17\x03\x02\x02\x02\x02\x19\x03\x02\x02\x02\x02\x1B\x03\x02' +
+    '\x02\x02\x02\x1D\x03\x02\x02\x02\x02\x1F\x03\x02\x02\x02\x02!\x03\x02' +
+    "\x02\x02\x02#\x03\x02\x02\x02\x02%\x03\x02\x02\x02\x02'\x03\x02\x02\x02" +
+    '\x02)\x03\x02\x02\x02\x02+\x03\x02\x02\x02\x02-\x03\x02\x02\x02\x02/\x03' +
+    '\x02\x02\x02\x023\x03\x02\x02\x02\x025\x03\x02\x02\x02\x027\x03\x02\x02' +
+    '\x02\x029\x03\x02\x02\x02\x02;\x03\x02\x02\x02\x02=\x03\x02\x02\x02\x02' +
+    '?\x03\x02\x02\x02\x03A\x03\x02\x02\x02\x05H\x03\x02\x02\x02\x07J\x03\x02' +
+    '\x02\x02\tQ\x03\x02\x02\x02\v_\x03\x02\x02\x02\rc\x03\x02\x02\x02\x0F' +
+    'j\x03\x02\x02\x02\x11l\x03\x02\x02\x02\x13n\x03\x02\x02\x02\x15w\x03\x02' +
+    '\x02\x02\x17y\x03\x02\x02\x02\x19\x82\x03\x02\x02\x02\x1B\x8B\x03\x02' +
+    '\x02\x02\x1D\x8E\x03\x02\x02\x02\x1F\x94\x03\x02\x02\x02!\x9D\x03\x02' +
+    "\x02\x02#\xA2\x03\x02\x02\x02%\xA9\x03\x02\x02\x02'\xB0\x03\x02\x02\x02" +
+    ')\xB6\x03\x02\x02\x02+\xBE\x03\x02\x02\x02-\xC0\x03\x02\x02\x02/\xC5\x03' +
+    '\x02\x02\x021\xF1\x03\x02\x02\x023\xFC\x03\x02\x02\x025\xFF\x03\x02\x02' +
+    '\x027\u0103\x03\x02\x02\x029\u010C\x03\x02\x02\x02;\u0115\x03\x02\x02' +
+    '\x02=\u011D\x03\x02\x02\x02?\u0123\x03\x02\x02\x02AB\x07k\x02\x02BC\x07' +
+    'o\x02\x02CD\x07r\x02\x02DE\x07q\x02\x02EF\x07t\x02\x02FG\x07v\x02\x02' +
+    'G\x04\x03\x02\x02\x02HI\x07=\x02\x02I\x06\x03\x02\x02\x02JK\x07r\x02\x02' +
+    'KL\x07t\x02\x02LM\x07c\x02\x02MN\x07i\x02\x02NO\x07o\x02\x02OP\x07c\x02' +
+    '\x02P\b\x03\x02\x02\x02QR\x07k\x02\x02RS\x07p\x02\x02ST\x07l\x02\x02T' +
+    'U\x07g\x02\x02UV\x07e\x02\x02VW\x07v\x02\x02WX\x07g\x02\x02XY\x07f\x02' +
+    '\x02YZ\x07/\x02\x02Z[\x07q\x02\x02[\\\x07p\x02\x02\\]\x07n\x02\x02]^\x07' +
+    '{\x02\x02^\n\x03\x02\x02\x02_`\x07x\x02\x02`a\x07c\x02\x02ab\x07t\x02' +
+    '\x02b\f\x03\x02\x02\x02cd\x07k\x02\x02de\x07p\x02\x02ef\x07l\x02\x02f' +
+    'g\x07g\x02\x02gh\x07e\x02\x02hi\x07v\x02\x02i\x0E\x03\x02\x02\x02jk\x07' +
+    '*\x02\x02k\x10\x03\x02\x02\x02lm\x07+\x02\x02m\x12\x03\x02\x02\x02no\x07' +
+    'e\x02\x02op\x07q\x02\x02pq\x07p\x02\x02qr\x07u\x02\x02rs\x07v\x02\x02' +
+    'st\x07c\x02\x02tu\x07p\x02\x02uv\x07v\x02\x02v\x14\x03\x02\x02\x02wx\x07' +
+    '?\x02\x02x\x16\x03\x02\x02\x02yz\x07c\x02\x02z{\x07t\x02\x02{|\x07v\x02' +
+    '\x02|}\x07k\x02\x02}~\x07h\x02\x02~\x7F\x07c\x02\x02\x7F\x80\x07e\x02' +
+    '\x02\x80\x81\x07v\x02\x02\x81\x18\x03\x02\x02\x02\x82\x83\x07k\x02\x02' +
+    '\x83\x84\x07p\x02\x02\x84\x85\x07u\x02\x02\x85\x86\x07v\x02\x02\x86\x87' +
+    '\x07c\x02\x02\x87\x88\x07p\x02\x02\x88\x89\x07e\x02\x02\x89\x8A\x07g\x02' +
+    '\x02\x8A\x1A\x03\x02\x02\x02\x8B\x8C\x07q\x02\x02\x8C\x8D\x07h\x02\x02' +
+    '\x8D\x1C\x03\x02\x02\x02\x8E\x8F\x07v\x02\x02\x8F\x90\x07c\x02\x02\x90' +
+    '\x91\x07m\x02\x02\x91\x92\x07g\x02\x02\x92\x93\x07u\x02\x02\x93\x1E\x03' +
+    '\x02\x02\x02\x94\x95\x07g\x02\x02\x95\x96\x07x\x02\x02\x96\x97\x07c\x02' +
+    '\x02\x97\x98\x07n\x02\x02\x98\x99\x07w\x02\x02\x99\x9A\x07c\x02\x02\x9A' +
+    '\x9B\x07v\x02\x02\x9B\x9C\x07g\x02\x02\x9C \x03\x02\x02\x02\x9D\x9E\x07' +
+    'd\x02\x02\x9E\x9F\x07q\x02\x02\x9F\xA0\x07q\x02\x02\xA0\xA1\x07n\x02\x02' +
+    '\xA1"\x03\x02\x02\x02\xA2\xA3\x07p\x02\x02\xA3\xA4\x07w\x02\x02\xA4\xA5' +
+    '\x07o\x02\x02\xA5\xA6\x07d\x02\x02\xA6\xA7\x07g\x02\x02\xA7\xA8\x07t\x02' +
+    '\x02\xA8$\x03\x02\x02\x02\xA9\xAA\x07u\x02\x02\xAA\xAB\x07v\x02\x02\xAB' +
+    '\xAC\x07t\x02\x02\xAC\xAD\x07k\x02\x02\xAD\xAE\x07p\x02\x02\xAE\xAF\x07' +
+    'i\x02\x02\xAF&\x03\x02\x02\x02\xB0\xB1\x07d\x02\x02\xB1\xB2\x07{\x02\x02' +
+    '\xB2\xB3\x07v\x02\x02\xB3\xB4\x07g\x02\x02\xB4\xB5\x07u\x02\x02\xB5(\x03' +
+    '\x02\x02\x02\xB6\xB7\x07c\x02\x02\xB7\xB8\x07f\x02\x02\xB8\xB9\x07f\x02' +
+    '\x02\xB9\xBA\x07t\x02\x02\xBA\xBB\x07g\x02\x02\xBB\xBC\x07u\x02\x02\xBC' +
+    '\xBD\x07u\x02\x02\xBD*\x03\x02\x02\x02\xBE\xBF\x07.\x02\x02\xBF,\x03\x02' +
+    '\x02\x02\xC0\xC1\x07y\x02\x02\xC1\xC2\x07k\x02\x02\xC2\xC3\x07v\x02\x02' +
+    '\xC3\xC4\x07j\x02\x02\xC4.\x03\x02\x02\x02\xC5\xC6\x072\x02\x02\xC6\xC7' +
+    '\x07z\x02\x02\xC7\xC8\x03\x02\x02\x02\xC8\xC9\x051\x19\x02\xC9\xCA\x05' +
+    '1\x19\x02\xCA\xCB\x051\x19\x02\xCB\xCC\x051\x19\x02\xCC\xCD\x051\x19\x02' +
+    '\xCD\xCE\x051\x19\x02\xCE\xCF\x051\x19\x02\xCF\xD0\x051\x19\x02\xD0\xD1' +
+    '\x051\x19\x02\xD1\xD2\x051\x19\x02\xD2\xD3\x051\x19\x02\xD3\xD4\x051\x19' +
+    '\x02\xD4\xD5\x051\x19\x02\xD5\xD6\x051\x19\x02\xD6\xD7\x051\x19\x02\xD7' +
+    '\xD8\x051\x19\x02\xD8\xD9\x051\x19\x02\xD9\xDA\x051\x19\x02\xDA\xDB\x05' +
+    '1\x19\x02\xDB\xDC\x051\x19\x02\xDC\xDD\x051\x19\x02\xDD\xDE\x051\x19\x02' +
+    '\xDE\xDF\x051\x19\x02\xDF\xE0\x051\x19\x02\xE0\xE1\x051\x19\x02\xE1\xE2' +
+    '\x051\x19\x02\xE2\xE3\x051\x19\x02\xE3\xE4\x051\x19\x02\xE4\xE5\x051\x19' +
+    '\x02\xE5\xE6\x051\x19\x02\xE6\xE7\x051\x19\x02\xE7\xE8\x051\x19\x02\xE8' +
+    '\xE9\x051\x19\x02\xE9\xEA\x051\x19\x02\xEA\xEB\x051\x19\x02\xEB\xEC\x05' +
+    '1\x19\x02\xEC\xED\x051\x19\x02\xED\xEE\x051\x19\x02\xEE\xEF\x051\x19\x02' +
+    '\xEF\xF0\x051\x19\x02\xF00\x03\x02\x02\x02\xF1\xF2\t\x02\x02\x02\xF22' +
+    '\x03\x02\x02\x02\xF3\xF4\x07v\x02\x02\xF4\xF5\x07t\x02\x02\xF5\xF6\x07' +
+    'w\x02\x02\xF6\xFD\x07g\x02\x02\xF7\xF8\x07h\x02\x02\xF8\xF9\x07c\x02\x02' +
+    '\xF9\xFA\x07n\x02\x02\xFA\xFB\x07u\x02\x02\xFB\xFD\x07g\x02\x02\xFC\xF3' +
+    '\x03\x02\x02\x02\xFC\xF7\x03\x02\x02\x02\xFD4\x03\x02\x02\x02\xFE\u0100' +
+    '\t\x03\x02\x02\xFF\xFE\x03\x02\x02\x02\u0100\u0101\x03\x02\x02\x02\u0101' +
+    '\xFF\x03\x02\x02\x02\u0101\u0102\x03\x02\x02\x02\u01026\x03\x02\x02\x02' +
+    '\u0103\u0107\x07$\x02\x02\u0104\u0106\v\x02\x02\x02\u0105\u0104\x03\x02' +
+    '\x02\x02\u0106\u0109\x03\x02\x02\x02\u0107\u0108\x03\x02\x02\x02\u0107' +
+    '\u0105\x03\x02\x02\x02\u0108\u010A\x03\x02\x02\x02\u0109\u0107\x03\x02' +
+    '\x02\x02\u010A\u010B\x07$\x02\x02\u010B8\x03\x02\x02\x02\u010C\u0110\x07' +
+    ')\x02\x02\u010D\u010F\v\x02\x02\x02\u010E\u010D\x03\x02\x02\x02\u010F' +
+    '\u0112\x03\x02\x02\x02\u0110\u0111\x03\x02\x02\x02\u0110\u010E\x03\x02' +
+    '\x02\x02\u0111\u0113\x03\x02\x02\x02\u0112\u0110\x03\x02\x02\x02\u0113' +
+    '\u0114\x07)\x02\x02\u0114:\x03\x02\x02\x02\u0115\u0119\t\x04\x02\x02\u0116' +
+    '\u0118\t\x05\x02\x02\u0117\u0116\x03\x02\x02\x02\u0118\u011B\x03\x02\x02' +
+    '\x02\u0119\u0117\x03\x02\x02\x02\u0119\u011A\x03\x02\x02\x02\u011A<\x03' +
+    '\x02\x02\x02\u011B\u0119\x03\x02\x02\x02\u011C\u011E\t\x06\x02\x02\u011D' +
+    '\u011C\x03\x02\x02\x02\u011E\u011F\x03\x02\x02\x02\u011F\u011D\x03\x02' +
+    '\x02\x02\u011F\u0120\x03\x02\x02\x02\u0120\u0121\x03\x02\x02\x02\u0121' +
+    '\u0122\b\x1F\x02\x02\u0122>\x03\x02\x02\x02\u0123\u0124\x071\x02\x02\u0124' +
+    '\u0125\x071\x02\x02\u0125\u0129\x03\x02\x02\x02\u0126\u0128\n\x07\x02' +
+    '\x02\u0127\u0126\x03\x02\x02\x02\u0128\u012B\x03\x02\x02\x02\u0129\u0127' +
+    '\x03\x02\x02\x02\u0129\u012A\x03\x02\x02\x02\u012A\u012C\x03\x02\x02\x02' +
+    '\u012B\u0129\x03\x02\x02\x02\u012C\u012D\b \x02\x02\u012D@\x03\x02\x02' +
+    '\x02\n\x02\xFC\u0101\u0107\u0110\u0119\u011F\u0129\x03\b\x02\x02';
+  public static __ATN: ATN;
+  public static get _ATN(): ATN {
+    if (!LacLangLexer.__ATN) {
+      LacLangLexer.__ATN = new ATNDeserializer().deserialize(
+        Utils.toCharArray(LacLangLexer._serializedATN),
+      );
+    }
+
+    return LacLangLexer.__ATN;
+  }
+}