From 08a6a153a3bd6b9984936beaad56e85b5fcd63a0 Mon Sep 17 00:00:00 2001 From: juehv Date: Thu, 8 Dec 2016 14:31:36 +0100 Subject: add vhdl todo table from create-test-table script --- test/vhdl_manual/todo_vhdl.html | 2475 +++++++++++++++++++++++++++++++++++++++ test/w3c/create-test-table.pl | 6 +- 2 files changed, 2479 insertions(+), 2 deletions(-) create mode 100644 test/vhdl_manual/todo_vhdl.html diff --git a/test/vhdl_manual/todo_vhdl.html b/test/vhdl_manual/todo_vhdl.html new file mode 100644 index 0000000..83f9a1f --- /dev/null +++ b/test/vhdl_manual/todo_vhdl.html @@ -0,0 +1,2475 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Test (Req. / Man.)VHDL ECMALuaPromelaECMAVHDL Promela
Core Constructs
§3.10 The History Element 
   387XN/AFAILpasspassFAIL
   388XN/AFAILFAILpassFAIL
   579XN/AFAILpasspassFAIL
   580XN/AFAILFAILpasspass
§3.12 SCXML Events 
   396XN/AFAILpasspasspass
   399XN/AFAILpasspassFAIL
   401XN/AFAILpasspasspass
   402XN/AFAILpasspassFAIL
§3.13 Selecting and Executing Transitions 
   403bXN/AFAILpasspasspass
   403aXN/AFAILpasspassFAIL
   403cXN/AFAILpasspassFAIL
   404XN/AFAILpasspassFAIL
   405XN/AFAILpasspassFAIL
   406XN/AFAILpasspassFAIL
   407XN/AFAILpasspasspass
   409XN/AFAILpasspasspass
   411XN/AFAILpasspassFAIL
   412XN/AFAILpasspassFAIL
   413XN/AFAILpasspassFAIL
   415XXN/AN/AN/AN/Apass
   416XN/AFAILpasspassFAIL
   417XN/AFAILpasspassFAIL
   419XN/AFAILpasspasspass
   421XN/AFAILpasspassFAIL
   422XN/AFAILpasspassFAIL
   423XN/AFAILpasspassFAIL
   503XN/AFAILpasspasspass
   504XN/AFAILpasspasspass
   505XN/AFAILpasspasspass
   506XN/AFAILpasspasspass
   533XN/AFAILpasspasspass
§3.2 The SCXML Element 
   355XN/AFAILpasspasspass
   576XN/AFAILpasspassFAIL
§3.3 The State Element 
   364XN/AFAILpasspassFAIL
§3.7 The Final Element 
   372XN/AFAILpasspassFAIL
   570XN/AFAILpasspassFAIL
§3.8 The Onentry Element 
   375XN/AFAILpasspasspass
   376XN/AFAILpasspasspass
§3.9 The Onexit Element 
   377XN/AFAILpasspasspass
   378XN/AFAILpasspasspass
Executable Content
§4.2 The Raise Element 
   144XN/AFAILpasspasspass
§4.3 The If Element 
   147XN/AFAILpasspassFAIL
   148XN/AFAILpasspassFAIL
   149XN/AFAILpasspassFAIL
§4.6 The Foreach Element 
   150XN/AFAILpasspassFAIL
   151XN/AFAILpasspassFAIL
   152XN/AFAILpasspassFAIL
   153XN/AFAILpasspasspass
   155XN/AFAILpasspasspass
   156XN/AFAILpasspasspass
   525XN/AFAILpasspasspass
§4.9 Evaluation of Executable Content 
   158XN/AFAILpasspasspass
   159XN/AFAILpasspasspass
Data Model and Manipulation
§5.10 System Variables 
   318XN/AFAILpasspasspass
   319XN/AFAILpasspasspass
   321XN/AFAILpasspassFAIL
   322XN/AFAILpasspasspass
   323XN/AFAILpasspassFAIL
   324XN/AFAILpasspasspass
   325XN/AFAILpasspasspass
   326XN/AFAILpasspassFAIL
   329XN/AFAILpasspasspass
   330XN/AFAILpasspasspass
   331XN/AFAILFAILpasspass
   332XN/AFAILpasspasspass
   333XN/AFAILpasspasspass
   335XN/AFAILpasspasspass
   336XN/AFAILpasspassFAIL
   337XN/AFAILpasspasspass
   338XN/AFAILpasspassFAIL
   339XN/AFAILpasspasspass
   342XN/AFAILpasspassFAIL
   346XN/AFAILpasspassFAIL
