/[suikacvs]/markup/html/whatpm/t/webidl/webidl-interface.dat
Suika

Contents of /markup/html/whatpm/t/webidl/webidl-interface.dat

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.4 - (hide annotations) (download)
Sun Aug 3 05:43:11 2008 UTC (16 years, 11 months ago) by wakaba
Branch: MAIN
Changes since 1.3: +929 -0 lines
++ whatpm/t/webidl/ChangeLog	3 Aug 2008 05:42:49 -0000
2008-08-03  Wakaba  <wakaba@suika.fam.cx>

	* webidl-defs.dat: Test result updated.

	* webidl-interface.dat: New test data for attributes
	and operations are added.

++ whatpm/Whatpm/ChangeLog	3 Aug 2008 05:42:21 -0000
2008-08-03  Wakaba  <wakaba@suika.fam.cx>

	* WebIDL.pm ($resolve): New code, based on resolve code
	for constant types in the |check| method.
	(check): Support for checking of attributes, operations, and
	arguments.
	(Attribute/Operation idl_text): Exception names in getraises,
	setraises, and raises clauses is serizlied by |$serialize_type|
	code.

1 wakaba 1.1 #data
2     interface abc;
3     #errors
4     1;non-module definition;s
5     #document
6     | interface abc;
7    
8     #data
9     interface abc : def;
10     #errors
11     1.20;before interface block;m
12     #document
13    
14     #data
15     interface abc : def;
16     interface xyz;
17     #errors
18     1.20;before interface block;m
19     2;non-module definition;s
20     #document
21     | interface xyz;
22    
23 wakaba 1.2 #data
24     module m {
25     interface x {
26     attribute long a;
27     attribute long b;
28     };};
29     #errors
30     #document
31     | module m {
32     |
33     | interface x {
34     | attribute long a;
35     | attribute long b;
36     | };
37     |
38     | };
39    
40     #data
41     module m {
42     interface x {
43     attribute long a;
44     attribute long a;
45     };};
46     #errors
47     4;duplicate interface member;m
48     #document
49     | module m {
50     |
51     | interface x {
52     | attribute long a;
53     | attribute long a;
54     | };
55     |
56     | };
57    
58     #data
59     module m {
60     interface x {
61     attribute long a;
62     };
63     interface x {
64     attribute long a;
65     };};
66     #errors
67     5;duplicate qname;m
68    
69     #data
70     module m {
71     interface x {
72     attribute long a;
73     attribute long _a;
74     };};
75     #errors
76     4;duplicate interface member;m
77    
78     #data
79     module m {
80     interface x {
81     attribute long a;
82     attribute long __a;
83     };};
84     #errors
85    
86     #data
87     module m {
88     interface x {
89     attribute long a;
90     const long a = 1;
91     };};
92     #errors
93     4;duplicate interface member;m
94    
95     #data
96     module m {
97     interface x {
98     long a ();
99     long a ();
100     };};
101     #errors
102    
103     #data
104     interface x {};
105     interface y : x {};
106     #errors
107     1;non-module definition;s
108     2;non-module definition;s
109    
110     #data
111     interface x;
112     interface y : x {};
113     #errors
114     1;non-module definition;s
115     2;non-module definition;s
116    
117     #data
118     interface x : y {};
119     #errors
120     1;non-module definition;s
121     1;interface not defined;m;y
122    
123     #data
124     module m {
125     interface x {};
126     interface y : x {};
127     };
128     #errors
129    
130     #data
131     module m {
132     interface x {};
133     };
134     module n {
135     interface y : x {};
136     };
137     #errors
138     5;interface not defined;m;x
139    
140     #data
141     module m {
142     interface x : y::DOMString {};
143     };
144     #errors
145     2;interface not defined;m;y::DOMString
146    
147     #data
148     module m {
149     interface _DOMString {};
150     interface x : _DOMString {};
151     };
152     #errors
153    
154     #data
155     module m {
156     interface _DOMString {};
157     interface x : m::_DOMString {};
158     };
159     #errors
160     3;interface not defined;m;m::DOMString
161    
162     #data
163     module m {
164     interface _DOMString {};
165     interface x : m::DOMString {};
166     };
167     #errors
168     3;interface not defined;m;m::DOMString
169    
170     #data
171     module m {
172     interface _DOMString {};
173     interface x : ::m::_DOMString {};
174     };
175     #errors
176     3;interface not defined;m;::m::DOMString
177    
178     #data
179     interface x {}; // defines x1
180     module m {
181     interface y : x {}; // inherits x1
182     interface x : x {}; // defines x2, which inherits x1
183     interface z : x {}; // inherits x2
184     };
185     #errors
186     1;non-module definition;s
187    
188     #data
189     module m {
190     interface x : x {};
191     };
192     #errors
193     2;interface not defined;m;x
194    
195     #data
196     module m {
197     interface y : x {};
198     interface x {};
199     };
200     #errors
201     2;interface not defined;m;x
202    
203     #data
204     module m {
205     interface x {};
206     interface y {};
207     interface z : x, y {};
208     };
209     #errors
210    
211     #data
212     module m {
213     interface x : ::x {};
214     };
215     #errors
216     2;interface not defined;m;::x
217    
218     #data
219     module m {
220     interface x {};
221     };
222     module n {
223     interface y : m::x {};
224     };
225     #errors
226    
227     #data
228     module m {
229     interface x {};
230     module n {
231     interface y : x {};
232     };
233     };
234     #errors
235     4;interface not defined;m;x
236    
237     #data
238     module m {
239     module n {
240     interface x {};
241     };
242     };
243     module l {
244     interface y : m::n::x {};
245     };
246     #errors
247    
248     #data
249     module m {
250     module n {};
251     interface x : n {};
252     };
253     #errors
254     3;interface not defined;m;n
255    
256     #data
257     module m {
258     exception x {};
259     interface y : x {};
260     };
261     #errors
262     3;interface not defined;m;x
263    
264     #data
265     module m {
266     interface x;
267     interface y : x {};
268     };
269     #errors
270 wakaba 1.3
271     #data
272     module m {
273     interface i {
274     const long t = 234;
275     };
276     };
277     #errors
278    
279     #data
280     module m {
281     interface i {
282     const boolean t = 234;
283     };
284     };
285     #errors
286     3:234;const type mismatch;m;boolean
287    
288     #data
289     module m {
290     interface i {
291     const unsigned long t = -02;
292     };
293     };
294     #errors
295     3:-2;const value out of range;m
296    
297     #data
298     module m {
299     interface i {
300     const any t = 234;
301     };
302     };
303     #errors
304    
305     #data
306     module m {
307     interface i {
308     const long t = 234.4;
309     };
310     };
311     #errors
312     3:234.4;const type mismatch;m;long
313    
314     #data
315     module m {
316     interface i {
317     const long t =TRUE;
318     };
319     };
320     #errors
321     3:TRUE;const type mismatch;m;long
322    
323     #data
324     module m {
325     interface i {
326     const DOMString t = 234;
327     };
328     };
329     #errors
330     3:234;const type mismatch;m;DOMString
331    
332     #data
333     module m {
334     const octet LF = 0x0A;
335     };
336     #errors
337     #document
338     | module m {
339     |
340     | const octet LF = 10;
341     |
342     | };
343    
344     #data
345     module m {
346     const octet LF = 0X0a;
347     };
348     #errors
349     #document
350     | module m {
351     |
352     | const octet LF = 10;
353     |
354     | };
355    
356     #data
357     module m {
358     const octet LF = 012;
359     };
360     #errors
361     #document
362     | module m {
363     |
364     | const octet LF = 10;
365     |
366     | };
367    
368     #data
369     module m {
370     const octet LF = 10;
371     };
372     #errors
373     #document
374     | module m {
375     |
376     | const octet LF = 10;
377     |
378     | };
379    
380     #data
381     module m {
382     const octet LF = 10.00;
383     };
384     #errors
385     2:10;const type mismatch;m;octet
386     #document
387     | module m {
388     |
389     | const octet LF = 10;
390     |
391     | };
392    
393     #data
394     module m {
395     const octet CR = -0x0D;
396     };
397     #errors
398     2:-13;const value out of range;m
399     #document
400     | module m {
401     |
402     | const octet CR = -13;
403     |
404     | };
405 wakaba 1.4
406     #data
407     interface x {};
408     module m {
409     typedef long x;
410     interface y : x {};
411     };
412     #errors
413     1;non-module definition;s
414     4;interface not defined;m;x
415    
416     #data
417     module m {
418     interface x {
419     attribute long a;
420     };
421     };
422     #errors
423     #document
424     | module m {
425     |
426     | interface x {
427     | attribute long a;
428     | };
429     |
430     | };
431    
432     #data
433     module m {
434     interface x {
435     attribute unsigned short a;
436     };
437     };
438     #errors
439     #document
440     | module m {
441     |
442     | interface x {
443     | attribute unsigned short a;
444     | };
445     |
446     | };
447    
448     #data
449     module m {
450     interface x {
451     attribute Object a;
452     };
453     };
454     #errors
455     #document
456     | module m {
457     |
458     | interface x {
459     | attribute Object a;
460     | };
461     |
462     | };
463    
464     #data
465     module m {
466     interface x {
467     attribute DOMString a;
468     };
469     };
470     #errors
471     #document
472     | module m {
473     |
474     | interface x {
475     | attribute DOMString a;
476     | };
477     |
478     | };
479    
480     #data
481     module m {
482     interface x {
483     attribute _DOMString a;
484     };
485     };
486     #errors
487     3;type not defined;m;DOMString
488    
489     #data
490     module m {
491     interface x {
492     attribute m::DOMString a;
493     };
494     };
495     #errors
496     3;type not defined;m;m::DOMString
497     #document
498     | module m {
499     |
500     | interface x {
501     | attribute m::DOMString a;
502     | };
503     |
504     | };
505    
506     #data
507     module m {
508     interface x {
509     attribute m::_DOMString a;
510     };
511     };
512     #errors
513     3;type not defined;m;m::DOMString
514    
515     #data
516     module m {
517     exception ex {};
518     interface x {
519     attribute ex x;
520     };
521     };
522     #errors
523     4;type not defined;m;ex
524    
525     #data
526     module m {
527     typedef long l;
528     interface x {
529     attribute l mylong;
530     };
531     };
532     #errors
533    
534     #data
535     module m {
536     valuetype mystr sequence<octet>;
537     interface x {
538     attribute mystr text;
539     };
540     };
541     #errors
542    
543     #data
544     module m {
545     const boolean v = TRUE;
546     interface x {
547     attribute v myvalue;
548     };
549     };
550     #errors
551     4;type not defined;m;v
552    
553     #data
554     module m {
555     interface x {
556     attribute x a;
557     };
558     };
559     #errors
560     #document
561     | module m {
562     |
563     | interface x {
564     | attribute x a;
565     | };
566     |
567     | };
568    
569     #data
570     module m {
571     interface x {
572     attribute m::x a;
573     };
574     };
575     #errors
576     #document
577     | module m {
578     |
579     | interface x {
580     | attribute m::x a;
581     | };
582     |
583     | };
584    
585     #data
586     module m {
587     interface y {};
588     interface x {
589     attribute y a;
590     };
591     };
592     #errors
593     #document
594     | module m {
595     |
596     | interface y {
597     | };
598     | interface x {
599     | attribute y a;
600     | };
601     |
602     | };
603    
604     #data
605     module m {
606     interface x {
607     attribute y a;
608     };
609     interface y {
610     };
611     };
612     #errors
613     3;type not defined;m;y
614     #document
615     | module m {
616     |
617     | interface x {
618     | attribute y a;
619     | };
620     | interface y {
621     | };
622     |
623     | };
624    
625     #data
626     interface y {};
627     module m {
628     interface x {
629     attribute y a;
630     };
631     };
632     #errors
633     1;non-module definition;s
634     #document
635     | interface y {
636     | };
637     |
638     | module m {
639     |
640     | interface x {
641     | attribute y a;
642     | };
643     |
644     | };
645    
646     #data
647     interface y {};
648     module m {
649     interface x {
650     attribute ::y a;
651     };
652     };
653     #errors
654     1;non-module definition;s
655     #document
656     | interface y {
657     | };
658     |
659     | module m {
660     |
661     | interface x {
662     | attribute ::y a;
663     | };
664     |
665     | };
666    
667     #data
668     module m {
669     interface y {};
670     interface x {
671     attribute ::m::y a;
672     };
673     };
674     #errors
675     #document
676     | module m {
677     |
678     | interface y {
679     | };
680     | interface x {
681     | attribute ::m::y a;
682     | };
683     |
684     | };
685    
686     #data
687     module m {
688     exception x {};
689     interface y {
690     attribute boolean a getraises (x);
691     };
692     };
693     #errors
694     #document
695     | module m {
696     |
697     | exception x {
698     | };
699     | interface y {
700     | attribute boolean a getraises (x);
701     | };
702     |
703     | };
704    
705     #data
706     module m {
707     exception x {};
708     interface y {
709     attribute boolean a getraises (x,x);
710     };
711     };
712     #errors
713     #document
714     | module m {
715     |
716     | exception x {
717     | };
718     | interface y {
719     | attribute boolean a getraises (x, x);
720     | };
721     |
722     | };
723    
724     #data
725     module m {
726     exception x {};
727     interface y {
728     attribute boolean a getraises (x, ::m::x);
729     };
730     };
731     #errors
732     #document
733     | module m {
734     |
735     | exception x {
736     | };
737     | interface y {
738     | attribute boolean a getraises (x, ::m::x);
739     | };
740     |
741     | };
742    
743     #data
744     module m {
745     exception x {};
746     interface y {
747     attribute boolean a getraises (x, z);
748     };
749     };
750     #errors
751     4;exception not defined;m;z
752    
753     #data
754     module m {
755    
756     interface y {
757     attribute boolean a getraises (z);
758     };
759     };
760     #errors
761     4;exception not defined;m;z
762    
763     #data
764     module m {
765     exception _DOMString {};
766     interface y {
767     attribute boolean a getraises (_DOMString);
768     };
769     };
770     #errors
771    
772     #data
773     module m {
774     exception _DOMString {};
775     interface y {
776     attribute boolean a getraises (m::_DOMString);
777     };
778     };
779     #errors
780     4;exception not defined;m;m::DOMString
781    
782     #data
783     exception _DOMString {};
784     module m {
785     interface y {
786     attribute boolean a getraises (::_DOMString);
787     };
788     };
789     #errors
790     1;non-module definition;s
791     4;exception not defined;m;::DOMString
792    
793     #data
794     module m {
795     interface y {
796     attribute boolean a getraises (x);
797     };
798     exception x {};
799     };
800     #errors
801     3;exception not defined;m;x
802    
803     #data
804     module m {
805     interface x {};
806     interface y {
807     attribute boolean a getraises (x);
808     };
809     };
810     #errors
811     4;exception not defined;m;x
812    
813     #data
814     module m {
815     typedef long x;
816     interface y {
817     attribute boolean a getraises (x);
818     };
819     };
820     #errors
821     4;exception not defined;m;x
822    
823     #data
824     module m {
825     exception ex {}; typedef ex x;
826     interface y {
827     attribute boolean a getraises (x);
828     };
829     };
830     #errors
831     4;exception not defined;m;x
832    
833     #data
834     module m {
835     valuetype x boolean;
836     interface y {
837     attribute boolean a getraises (x);
838     };
839     };
840     #errors
841     4;exception not defined;m;x
842    
843     #data
844     module m {
845     exception x {};
846     interface y {
847     attribute boolean a setraises (x);
848     };
849     };
850     #errors
851    
852     #data
853     module m {
854    
855     interface y {
856     attribute boolean a setraises (x);
857     };
858     };
859     #errors
860     4;exception not defined;m;x
861    
862     #data
863     module m {
864     exception x {};
865     interface y {
866     attribute boolean a getraises (x) setraises (x);
867     };
868     };
869     #errors
870    
871     #data
872     module m {
873     exception x {};
874     interface y {
875     attribute boolean a getraises (x) setraises (z);
876     };
877     };
878     #errors
879     4;exception not defined;m;z
880    
881     #data
882     module m {
883     interface x {
884     void m ();
885     };
886     };
887     #errors
888     #document
889     | module m {
890     |
891     | interface x {
892     | void m ();
893     | };
894     |
895     | };
896    
897     #data
898     module m {
899     interface x {
900     long m ();
901     };
902     };
903     #errors
904     #document
905     | module m {
906     |
907     | interface x {
908     | long m ();
909     | };
910     |
911     | };
912    
913     #data
914     module m {
915     interface x {
916     long long m ();
917     };
918     };
919     #errors
920     #document
921     | module m {
922     |
923     | interface x {
924     | long long m ();
925     | };
926     |
927     | };
928    
929     #data
930     module m {
931     interface x {
932     DOMString m ();
933     };
934     };
935     #errors
936     #document
937     | module m {
938     |
939     | interface x {
940     | DOMString m ();
941     | };
942     |
943     | };
944    
945     #data
946     module m {
947     interface x {
948     x m ();
949     };
950     };
951     #errors
952     #document
953     | module m {
954     |
955     | interface x {
956     | x m ();
957     | };
958     |
959     | };
960    
961     #data
962     module m {
963     interface x {
964     m::x m ();
965     };
966     };
967     #errors
968     #document
969     | module m {
970     |
971     | interface x {
972     | m::x m ();
973     | };
974     |
975     | };
976    
977     #data
978     module m {
979     interface x {
980     ::m::x m ();
981     };
982     };
983     #errors
984     #document
985     | module m {
986     |
987     | interface x {
988     | ::m::x m ();
989     | };
990     |
991     | };
992    
993     #data
994     module m {
995     interface x {
996     m method ();
997     };
998     };
999     #errors
1000     3;type not defined;m;m
1001    
1002     #data
1003     module m {
1004     interface x {
1005     _DOMString method ();
1006     };
1007     };
1008     #errors
1009     3;type not defined;m;DOMString
1010    
1011     #data
1012     module m {
1013     interface _DOMString {};
1014     interface x {
1015     _DOMString method ();
1016     };
1017     };
1018     #errors
1019    
1020     #data
1021     module m {
1022     interface _DOMString {};
1023     interface x {
1024     m::_DOMString method ();
1025     };
1026     };
1027     #errors
1028     4;type not defined;m;m::DOMString
1029    
1030     #data
1031     module m {
1032     interface u {};
1033     interface x {
1034     u method ();
1035     };
1036     };
1037     #errors
1038    
1039     #data
1040     interface f {};
1041     module m {
1042     interface x {
1043     f method ();
1044     };
1045     };
1046     #errors
1047     1;non-module definition;s
1048    
1049     #data
1050     module m {
1051     interface x {
1052     z method ();
1053     };
1054     };
1055     #errors
1056     3;type not defined;m;z
1057    
1058     #data
1059     module m {
1060     typedef long z;
1061     interface x {
1062     z method ();
1063     };
1064     };
1065     #errors
1066    
1067     #data
1068     module m {
1069     interface x {
1070     _long method ();
1071     };
1072     };
1073     #errors
1074     3;type not defined;m;long
1075    
1076     #data
1077     module m {
1078     valuetype s sequence<DOMString>;
1079     interface x {
1080     s method ();
1081     };
1082     };
1083     #errors
1084    
1085     #data
1086     module m {
1087     exception e {};
1088     interface x {
1089     e method ();
1090     };
1091     };
1092     #errors
1093     4;type not defined;m;e
1094    
1095     #data
1096     module m {
1097     interface x {
1098     void method (in boolean b);
1099     };
1100     };
1101     #errors
1102     #document
1103     | module m {
1104     |
1105     | interface x {
1106     | void method (in boolean b);
1107     | };
1108     |
1109     | };
1110    
1111     #data
1112     module m {
1113     interface x {
1114     void method (in boolean b, in long c);
1115     };
1116     };
1117     #errors
1118     #document
1119     | module m {
1120     |
1121     | interface x {
1122     | void method (in boolean b, in long c);
1123     | };
1124     |
1125     | };
1126    
1127     #data
1128     module m {
1129     interface x {
1130     void method (in DOMString b);
1131     };
1132     };
1133     #errors
1134     #document
1135     | module m {
1136     |
1137     | interface x {
1138     | void method (in DOMString b);
1139     | };
1140     |
1141     | };
1142    
1143     #data
1144     module m {
1145     interface x {
1146     void method (in x b);
1147     };
1148     };
1149     #errors
1150    
1151     #data
1152     module m {
1153     interface x {
1154     void method (in m::x b);
1155     };
1156     };
1157     #errors
1158    
1159     #data
1160     module m {
1161     interface x {
1162     void method (in ::m::x b);
1163     };
1164     };
1165     #errors
1166    
1167     #data
1168     module m {
1169     typedef sequence<DOMString> ss;
1170     interface x {
1171     void method (in ss b);
1172     };
1173     };
1174     #errors
1175    
1176     #data
1177     module m
1178     {
1179     valuetype a long;
1180     interface x {
1181     void method (in a b);
1182     };
1183     };
1184     #errors
1185    
1186     #data
1187     module m {
1188     exception ex {};
1189     interface x {
1190     void method (in ex b);
1191     };
1192     };
1193     #errors
1194     4;type not defined;m;ex
1195    
1196     #data
1197     module m {
1198     interface x {
1199     void method (in _DOMString b);
1200     };
1201     };
1202     #errors
1203     3;type not defined;m;DOMString
1204    
1205     #data
1206     module m {
1207     interface x {
1208     void method (in y b);
1209     };
1210     interface y {};
1211     };
1212     #errors
1213     3;type not defined;m;y
1214    
1215     #data
1216     module m {
1217     exception e {};
1218     interface x {
1219     void method () raises (e);
1220     };
1221     };
1222     #errors
1223     #document
1224     | module m {
1225     |
1226     | exception e {
1227     | };
1228     | interface x {
1229     | void method () raises (e);
1230     | };
1231     |
1232     | };
1233    
1234     #data
1235     module m {
1236     exception e {};
1237     interface x {
1238     void method () raises (e,e);
1239     };
1240     };
1241     #errors
1242     #document
1243     | module m {
1244     |
1245     | exception e {
1246     | };
1247     | interface x {
1248     | void method () raises (e, e);
1249     | };
1250     |
1251     | };
1252    
1253     #data
1254     module m {
1255     exception e {};
1256     exception f {};
1257     interface x {
1258     void method () raises (e, f);
1259     };
1260     };
1261     #errors
1262     #document
1263     | module m {
1264     |
1265     | exception e {
1266     | };
1267     | exception f {
1268     | };
1269     | interface x {
1270     | void method () raises (e, f);
1271     | };
1272     |
1273     | };
1274    
1275     #data
1276     module m {
1277     interface x {
1278     void method () raises (e);
1279     };
1280     };
1281     #errors
1282     3;exception not defined;m;e
1283    
1284     #data
1285     module m {
1286     interface x {
1287     void method () raises (e);
1288     };
1289     exception e {};
1290     };
1291     #errors
1292     3;exception not defined;m;e
1293    
1294     #data
1295     module m {
1296     interface e {};
1297     interface x {
1298     void method () raises (e);
1299     };
1300     };
1301     #errors
1302     4;exception not defined;m;e
1303    
1304     #data
1305     module m {
1306     valuetype e long;
1307     interface x {
1308     void method () raises (e);
1309     };
1310     };
1311     #errors
1312     4;exception not defined;m;e
1313    
1314     #data
1315     module m {
1316     typedef DOMString e;
1317     interface x {
1318     void method () raises (e);
1319     };
1320     };
1321     #errors
1322     4;exception not defined;m;e
1323    
1324     #data
1325     module m {
1326     exception ee {};
1327     valuetype e ee;
1328     interface x {
1329     void method () raises (e);
1330     };
1331     };
1332     #errors
1333     5;exception not defined;m;e

admin@suikawiki.org
ViewVC Help
Powered by ViewVC 1.1.24