ebnf 0.3.1 → 0.3.2

Sign up to get free protection for your applications and to get access to all the features.
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",