§5.3 The Data Element 
   276XN/AFAILpasspassFAIL
   277XN/AFAILpasspasspass
   279XN/AFAILpasspasspass
   280XN/AFAILpasspasspass
   550XN/AFAILpasspasspass
   551XN/AFAILpasspasspass
   552XN/AFAILpasspasspass
§5.4 The Assign Element 
   286XN/AFAILpasspasspass
   287XN/AFAILpasspasspass
   288XN/AFAILpasspasspass
   487XN/AFAILpasspasspass
§5.5 The Donedata Element 
   294XN/AFAILpasspassFAIL
§5.6 The Content Element 
   527XN/AFAILpasspassFAIL
   528XN/AFAILpasspassFAIL
   529XN/AFAILpasspassFAIL
§5.7 The Param Element 
   298XN/AFAILpasspasspass
   343XN/AFAILpasspassFAIL
   488XN/AFAILpasspassFAIL
§5.8 The Script Element 
   301XXN/AN/AN/AN/Apass
   302XN/AFAILpasspasspass
   303XN/AFAILpasspasspass
   304XN/AFAILpasspasspass
§5.9 Expressions 
   307XXN/AN/AN/AN/AN/A
   309XN/AFAILpasspasspass
   310XN/AFAILpasspasspass
   311XN/AFAILpasspassFAIL
   312XN/AFAILpasspassFAIL
   313XXN/AN/AN/AN/AFAIL
   314XXN/AN/AN/AN/AFAIL
   344XN/AFAILpasspasspass
External Communications
§6.2 The Send Element 
   172XN/AFAILpasspassFAIL
   173XN/AFAILpasspasspass
   174XN/AFAILpasspasspass
   175XN/AFAILpasspasspass
   176XN/AFAILpasspasspass
   178XXN/AN/AN/AN/Apass
   179XN/AFAILpasspasspass
   183XN/AFAILpasspasspass
   185XN/AFAILpasspasspass
   186XN/AFAILpasspasspass
   187XN/AFAILpasspasspass
   194XN/AFAILpasspassFAIL
   198XN/AFAILpasspasspass
   199XN/AFAILpasspassFAIL
   200XN/AFAILpasspasspass
   201N/AFAILpasspasspass
   205XN/AFAILpasspasspass
   521XN/AFAILpasspassFAIL
   553XN/AFAILpasspasspass
§6.3 The Cancel Element 
   207XN/AFAILpasspassFAIL
   208XN/AFAILpasspasspass
   210XN/AFAILpasspasspass
§6.4 The Invoke Element 
   215XN/AFAILpasspasspass
   216XN/AFAILpasspasspass
   220XN/AFAILpasspasspass
   223XN/AFAILpasspasspass
   224XN/AFAILFAILpasspass
   225XN/AFAILpasspasspass
   226XN/AFAILpasspasspass
   228XN/AFAILpasspasspass
   229XN/AFAILpasspassFAIL
   230XXN/AN/AN/AN/AFAIL
   232XN/AFAILpasspassFAIL
   233XN/AFAILpasspasspass
   234XN/AFAILpasspasspass
   235XN/AFAILpasspassFAIL
   236XN/AFAILpasspassFAIL
   237XN/AFAILpasspassFAIL
   239XN/AFAILpasspasspass
   240XN/AFAILpasspassFAIL
   241XN/AFAILpasspassFAIL
   242XN/AFAILpasspassFAIL
   243XN/AFAILpasspasspass
   244XN/AFAILpasspasspass
   245XN/AFAILpasspasspass
   247XN/AFAILpasspasspass
   250XXN/AN/AN/AN/Apass
   252XN/AFAILpasspassFAIL
   253XN/AFAILpasspassFAIL
   530XN/AFAILpasspasspass
   554XN/AFAILpasspasspass
Data Models
§C.1 The Null Data Model 
   436XN/AN/AN/AN/AN/A
