ebnf 0.3.1 → 0.3.2

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 (19) hide show
  1. checksums.yaml +6 -14
  2. data/README.md +8 -58
  3. data/VERSION +1 -1
  4. data/bin/ebnf +7 -5
  5. data/etc/doap.ttl +11 -12
  6. data/etc/ebnf.ebnf +45 -41
  7. data/etc/ebnf.ll1.sxp +114 -197
  8. data/etc/ebnf.rb +149 -459
  9. data/etc/ebnf.sxp +27 -22
  10. data/etc/turtle.ll1.sxp +5 -5
  11. data/etc/turtle.rb +55 -50
  12. data/etc/turtle.sxp +20 -21
  13. data/lib/ebnf/base.rb +32 -17
  14. data/lib/ebnf/ll1.rb +39 -7
  15. data/lib/ebnf/ll1/lexer.rb +8 -20
  16. data/lib/ebnf/ll1/parser.rb +4 -0
  17. data/lib/ebnf/parser.rb +55 -51
  18. data/lib/ebnf/rule.rb +36 -0
  19. metadata +15 -15
data/etc/ebnf.sxp CHANGED
@@ -1,29 +1,34 @@
1
-
2
- (
1
+ (
2
+ (pass (seq PASS))
3
3
  (rule ebnf "1" (star (alt declaration rule)))
4
4
  (rule declaration "2" (alt "@terminals" pass))
5
- (rule rule "3" (seq lhs "::=" expression))
6
- (rule lhs "4" (seq "[" SYMBOL "]" SYMBOL))
7
- (rule expression "5" (seq alt))
8
- (rule alt "6" (seq seq (star (seq "|" seq))))
9
- (rule seq "7" (plus diff))
10
- (rule diff "8" (seq postfix (star (seq "-" postfix))))
11
- (rule postfix "9" (seq primary (opt (range "?*+"))))
12
- (rule primary "10"
13
- (alt HEX RANGE ENUM O_RANGE O_ENUM STRING1 STRING2 (seq "(" expression ")")))
14
- (rule pass "11"
15
- (seq "@pass"
16
- (plus
17
- (alt
18
- (range "#x20\\t\\r\\n")
19
- (seq (alt "#" "//") (star (range "^\\r\\n")))
20
- (seq "/*" (star (alt (range "^*") (seq "*" (range "^/")))) "*/")))))
5
+ (rule rule "3" (seq LHS expression))
6
+ (rule expression "4" (seq alt))
7
+ (rule alt "5" (seq seq (star (seq "|" seq))))
8
+ (rule seq "6" (plus diff))
9
+ (rule diff "7" (seq postfix (opt (seq "-" postfix))))
10
+ (rule postfix "8" (seq primary (opt POSTFIX)))
11
+ (rule primary "9"
12
+ (alt HEX SYMBOL RANGE ENUM O_RANGE O_ENUM STRING1 STRING2 (seq "(" expression ")")))
13
+ (rule pass "10" (seq "@pass" expression))
14
+ (terminal LHS "11" (seq ENUM SYMBOL "::="))
21
15
  (terminal SYMBOL "12" (plus (alt (range "a-z") (range "A-Z") (range "0-9") "_" ".")))
22
- (terminal HEX "13" (seq "#x" (plus (alt (range "0-9") (range "a-f") (range "A-F")))))
16
+ (terminal HEX "13"
17
+ (seq "#x"
18
+ (alt (range "0-9") (range "a-f") (range "A-F"))
19
+ (alt (range "0-9") (range "a-f") (range "A-F"))) )
23
20
  (terminal RANGE "14" (seq "[" CHAR "-" CHAR "]"))
24
21
  (terminal ENUM "15" (seq "[" (plus CHAR) "]"))
25
22
  (terminal O_RANGE "16" (seq "[^" CHAR "-" CHAR "]"))
26
23
  (terminal O_ENUM "17" (seq "[^" (plus CHAR) "]"))
27
- (terminal STRING1 "18" (seq "\"" (star (diff CHAR "\"")) "\""))
28
- (terminal STRING2 "19" (seq "'" (star (diff CHAR "'")) "'"))
29
- (terminal CHAR "20" (alt HEX (seq "\\\\" (range "\\\\trn'\"")) (range "^\\t\\r\\n'\""))))
24
+ (terminal STRING1 "18" (seq "\"" (star (alt CHAR (range "\t'[]()-"))) "\""))
25
+ (terminal STRING2 "19" (seq "'" (star (alt CHAR (range "\t\"[]()-"))) "'"))
26
+ (terminal CHAR "20"
27
+ (alt HEX (seq "\\" (range "\\trn'\"[]()-")) (range "^\t\r\n'\"[]()-")))
28
+ (terminal POSTFIX "21" (range "?*+"))
29
+ (terminal PASS "22"
30
+ (plus
31
+ (alt
32
+ (range "#x20\t\r\n")
33
+ (seq (alt "#" "//") (star (range "^\r\n")))
34
+ (seq "/*" (star (alt (opt (seq "*" (range "^/"))) (range "^*"))) "*/")) )) )
data/etc/turtle.ll1.sxp CHANGED
@@ -258,7 +258,7 @@
258
258
  STRING_LITERAL_SINGLE_QUOTE "[" "]" "^^" "false" "true" )
