Skip to content

Implement scs parser #19

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
deniskoronchik wants to merge 18 commits into
base: main
Choose a base branch
from
Open

Implement scs parser #19

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
2392927
[db] Added scs grammar
deniskoronchik Oct 24, 2021
87913c0
Update readme
deniskoronchik Oct 25, 2021
a2948c1
Finish antlr generator infrastructure
deniskoronchik Oct 25, 2021
0459d41
Rename Keynodes to KeynodeNames
deniskoronchik Oct 25, 2021
1152f4d
Initial SCsParser
deniskoronchik Oct 25, 2021
f29435e
Update grammar to the latest version
deniskoronchik Oct 25, 2021
4501197
Work on alias support
deniskoronchik Oct 25, 2021
66f762b
Improve structure of SCs module
deniskoronchik Oct 26, 2021
d330406
Implement idtf cont/var checks
deniskoronchik Oct 26, 2021
5d143a6
Impement support of scs-level-1
deniskoronchik Oct 26, 2021
5343903
Work on aliases
deniskoronchik Oct 26, 2021
524d245
Support scs-level-2
deniskoronchik Oct 27, 2021
c1a91c7
Support scs-level-3
deniskoronchik Oct 28, 2021
61fe644
Remove scs-level-1 support
deniskoronchik Oct 28, 2021
eb13f82
Support scs-level-4
deniskoronchik Oct 28, 2021
23bb31d
Support scs-level-5
deniskoronchik Oct 28, 2021
5115e63
Support scs-level-6
deniskoronchik Oct 30, 2021
2591cc4
Do not process types
deniskoronchik Oct 30, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove scs-level-1 support
  • Loading branch information
@deniskoronchik
deniskoronchik committed Oct 28, 2021
commit 61fe6441c81ebd59fe9d85877ce40a4c9160c70c
17 changes: 1 addition & 16 deletions db/sc/scs/antlr/scs.interp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,10 +41,6 @@ null
'_</~'
'...'
'='
'sc_node'
'sc_link'
'sc_edge'
'sc_arc'
'('
')'
'{'
Expand All @@ -64,8 +60,6 @@ null
null
null
';;'
'#'
'|'

token symbolic names:
null
Expand Down Expand Up @@ -117,10 +111,6 @@ null
null
null
null
null
null
null
null
ID_SYSTEM
ALIAS_SYMBOLS
CONTOUR_BEGIN
Expand All @@ -133,8 +123,6 @@ LINE_COMMENT
MULTINE_COMMENT
WS
SENTENCE_SEP
LVL1_TYPE_SEP
LVL1_ITEM_SEP

rule names:
content
Expand All @@ -148,8 +136,6 @@ sentence
ifdf_alias
idtf_system
sentence_assign
idtf_lvl1_preffix
idtf_lvl1
idtf_edge
idtf_set
idtf_atomic
Expand All @@ -158,11 +144,10 @@ idtf_common
idtf_list
internal_sentence
internal_sentence_list
sentence_lvl1
sentence_lvl_4_list_item
sentence_lvl_common
attr_list