§C.2 The ECMAScript Data Model 
   278N/AFAILpasspasspass
   444N/AN/AN/ApassN/A
   445N/AN/AN/ApassN/A
   446N/AN/AN/ApassN/A
   448N/AN/AN/ApassN/A
   449N/AN/AN/ApassN/A
   451N/AN/AN/ApassN/A
   452N/AN/AN/ApassN/A
   453N/AN/AN/ApassN/A
   456N/AN/AN/ApassN/A
   457N/AN/AN/ApassN/A
   459N/AN/AN/ApassN/A
   460N/AN/AN/ApassN/A
   557N/AN/AN/ApassN/A
   558N/AN/AN/ApassN/A
   560N/AN/AN/ApassN/A
   561N/AN/AN/ApassN/A
   562N/AN/AN/ApassN/A
   569N/AN/AN/ApassN/A
   578N/AN/AN/ApassN/A
§C.3 The XPath Data Model 
   463N/AN/AN/AN/AN/A
   464N/AN/AN/AN/AN/A
   465N/AN/AN/AN/AN/A
   466N/AN/AN/AN/AN/A
   467N/AN/AN/AN/AN/A
   468N/AN/AN/AN/AN/A
   469N/AN/AN/AN/AN/A
   470N/AN/AN/AN/AN/A
   473N/AN/AN/AN/AN/A
   474N/AN/AN/AN/AN/A
   475N/AN/AN/AN/AN/A
   476N/AN/AN/AN/AN/A
   477N/AN/AN/AN/AN/A
   478N/AN/AN/AN/AN/A
   479N/AN/AN/AN/AN/A
   480N/AN/AN/AN/AN/A
   481N/AN/AN/AN/AN/A
   482N/AN/AN/AN/AN/A
   483N/AN/AN/AN/AN/A
   537N/AN/AN/AN/AN/A
   539N/AN/AN/AN/AN/A
   540N/AN/AN/AN/AN/A
   542N/AN/AN/AN/AN/A
   543N/AN/AN/AN/AN/A
   544N/AN/AN/AN/AN/A
   545N/AN/AN/AN/AN/A
   546N/AN/AN/AN/AN/A
   547N/AN/AN/AN/AN/A
   555N/AN/AN/AN/AN/A
   568N/AN/AN/AN/AN/A
Event I/O Processor
§D.1 SCXML Event I/O Processor 
   189XN/AFAILpasspasspass
   190XN/AFAILpasspassFAIL
   191XN/AFAILpasspasspass
   192XN/AFAILpasspassFAIL
   193N/AFAILpasspassFAIL
   347XN/AFAILpasspassFAIL
   348XN/AFAILpasspasspass
   349XN/AFAILpasspasspass
   350XN/AFAILpasspasspass
   351XN/AFAILpasspassFAIL
   352XN/AFAILpasspasspass
   354XN/AFAILpasspassFAIL
   495XN/AFAILpasspasspass
   496XN/AFAILpasspassFAIL
   500XN/AFAILpasspasspass
   501XN/AFAILpasspasspass
§D.2 Basic HTTP Event I/O Processor 
   509N/AFAILFAILpasspass
   510N/AFAILpasspassFAIL
   513XN/AN/AN/AN/AN/A
   518N/AFAILFAILpasspass
   519N/AFAILFAILpasspass
   520N/AFAILFAILpassFAIL
   522N/AFAILpasspassFAIL
   531N/AFAILpasspassFAIL
   532N/AFAILpasspassFAIL
   534N/AFAILFAILpasspass
   567N/AFAILpasspasspass
   577N/AFAILpasspassFAIL
diff --git a/test/w3c/create-test-table.pl b/test/w3c/create-test-table.pl index 3535407..c16cd35 100755 --- a/test/w3c/create-test-table.pl +++ b/test/w3c/create-test-table.pl @@ -23,14 +23,16 @@ my $manifest = XMLin("manifest.xml"); my %testClasses = ( 'w3c/ecma' => 'ECMA', -#'w3c/lua' => 'Lua', +'w3c/lua' => 'Lua', #'w3c/namespace' => 'NS', -#'w3c/promela' => 'Promela', +'w3c/promela' => 'Promela', # 'w3c/c89' => 'C89', #'w3c/gen/c/ecma' => 'C (ECMA)', #'w3c/gen/c/lua' => 'C (Lua)', # 'w3c/binding/java/jexl' => 'JEXL', #'w3c/spin/promela' => 'Spin' +'w3c/gen/vhdl/promela' => 'VHDL Promela', +'w3c/gen/vhdl/ecma' => 'VHDL ECMA', ); my %specClass = ( -- cgit v0.12