259
259
  (alt STRING_LITERAL_QUOTE STRING_LITERAL_SINGLE_QUOTE
260
260
  STRING_LITERAL_LONG_SINGLE_QUOTE STRING_LITERAL_LONG_QUOTE ))
261
- (terminal IRIREF "18" (seq "<" (star (alt (range "^#x00-#x20<>\"{}|^`\\") UCHAR)) ">"))
261
+ (terminal IRIREF "18" (seq "<" (range "^#x00-#x20<>\"{}|^`] | UCHAR)* '>'")))
262
262
  (terminal INTEGER "19" (seq (opt (range "+-")) (plus (range "0-9"))))
263
263
  (terminal DECIMAL "20"
264
264
  (seq (opt (range "+-")) (seq (star (range "0-9")) "." (plus (range "0-9")))))
@@ -274,11 +274,11 @@
274
274
  (terminal STRING_LITERAL_SINGLE_QUOTE "23"
275
275
  (seq "'" (star (alt (range "^#x27#x5C#xA#xD") ECHAR UCHAR)) "'"))
276
276
  (terminal STRING_LITERAL_LONG_SINGLE_QUOTE "24"
277
- (seq "'''" (star (seq (opt (alt "'" "''")) (alt (range "^'\\") ECHAR UCHAR))) "'''"))
277
+ (seq "'''" (seq (opt (alt "'" "''")) (range "^'] | ECHAR | UCHAR ))* \"'''\""))))
278
278
  (terminal STRING_LITERAL_LONG_QUOTE "25"
279
- (seq "\"\"\"" (star (seq (opt (alt "\"" "\"\"")) (alt (range "^\"\\") ECHAR UCHAR))) "\"\"\""))
279
+ (seq "\"\"\"" (seq (opt (alt "\"" "\"\"")) (range "^\"] | ECHAR | UCHAR ))* '\"\"\"'"))))
280
280
  (terminal UCHAR "26"
281
- (alt (seq "\\u" HEX HEX HEX HEX) (seq "\\U" HEX HEX HEX HEX HEX HEX HEX HEX)))
281
+ (alt (seq "u" HEX HEX HEX HEX) (seq "U" HEX HEX HEX HEX HEX HEX HEX HEX)))
282
282
  (rule sparqlPrefix "28s"
283
283
  (first SPARQL_PREFIX)
284
284
  (follow "(" "@base" "@prefix" ANON BLANK_NODE_LABEL IRIREF PNAME_LN PNAME_NS
@@ -373,7 +373,7 @@
373
373
  (terminal LANGTAG "144s"
374
374
  (seq "@" (plus (range "a-zA-Z")) (star (seq "-" (plus (range "a-zA-Z0-9"))))))
375
375
  (terminal EXPONENT "154s" (seq (range "eE") (opt (range "+-")) (plus (range "0-9"))))
376
- (terminal ECHAR "159s" (seq "\\" (range "tbnrf\\\"'")))
376
+ (terminal ECHAR "159s" (seq "\\" (range "tbnrf\"'")))
377
377
  (terminal WS "161s" (alt (hex "#x20") (hex "#x9") (hex "#xD") (hex "#xA")))
378
378
  (terminal ANON "162s" (seq "[" (star WS) "]"))
379
379
  (terminal PN_CHARS_BASE "163s"
data/etc/turtle.rb CHANGED
@@ -193,7 +193,9 @@ module Branch
193
193
  "a" => [:verb, :objectList, :_predicateObjectList_1],
194
194
  },
195
195
  :_predicateObjectList_1 => {
196
+ "." => [],
196
197
  ";" => [:_predicateObjectList_3],
198
+ "]" => [],
197
199
  },
198
200
  :_predicateObjectList_2 => {
199
201
  ";" => [";", :_predicateObjectList_4],
@@ -202,10 +204,12 @@ module Branch
202
204
  ";" => [:_predicateObjectList_2, :_predicateObjectList_1],
203
205
  },
204
206
  :_predicateObjectList_4 => {
207
+ "." => [],
205
208
  ";" => [],
206
209
  :IRIREF => [:_predicateObjectList_5],
207
210
  :PNAME_LN => [:_predicateObjectList_5],
208
211
  :PNAME_NS => [:_predicateObjectList_5],
212
+ "]" => [],
209
213
  "a" => [:_predicateObjectList_5],
210
214
  },
211
215
  :_predicateObjectList_5 => {
@@ -754,6 +758,7 @@ module Branch
754
758
  :ANON,
755
759
  "(",
756
760
  "[",
761
+ ";",
757
762
  :PNAME_LN,
758
763
  :PNAME_NS,
759
764
  :INTEGER,
@@ -761,7 +766,6 @@ module Branch
761
766
  :DOUBLE,
762
767
  "true",
763
768
  "false",
764
- ";",
765
769
  :STRING_LITERAL_QUOTE,
766
770
  :STRING_LITERAL_SINGLE_QUOTE,
767
771
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -776,6 +780,7 @@ module Branch
776
780
  :ANON,
777
781
  "(",
778
782
  "[",
783
+ ";",
779
784
  :PNAME_LN,
780
785
  :PNAME_NS,
781
786
  :INTEGER,
@@ -783,7 +788,6 @@ module Branch
783
788
  :DOUBLE,
784
789
  "true",
785
790
  "false",
786
- ";",
787
791
  :STRING_LITERAL_QUOTE,
788
792
  :STRING_LITERAL_SINGLE_QUOTE,
789
793
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -798,6 +802,7 @@ module Branch
798
802
  :ANON,
799
803
  "(",
800
804
  "[",
805
+ ";",
801
806
  :PNAME_LN,
802
807
  :PNAME_NS,
803
808
  :INTEGER,
@@ -805,7 +810,6 @@ module Branch
805
810
  :DOUBLE,
806
811
  "true",
807
812
  "false",
808
- ";",
809
813
  :STRING_LITERAL_QUOTE,
810
814
  :STRING_LITERAL_SINGLE_QUOTE,
811
815
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -828,11 +832,11 @@ module Branch
828
832
  :DOUBLE,
829
833
  "true",
830
834
  "false",
835
+ ";",
831
836
  :STRING_LITERAL_QUOTE,
832
837
  :STRING_LITERAL_SINGLE_QUOTE,
833
838
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
834
- :STRING_LITERAL_LONG_QUOTE,
835
- ";"],
839
+ :STRING_LITERAL_LONG_QUOTE],
836
840
  :RDFLiteral => [
837
841
  ")",
838
842
  ",",
@@ -843,6 +847,7 @@ module Branch
843
847
  :ANON,
844
848
  "(",
845
849
  "[",
850
+ ";",
846
851
  :PNAME_LN,
847
852
  :PNAME_NS,
848
853
  :INTEGER,
@@ -850,7 +855,6 @@ module Branch
850
855
  :DOUBLE,
851
856
  "true",
852
857
  "false",
853
- ";",
854
858
  :STRING_LITERAL_QUOTE,
855
859
  :STRING_LITERAL_SINGLE_QUOTE,
856
860
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -865,6 +869,7 @@ module Branch
865
869
  :ANON,
866
870
  "(",
867
871
  "[",
872
+ ";",
868
873
  :PNAME_LN,
869
874
  :PNAME_NS,
870
875
  :INTEGER,
@@ -872,7 +877,6 @@ module Branch
872
877
  :DOUBLE,
873
878
  "true",
874
879
  "false",
875
- ";",
876
880
  :STRING_LITERAL_QUOTE,
877
881
  :STRING_LITERAL_SINGLE_QUOTE,
878
882
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -887,6 +891,7 @@ module Branch
887
891
  :ANON,
888
892
  "(",
889
893
  "[",
894
+ ";",
890
895
  :PNAME_LN,
891
896
  :PNAME_NS,
892
897
  :INTEGER,
@@ -894,7 +899,6 @@ module Branch
894
899
  :DOUBLE,
895
900
  "true",
896
901
  "false",
897
- ";",
898
902
  :STRING_LITERAL_QUOTE,
899
903
  :STRING_LITERAL_SINGLE_QUOTE,
900
904
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -909,6 +913,7 @@ module Branch
909
913
  :ANON,
910
914
  "(",
911
915
  "[",
916
+ ";",
912
917
  :PNAME_LN,
913
918
  :PNAME_NS,
914
919
  :INTEGER,
@@ -916,7 +921,6 @@ module Branch
916
921
  :DOUBLE,
917
922
  "true",
918
923
  "false",
919
- ";",
920
924
  :STRING_LITERAL_QUOTE,
921
925
  :STRING_LITERAL_SINGLE_QUOTE,
922
926
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -931,6 +935,7 @@ module Branch
931
935
  :ANON,
932
936
  "(",
933
937
  "[",
938
+ ";",
934
939
  :PNAME_LN,
935
940
  :PNAME_NS,
936
941
  :INTEGER,
@@ -938,7 +943,6 @@ module Branch
938
943
  :DOUBLE,
939
944
  "true",
940
945
  "false",
941
- ";",
942
946
  :STRING_LITERAL_QUOTE,
943
947
  :STRING_LITERAL_SINGLE_QUOTE,
944
948
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -955,6 +959,7 @@ module Branch
955
959
  :ANON,
956
960
  "(",
957
961
  "[",
962
+ ";",
958
963
  :PNAME_LN,
959
964
  :PNAME_NS,
960
965
  :INTEGER,
@@ -962,7 +967,6 @@ module Branch
962
967
  :DOUBLE,
963
968
  "true",
964
969
  "false",
965
- ";",
966
970
  :STRING_LITERAL_QUOTE,
967
971
  :STRING_LITERAL_SINGLE_QUOTE,
968
972
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1004,6 +1008,7 @@ module Branch
1004
1008
  :ANON,
1005
1009
  "(",
1006
1010
  "[",
1011
+ ";",
1007
1012
  :PNAME_LN,
1008
1013
  :PNAME_NS,
1009
1014
  :INTEGER,
@@ -1011,7 +1016,6 @@ module Branch
1011
1016
  :DOUBLE,
1012
1017
  "true",
1013
1018
  "false",
1014
- ";",
1015
1019
  :STRING_LITERAL_QUOTE,
1016
1020
  :STRING_LITERAL_SINGLE_QUOTE,
1017
1021
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1027,6 +1031,7 @@ module Branch
1027
1031
  :ANON,
1028
1032
  "(",
1029
1033
  "[",
1034
+ ";",
1030
1035
  :PNAME_LN,
1031
1036
  :PNAME_NS,
1032
1037
  :INTEGER,
@@ -1034,7 +1039,6 @@ module Branch
1034
1039
  :DOUBLE,
1035
1040
  "true",
1036
1041
  "false",
1037
- ";",
1038
1042
  :STRING_LITERAL_QUOTE,
1039
1043
  :STRING_LITERAL_SINGLE_QUOTE,
1040
1044
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1050,6 +1054,7 @@ module Branch
1050
1054
  :ANON,
1051
1055
  "(",
1052
1056
  "[",
1057
+ ";",
1053
1058
  :PNAME_LN,
1054
1059
  :PNAME_NS,
1055
1060
  :INTEGER,
@@ -1057,7 +1062,6 @@ module Branch
1057
1062
  :DOUBLE,
1058
1063
  "true",
1059
1064
  "false",
1060
- ";",
1061
1065
  :STRING_LITERAL_QUOTE,
1062
1066
  :STRING_LITERAL_SINGLE_QUOTE,
1063
1067
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1073,6 +1077,7 @@ module Branch
1073
1077
  :ANON,
1074
1078
  "(",
1075
1079
  "[",
1080
+ ";",
1076
1081
  :PNAME_LN,
1077
1082
  :PNAME_NS,
1078
1083
  :INTEGER,
@@ -1080,7 +1085,6 @@ module Branch
1080
1085
  :DOUBLE,
1081
1086
  "true",
1082
1087
  "false",
1083
- ";",
1084
1088
  :STRING_LITERAL_QUOTE,
1085
1089
  :STRING_LITERAL_SINGLE_QUOTE,
1086
1090
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1100,6 +1104,7 @@ module Branch
1100
1104
  :ANON,
1101
1105
  "(",
1102
1106
  "[",
1107
+ ";",
1103
1108
  :PNAME_LN,
1104
1109
  :PNAME_NS,
1105
1110
  :INTEGER,
@@ -1107,7 +1112,6 @@ module Branch
1107
1112
  :DOUBLE,
1108
1113
  "true",
1109
1114
  "false",
1110
- ";",
1111
1115
  :STRING_LITERAL_QUOTE,
1112
1116
  :STRING_LITERAL_SINGLE_QUOTE,
1113
1117
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1125,6 +1129,7 @@ module Branch
1125
1129
  :ANON,
1126
1130
  "(",
1127
1131
  "[",
1132
+ ";",
1128
1133
  :PNAME_LN,
1129
1134
  :PNAME_NS,
1130
1135
  :INTEGER,
@@ -1132,7 +1137,6 @@ module Branch
1132
1137
  :DOUBLE,
1133
1138
  "true",
1134
1139
  "false",
1135
- ";",
1136
1140
  :STRING_LITERAL_QUOTE,
1137
1141
  :STRING_LITERAL_SINGLE_QUOTE,
1138
1142
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1150,29 +1154,6 @@ module Branch
1150
1154
  "(",
1151
1155
  :PNAME_LN,
1152
1156
  :PNAME_NS],
1153
- :_empty => [
1154
- :_eof,
1155
- ".",
1156
- ")",
1157
- ";",
1158
- "]",
1159
- ",",
1160
- :IRIREF,
1161
- :BLANK_NODE_LABEL,
1162
- :ANON,
1163
- "(",
1164
- "[",
1165
- :PNAME_LN,
1166
- :PNAME_NS,
1167
- :INTEGER,
1168
- :DECIMAL,
1169
- :DOUBLE,
1170
- "true",
1171
- "false",
1172
- :STRING_LITERAL_QUOTE,
1173
- :STRING_LITERAL_SINGLE_QUOTE,
1174
- :STRING_LITERAL_LONG_SINGLE_QUOTE,
1175
- :STRING_LITERAL_LONG_QUOTE],
1176
1157
  :iri => [
1177
1158
  "a",
1178
1159
  :IRIREF,
@@ -1191,11 +1172,11 @@ module Branch
1191
1172
  :DOUBLE,
1192
1173
  "true",
1193
1174
  "false",
1175
+ ";",
1194
1176
  :STRING_LITERAL_QUOTE,
1195
1177
  :STRING_LITERAL_SINGLE_QUOTE,
1196
1178
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
1197
- :STRING_LITERAL_LONG_QUOTE,
1198
- ";"],
1179
+ :STRING_LITERAL_LONG_QUOTE],
1199
1180
  :literal => [
1200
1181
  ")",
1201
1182
  ",",
@@ -1206,6 +1187,7 @@ module Branch
1206
1187
  :ANON,
1207
1188
  "(",
1208
1189
  "[",
1190
+ ";",
1209
1191
  :PNAME_LN,
1210
1192
  :PNAME_NS,
1211
1193
  :INTEGER,
@@ -1213,7 +1195,6 @@ module Branch
1213
1195
  :DOUBLE,
1214
1196
  "true",
1215
1197
  "false",
1216
- ";",
1217
1198
  :STRING_LITERAL_QUOTE,
1218
1199
  :STRING_LITERAL_SINGLE_QUOTE,
1219
1200
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1228,6 +1209,7 @@ module Branch
1228
1209
  :ANON,
1229
1210
  "(",
1230
1211
  "[",
1212
+ ";",
1231
1213
  :PNAME_LN,
1232
1214
  :PNAME_NS,
1233
1215
  :INTEGER,
@@ -1235,7 +1217,6 @@ module Branch
1235
1217
  :DOUBLE,
1236
1218
  "true",
1237
1219
  "false",
1238
- ";",
1239
1220
  :STRING_LITERAL_QUOTE,
1240
1221
  :STRING_LITERAL_SINGLE_QUOTE,
1241
1222
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
@@ -1283,26 +1264,50 @@ module Branch
1283
1264
  :DOUBLE,
1284
1265
  "true",
1285
1266
  "false",
1267
+ ")",
1268
+ ",",
1269
+ ".",
1270
+ "]",
1286
1271
  :STRING_LITERAL_QUOTE,
1287
1272
  :STRING_LITERAL_SINGLE_QUOTE,
1288
1273
  :STRING_LITERAL_LONG_SINGLE_QUOTE,
1289
- :STRING_LITERAL_LONG_QUOTE],
1274
+ :STRING_LITERAL_LONG_QUOTE,
1275
+ ";"],
1290
1276
  :predicateObjectList => [
1291
1277
  ".",
1292
1278
  "]"],
1279
+ :_predicateObjectList_1 => [
1280
+ ".",
1281
+ "]"],
1293
1282
  :_predicateObjectList_2 => [
1294
- ";"],
1283
+ ";",
1284
+ ".",
1285
+ "]"],
1286
+ :_predicateObjectList_3 => [
1287
+ ".",
1288
+ "]"],
1295
1289
  :_predicateObjectList_4 => [
1296
- ";"],
1290
+ ";",
1291
+ ".",
1292
+ "]"],
1297
1293
  :_predicateObjectList_5 => [
1298
- ";"],
1294
+ ";",
1295
+ ".",
1296
+ "]"],
1299
1297
  :_predicateObjectList_6 => [
1300
1298
  ".",
1301
1299
  "]"],
1300
+ :_predicateObjectList_7 => [
1301
+ ".",
1302
+ "]"],
1302
1303
  :_predicateObjectList_8 => [
1303
- ";"],
1304
+ ";",
1305
+ ".",
1306
+ "]"],
1304
1307
  :_predicateObjectList_9 => [
1305
- ";"],
1308
+ ";",
1309
+ ".",
1310
+ "]"],
1306
1311
  :prefixID => [
1307
1312
  :_eof,
1308
1313
  "@prefix",