atn:
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 68, 237, 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, 3, 2, 5, 2, 54, 10, 2, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 7, 3, 62, 10, 3, 12, 3, 14, 3, 65, 11, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 82, 10, 6, 3, 7, 7, 7, 85, 10, 7, 12, 7, 14, 7, 88, 11, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 5, 9, 98, 10, 9, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 123, 10, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 16, 3, 16, 5, 16, 131, 10, 16, 3, 16, 3, 16, 3, 16, 5, 16, 136, 10, 16, 3, 16, 7, 16, 139, 10, 16, 12, 16, 14, 16, 142, 11, 16, 3, 16, 3, 16, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 3, 17, 5, 17, 152, 10, 17, 3, 18, 3, 18, 3, 18, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 3, 19, 5, 19, 171, 10, 19, 3, 20, 3, 20, 3, 20, 5, 20, 176, 10, 20, 3, 20, 3, 20, 3, 20, 3, 20, 5, 20, 182, 10, 20, 7, 20, 184, 10, 20, 12, 20, 14, 20, 187, 11, 20, 3, 21, 3, 21, 5, 21, 191, 10, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 22, 3, 22, 6, 22, 200, 10, 22, 13, 22, 14, 22, 201, 3, 22, 3, 22, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 23, 3, 24, 3, 24, 5, 24, 215, 10, 24, 3, 24, 3, 24, 3, 24, 3, 24, 3, 25, 3, 25, 3, 25, 3, 25, 7, 25, 225, 10, 25, 12, 25, 14, 25, 228, 11, 25, 3, 26, 3, 26, 3, 26, 6, 26, 233, 10, 26, 13, 26, 14, 26, 234, 3, 26, 2, 2, 27, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 2, 6, 3, 2, 4, 13, 3, 2, 14, 41, 4, 2, 42, 42, 55, 55, 3, 2, 44, 47, 2, 235, 2, 53, 3, 2, 2, 2, 4, 58, 3, 2, 2, 2, 6, 69, 3, 2, 2, 2, 8, 72, 3, 2, 2, 2, 10, 81, 3, 2, 2, 2, 12, 86, 3, 2, 2, 2, 14, 91, 3, 2, 2, 2, 16, 97, 3, 2, 2, 2, 18, 99, 3, 2, 2, 2, 20, 102, 3, 2, 2, 2, 22, 105, 3, 2, 2, 2, 24, 110, 3, 2, 2, 2, 26, 113, 3, 2, 2, 2, 28, 118, 3, 2, 2, 2, 30, 128, 3, 2, 2, 2, 32, 151, 3, 2, 2, 2, 34, 153, 3, 2, 2, 2, 36, 170, 3, 2, 2, 2, 38, 172, 3, 2, 2, 2, 40, 188, 3, 2, 2, 2, 42, 195, 3, 2, 2, 2, 44, 205, 3, 2, 2, 2, 46, 212, 3, 2, 2, 2, 48, 220, 3, 2, 2, 2, 50, 232, 3, 2, 2, 2, 52, 54, 7, 3, 2, 2, 53, 52, 3, 2, 2, 2, 53, 54, 3, 2, 2, 2, 54, 55, 3, 2, 2, 2, 55, 56, 7, 59, 2, 2, 56, 57, 8, 2, 1, 2, 57, 3, 3, 2, 2, 2, 58, 59, 7, 57, 2, 2, 59, 63, 6, 3, 2, 2, 60, 62, 5, 14, 8, 2, 61, 60, 3, 2, 2, 2, 62, 65, 3, 2, 2, 2, 63, 61, 3, 2, 2, 2, 63, 64, 3, 2, 2, 2, 64, 66, 3, 2, 2, 2, 65, 63, 3, 2, 2, 2, 66, 67, 7, 58, 2, 2, 67, 68, 8, 3, 1, 2, 68, 5, 3, 2, 2, 2, 69, 70, 9, 2, 2, 2, 70, 71, 8, 4, 1, 2, 71, 7, 3, 2, 2, 2, 72, 73, 9, 3, 2, 2, 73, 74, 8, 5, 1, 2, 74, 9, 3, 2, 2, 2, 75, 76, 5, 6, 4, 2, 76, 77, 8, 6, 1, 2, 77, 82, 3, 2, 2, 2, 78, 79, 5, 8, 5, 2, 79, 80, 8, 6, 1, 2, 80, 82, 3, 2, 2, 2, 81, 75, 3, 2, 2, 2, 81, 78, 3, 2, 2, 2, 82, 11, 3, 2, 2, 2, 83, 85, 5, 14, 8, 2, 84, 83, 3, 2, 2, 2, 85, 88, 3, 2, 2, 2, 86, 84, 3, 2, 2, 2, 86, 87, 3, 2, 2, 2, 87, 89, 3, 2, 2, 2, 88, 86, 3, 2, 2, 2, 89, 90, 7, 2, 2, 3, 90, 13, 3, 2, 2, 2, 91, 92, 5, 16, 9, 2, 92, 93, 7, 66, 2, 2, 93, 15, 3, 2, 2, 2, 94, 98, 5, 44, 23, 2, 95, 98, 5, 22, 12, 2, 96, 98, 5, 48, 25, 2, 97, 94, 3, 2, 2, 2, 97, 95, 3, 2, 2, 2, 97, 96, 3, 2, 2, 2, 98, 17, 3, 2, 2, 2, 99, 100, 7, 56, 2, 2, 100, 101, 8, 10, 1, 2, 101, 19, 3, 2, 2, 2, 102, 103, 9, 4, 2, 2, 103, 104, 8, 11, 1, 2, 104, 21, 3, 2, 2, 2, 105, 106, 7, 56, 2, 2, 106, 107, 7, 43, 2, 2, 107, 108, 5, 36, 19, 2, 108, 109, 8, 12, 1, 2, 109, 23, 3, 2, 2, 2, 110, 111, 9, 5, 2, 2, 111, 112, 8, 13, 1, 2, 112, 25, 3, 2, 2, 2, 113, 114, 5, 24, 13, 2, 114, 115, 7, 67, 2, 2, 115, 116, 7, 55, 2, 2, 116, 117, 8, 14, 1, 2, 117, 27, 3, 2, 2, 2, 118, 119, 7, 48, 2, 2, 119, 120, 5, 32, 17, 2, 120, 122, 5, 10, 6, 2, 121, 123, 5, 50, 26, 2, 122, 121, 3, 2, 2, 2, 122, 123, 3, 2, 2, 2, 123, 124, 3, 2, 2, 2, 124, 125, 5, 32, 17, 2, 125, 126, 7, 49, 2, 2, 126, 127, 8, 15, 1, 2, 127, 29, 3, 2, 2, 2, 128, 130, 7, 50, 2, 2, 129, 131, 5, 50, 26, 2, 130, 129, 3, 2, 2, 2, 130, 131, 3, 2, 2, 2, 131, 132, 3, 2, 2, 2, 132, 140, 5, 36, 19, 2, 133, 135, 7, 51, 2, 2, 134, 136, 5, 50, 26, 2, 135, 134, 3, 2, 2, 2, 135, 136, 3, 2, 2, 2, 136, 137, 3, 2, 2, 2, 137, 139, 5, 36, 19, 2, 138, 133, 3, 2, 2, 2, 139, 142, 3, 2, 2, 2, 140, 138, 3, 2, 2, 2, 140, 141, 3, 2, 2, 2, 141, 143, 3, 2, 2, 2, 142, 140, 3, 2, 2, 2, 143, 144, 7, 52, 2, 2, 144, 31, 3, 2, 2, 2, 145, 146, 5, 18, 10, 2, 146, 147, 8, 17, 1, 2, 147, 152, 3, 2, 2, 2, 148, 149, 5, 20, 11, 2, 149, 150, 8, 17, 1, 2, 150, 152, 3, 2, 2, 2, 151, 145, 3, 2, 2, 2, 151, 148, 3, 2, 2, 2, 152, 33, 3, 2, 2, 2, 153, 154, 7, 60, 2, 2, 154, 155, 8, 18, 1, 2, 155, 35, 3, 2, 2, 2, 156, 157, 5, 32, 17, 2, 157, 158, 8, 19, 1, 2, 158, 171, 3, 2, 2, 2, 159, 160, 5, 28, 15, 2, 160, 161, 8, 19, 1, 2, 161, 171, 3, 2, 2, 2, 162, 171, 5, 30, 16, 2, 163, 171, 5, 4, 3, 2, 164, 165, 5, 2, 2, 2, 165, 166, 8, 19, 1, 2, 166, 171, 3, 2, 2, 2, 167, 168, 5, 34, 18, 2, 168, 169, 8, 19, 1, 2, 169, 171, 3, 2, 2, 2, 170, 156, 3, 2, 2, 2, 170, 159, 3, 2, 2, 2, 170, 162, 3, 2, 2, 2, 170, 163, 3, 2, 2, 2, 170, 164, 3, 2, 2, 2, 170, 167, 3, 2, 2, 2, 171, 37, 3, 2, 2, 2, 172, 173, 5, 36, 19, 2, 173, 175, 8, 20, 1, 2, 174, 176, 5, 42, 22, 2, 175, 174, 3, 2, 2, 2, 175, 176, 3, 2, 2, 2, 176, 185, 3, 2, 2, 2, 177, 178, 7, 51, 2, 2, 178, 179, 5, 36, 19, 2, 179, 181, 8, 20, 1, 2, 180, 182, 5, 42, 22, 2, 181, 180, 3, 2, 2, 2, 181, 182, 3, 2, 2, 2, 182, 184, 3, 2, 2, 2, 183, 177, 3, 2, 2, 2, 184, 187, 3, 2, 2, 2, 185, 183, 3, 2, 2, 2, 185, 186, 3, 2, 2, 2, 186, 39, 3, 2, 2, 2, 187, 185, 3, 2, 2, 2, 188, 190, 5, 10, 6, 2, 189, 191, 5, 50, 26, 2, 190, 189, 3, 2, 2, 2, 190, 191, 3, 2, 2, 2, 191, 192, 3, 2, 2, 2, 192, 193, 5, 38, 20, 2, 193, 194, 8, 21, 1, 2, 194, 41, 3, 2, 2, 2, 195, 199, 7, 53, 2, 2, 196, 197, 5, 40, 21, 2, 197, 198, 7, 66, 2, 2, 198, 200, 3, 2, 2, 2, 199, 196, 3, 2, 2, 2, 200, 201, 3, 2, 2, 2, 201, 199, 3, 2, 2, 2, 201, 202, 3, 2, 2, 2, 202, 203, 3, 2, 2, 2, 203, 204, 7, 54, 2, 2, 204, 43, 3, 2, 2, 2, 205, 206, 5, 26, 14, 2, 206, 207, 7, 68, 2, 2, 207, 208, 5, 26, 14, 2, 208, 209, 7, 68, 2, 2, 209, 210, 5, 26, 14, 2, 210, 211, 8, 23, 1, 2, 211, 45, 3, 2, 2, 2, 212, 214, 5, 10, 6, 2, 213, 215, 5, 50, 26, 2, 214, 213, 3, 2, 2, 2, 214, 215, 3, 2, 2, 2, 215, 216, 3, 2, 2, 2, 216, 217, 5, 38, 20, 2, 217, 218, 3, 2, 2, 2, 218, 219, 8, 24, 1, 2, 219, 47, 3, 2, 2, 2, 220, 221, 5, 36, 19, 2, 221, 226, 5, 46, 24, 2, 222, 223, 7, 51, 2, 2, 223, 225, 5, 46, 24, 2, 224, 222, 3, 2, 2, 2, 225, 228, 3, 2, 2, 2, 226, 224, 3, 2, 2, 2, 226, 227, 3, 2, 2, 2, 227, 49, 3, 2, 2, 2, 228, 226, 3, 2, 2, 2, 229, 230, 7, 55, 2, 2, 230, 231, 7, 61, 2, 2, 231, 233, 8, 26, 1, 2, 232, 229, 3, 2, 2, 2, 233, 234, 3, 2, 2, 2, 234, 232, 3, 2, 2, 2, 234, 235, 3, 2, 2, 2, 235, 51, 3, 2, 2, 2, 21, 53, 63, 81, 86, 97, 122, 130, 135, 140, 151, 170, 175, 181, 185, 190, 201, 214, 226, 234]
[3, 24715, 42794, 33075, 47597, 16764, 15335, 30598, 22884, 3, 62, 215, 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, 3, 2, 5, 2, 48, 10, 2, 3, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 7, 3, 56, 10, 3, 12, 3, 14, 3, 59, 11, 3, 3, 3, 3, 3, 3, 3, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 3, 6, 5, 6, 76, 10, 6, 3, 7, 7, 7, 79, 10, 7, 12, 7, 14, 7, 82, 11, 7, 3, 7, 3, 7, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 5, 9, 91, 10, 9, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 5, 13, 108, 10, 13, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 5, 14, 116, 10, 14, 3, 14, 3, 14, 3, 14, 5, 14, 121, 10, 14, 3, 14, 7, 14, 124, 10, 14, 12, 14, 14, 14, 127, 11, 14, 3, 14, 3, 14, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 3, 15, 5, 15, 137, 10, 15, 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, 17, 3, 17, 3, 17, 3, 17, 3, 17, 5, 17, 156, 10, 17, 3, 18, 3, 18, 3, 18, 5, 18, 161, 10, 18, 3, 18, 3, 18, 3, 18, 3, 18, 5, 18, 167, 10, 18, 7, 18, 169, 10, 18, 12, 18, 14, 18, 172, 11, 18, 3, 19, 3, 19, 5, 19, 176, 10, 19, 3, 19, 3, 19, 3, 19, 3, 20, 3, 20, 3, 20, 3, 20, 6, 20, 185, 10, 20, 13, 20, 14, 20, 186, 3, 20, 3, 20, 3, 21, 3, 21, 5, 21, 193, 10, 21, 3, 21, 3, 21, 3, 21, 3, 21, 3, 22, 3, 22, 3, 22, 3, 22, 7, 22, 203, 10, 22, 12, 22, 14, 22, 206, 11, 22, 3, 23, 3, 23, 3, 23, 6, 23, 211, 10, 23, 13, 23, 14, 23, 212, 3, 23, 2, 2, 24, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 2, 5, 3, 2, 4, 13, 3, 2, 14, 41, 4, 2, 42, 42, 51, 51, 2, 215, 2, 47, 3, 2, 2, 2, 4, 52, 3, 2, 2, 2, 6, 63, 3, 2, 2, 2, 8, 66, 3, 2, 2, 2, 10, 75, 3, 2, 2, 2, 12, 80, 3, 2, 2, 2, 14, 85, 3, 2, 2, 2, 16, 90, 3, 2, 2, 2, 18, 92, 3, 2, 2, 2, 20, 95, 3, 2, 2, 2, 22, 98, 3, 2, 2, 2, 24, 103, 3, 2, 2, 2, 26, 113, 3, 2, 2, 2, 28, 136, 3, 2, 2, 2, 30, 138, 3, 2, 2, 2, 32, 155, 3, 2, 2, 2, 34, 157, 3, 2, 2, 2, 36, 173, 3, 2, 2, 2, 38, 180, 3, 2, 2, 2, 40, 190, 3, 2, 2, 2, 42, 198, 3, 2, 2, 2, 44, 210, 3, 2, 2, 2, 46, 48, 7, 3, 2, 2, 47, 46, 3, 2, 2, 2, 47, 48, 3, 2, 2, 2, 48, 49, 3, 2, 2, 2, 49, 50, 7, 55, 2, 2, 50, 51, 8, 2, 1, 2, 51, 3, 3, 2, 2, 2, 52, 53, 7, 53, 2, 2, 53, 57, 6, 3, 2, 2, 54, 56, 5, 14, 8, 2, 55, 54, 3, 2, 2, 2, 56, 59, 3, 2, 2, 2, 57, 55, 3, 2, 2, 2, 57, 58, 3, 2, 2, 2, 58, 60, 3, 2, 2, 2, 59, 57, 3, 2, 2, 2, 60, 61, 7, 54, 2, 2, 61, 62, 8, 3, 1, 2, 62, 5, 3, 2, 2, 2, 63, 64, 9, 2, 2, 2, 64, 65, 8, 4, 1, 2, 65, 7, 3, 2, 2, 2, 66, 67, 9, 3, 2, 2, 67, 68, 8, 5, 1, 2, 68, 9, 3, 2, 2, 2, 69, 70, 5, 6, 4, 2, 70, 71, 8, 6, 1, 2, 71, 76, 3, 2, 2, 2, 72, 73, 5, 8, 5, 2, 73, 74, 8, 6, 1, 2, 74, 76, 3, 2, 2, 2, 75, 69, 3, 2, 2, 2, 75, 72, 3, 2, 2, 2, 76, 11, 3, 2, 2, 2, 77, 79, 5, 14, 8, 2, 78, 77, 3, 2, 2, 2, 79, 82, 3, 2, 2, 2, 80, 78, 3, 2, 2, 2, 80, 81, 3, 2, 2, 2, 81, 83, 3, 2, 2, 2, 82, 80, 3, 2, 2, 2, 83, 84, 7, 2, 2, 3, 84, 13, 3, 2, 2, 2, 85, 86, 5, 16, 9, 2, 86, 87, 7, 62, 2, 2, 87, 15, 3, 2, 2, 2, 88, 91, 5, 22, 12, 2, 89, 91, 5, 42, 22, 2, 90, 88, 3, 2, 2, 2, 90, 89, 3, 2, 2, 2, 91, 17, 3, 2, 2, 2, 92, 93, 7, 52, 2, 2, 93, 94, 8, 10, 1, 2, 94, 19, 3, 2, 2, 2, 95, 96, 9, 4, 2, 2, 96, 97, 8, 11, 1, 2, 97, 21, 3, 2, 2, 2, 98, 99, 7, 52, 2, 2, 99, 100, 7, 43, 2, 2, 100, 101, 5, 32, 17, 2, 101, 102, 8, 12, 1, 2, 102, 23, 3, 2, 2, 2, 103, 104, 7, 44, 2, 2, 104, 105, 5, 28, 15, 2, 105, 107, 5, 10, 6, 2, 106, 108, 5, 44, 23, 2, 107, 106, 3, 2, 2, 2, 107, 108, 3, 2, 2, 2, 108, 109, 3, 2, 2, 2, 109, 110, 5, 28, 15, 2, 110, 111, 7, 45, 2, 2, 111, 112, 8, 13, 1, 2, 112, 25, 3, 2, 2, 2, 113, 115, 7, 46, 2, 2, 114, 116, 5, 44, 23, 2, 115, 114, 3, 2, 2, 2, 115, 116, 3, 2, 2, 2, 116, 117, 3, 2, 2, 2, 117, 125, 5, 32, 17, 2, 118, 120, 7, 47, 2, 2, 119, 121, 5, 44, 23, 2, 120, 119, 3, 2, 2, 2, 120, 121, 3, 2, 2, 2, 121, 122, 3, 2, 2, 2, 122, 124, 5, 32, 17, 2, 123, 118, 3, 2, 2, 2, 124, 127, 3, 2, 2, 2, 125, 123, 3, 2, 2, 2, 125, 126, 3, 2, 2, 2, 126, 128, 3, 2, 2, 2, 127, 125, 3, 2, 2, 2, 128, 129, 7, 48, 2, 2, 129, 27, 3, 2, 2, 2, 130, 131, 5, 18, 10, 2, 131, 132, 8, 15, 1, 2, 132, 137, 3, 2, 2, 2, 133, 134, 5, 20, 11, 2, 134, 135, 8, 15, 1, 2, 135, 137, 3, 2, 2, 2, 136, 130, 3, 2, 2, 2, 136, 133, 3, 2, 2, 2, 137, 29, 3, 2, 2, 2, 138, 139, 7, 56, 2, 2, 139, 140, 8, 16, 1, 2, 140, 31, 3, 2, 2, 2, 141, 142, 5, 28, 15, 2, 142, 143, 8, 17, 1, 2, 143, 156, 3, 2, 2, 2, 144, 145, 5, 24, 13, 2, 145, 146, 8, 17, 1, 2, 146, 156, 3, 2, 2, 2, 147, 156, 5, 26, 14, 2, 148, 156, 5, 4, 3, 2, 149, 150, 5, 2, 2, 2, 150, 151, 8, 17, 1, 2, 151, 156, 3, 2, 2, 2, 152, 153, 5, 30, 16, 2, 153, 154, 8, 17, 1, 2, 154, 156, 3, 2, 2, 2, 155, 141, 3, 2, 2, 2, 155, 144, 3, 2, 2, 2, 155, 147, 3, 2, 2, 2, 155, 148, 3, 2, 2, 2, 155, 149, 3, 2, 2, 2, 155, 152, 3, 2, 2, 2, 156, 33, 3, 2, 2, 2, 157, 158, 5, 32, 17, 2, 158, 160, 8, 18, 1, 2, 159, 161, 5, 38, 20, 2, 160, 159, 3, 2, 2, 2, 160, 161, 3, 2, 2, 2, 161, 170, 3, 2, 2, 2, 162, 163, 7, 47, 2, 2, 163, 164, 5, 32, 17, 2, 164, 166, 8, 18, 1, 2, 165, 167, 5, 38, 20, 2, 166, 165, 3, 2, 2, 2, 166, 167, 3, 2, 2, 2, 167, 169, 3, 2, 2, 2, 168, 162, 3, 2, 2, 2, 169, 172, 3, 2, 2, 2, 170, 168, 3, 2, 2, 2, 170, 171, 3, 2, 2, 2, 171, 35, 3, 2, 2, 2, 172, 170, 3, 2, 2, 2, 173, 175, 5, 10, 6, 2, 174, 176, 5, 44, 23, 2, 175, 174, 3, 2, 2, 2, 175, 176, 3, 2, 2, 2, 176, 177, 3, 2, 2, 2, 177, 178, 5, 34, 18, 2, 178, 179, 8, 19, 1, 2, 179, 37, 3, 2, 2, 2, 180, 184, 7, 49, 2, 2, 181, 182, 5, 36, 19, 2, 182, 183, 7, 62, 2, 2, 183, 185, 3, 2, 2, 2, 184, 181, 3, 2, 2, 2, 185, 186, 3, 2, 2, 2, 186, 184, 3, 2, 2, 2, 186, 187, 3, 2, 2, 2, 187, 188, 3, 2, 2, 2, 188, 189, 7, 50, 2, 2, 189, 39, 3, 2, 2, 2, 190, 192, 5, 10, 6, 2, 191, 193, 5, 44, 23, 2, 192, 191, 3, 2, 2, 2, 192, 193, 3, 2, 2, 2, 193, 194, 3, 2, 2, 2, 194, 195, 5, 34, 18, 2, 195, 196, 3, 2, 2, 2, 196, 197, 8, 21, 1, 2, 197, 41, 3, 2, 2, 2, 198, 199, 5, 32, 17, 2, 199, 204, 5, 40, 21, 2, 200, 201, 7, 47, 2, 2, 201, 203, 5, 40, 21, 2, 202, 200, 3, 2, 2, 2, 203, 206, 3, 2, 2, 2, 204, 202, 3, 2, 2, 2, 204, 205, 3, 2, 2, 2, 205, 43, 3, 2, 2, 2, 206, 204, 3, 2, 2, 2, 207, 208, 7, 51, 2, 2, 208, 209, 7, 57, 2, 2, 209, 211, 8, 23, 1, 2, 210, 207, 3, 2, 2, 2, 211, 212, 3, 2, 2, 2, 212, 210, 3, 2, 2, 2, 212, 213, 3, 2, 2, 2, 213, 45, 3, 2, 2, 2, 21, 47, 57, 75, 80, 90, 107, 115, 120, 125, 136, 155, 160, 166, 170, 175, 186, 192, 204, 212]
56 changes: 22 additions & 34 deletions db/sc/scs/antlr/scs.tokens
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,24 +46,18 @@ T__44=45
T__45=46
T__46=47
T__47=48
T__48=49
T__49=50
T__50=51
T__51=52
ID_SYSTEM=53
ALIAS_SYMBOLS=54
CONTOUR_BEGIN=55
CONTOUR_END=56
CONTENT_BODY=57
LINK=58
EDGE_ATTR=59
LINE_TERMINATOR=60
LINE_COMMENT=61
MULTINE_COMMENT=62
WS=63
SENTENCE_SEP=64
LVL1_TYPE_SEP=65
LVL1_ITEM_SEP=66
ID_SYSTEM=49
ALIAS_SYMBOLS=50
CONTOUR_BEGIN=51
CONTOUR_END=52
CONTENT_BODY=53
LINK=54
EDGE_ATTR=55
LINE_TERMINATOR=56
LINE_COMMENT=57
MULTINE_COMMENT=58
WS=59
SENTENCE_SEP=60
'_'=1
'<>'=2
'<=>'=3
Expand Down Expand Up @@ -105,19 +99,13 @@ LVL1_ITEM_SEP=66
'_</~'=39
'...'=40
'='=41
'sc_node'=42
'sc_link'=43
'sc_edge'=44
'sc_arc'=45
'('=46
')'=47
'{'=48
';'=49
'}'=50
'(*'=51
'*)'=52
'[*'=55
'*]'=56
';;'=64
'#'=65
'|'=66
'('=42
')'=43
'{'=44
';'=45
'}'=46
'(*'=47
'*)'=48
'[*'=51
'*]'=52
';;'=60
Loading