deleted old files

tests/regression/test1/DataView.py

-#!/usr/bin/env python
-# ASN.1 Data model
-asn1Files = []
-asn1Modules = []
-exportedTypes = {}
-exportedVariables = {}
-importedModules = {}
-types = {}
-asn1Files.append("./dataview-uniq.asn")
-asn1Modules.append("TASTE-Dataview")
-exportedTypes["TASTE-Dataview"] = ["Some-Thing", "MyInteger", "My-OctStr", "SeqOf"]
-exportedVariables["TASTE-Dataview"] = ["default-seqof", "default-str"]
-importedModules["TASTE-Dataview"] = []
-types["Some-Thing"] = type("Some-Thing", (object,), {
-    "Line": 6, "CharPositionInLine": 0, "type": type("Some-Thing_type", (object,), {
-        "Line": 6, "CharPositionInLine": 15, "kind": "ReferenceType", "ReferencedTypeName": "MyInteger", "Min": "0", "Max": "255"
-    })
-})
-
-types["MyInteger"] = type("MyInteger", (object,), {
-    "Line": 8, "CharPositionInLine": 0, "type": type("MyInteger_type", (object,), {
-        "Line": 8, "CharPositionInLine": 16, "kind": "IntegerType", "Min": "0", "Max": "255"
-    })
-})
-
-types["My-OctStr"] = type("My-OctStr", (object,), {
-    "Line": 10, "CharPositionInLine": 0, "type": type("My-OctStr_type", (object,), {
-        "Line": 10, "CharPositionInLine": 17, "kind": "OctetStringType", "Min": "0", "Max": "20"
-    })
-})
-
-types["SeqOf"] = type("SeqOf", (object,), {
-    "Line": 12, "CharPositionInLine": 0, "type": type("SeqOf_type", (object,), {
-        "Line": 12, "CharPositionInLine": 10, "kind": "SequenceOfType", "Min": "0", "Max": "100", "type": type("SeqOf_type", (object,), {
-            "Line": 12, "CharPositionInLine": 37, "kind": "ReferenceType", "ReferencedTypeName": "MyInteger", "Min": "0", "Max": "255"
-        })
-    })
-})

tests/regression/test10/DataView.py

-#!/usr/bin/env python
-# ASN.1 Data model
-# EXPERIMENTAL VERSION
-asn1Files = []
-asn1Modules = []
-exportedTypes = {}
-exportedVariables = {}
-importedModules = {}
-types = {}
-asn1Files.append("dataview-uniq.asn")
-asn1Modules.append("TASTE-BasicTypes")
-exportedTypes["TASTE-BasicTypes"] = ["T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean", "BitString", "OctString", "SeqBit", "SeqBit2"]
-exportedVariables["TASTE-BasicTypes"] = []
-importedModules["TASTE-BasicTypes"] = []
-types["T-Int32"] = type("T-Int32", (object,), {
-    "Line": 6, "CharPositionInLine": 0, "type": type("T-Int32_type", (object,), {
-        "Line": 6, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "-2147483648", "Max": "2147483647"
-    })
-})
-
-types["T-UInt32"] = type("T-UInt32", (object,), {
-    "Line": 8, "CharPositionInLine": 0, "type": type("T-UInt32_type", (object,), {
-        "Line": 8, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "0", "Max": "4294967295"
-    })
-})
-
-types["T-Int8"] = type("T-Int8", (object,), {
-    "Line": 10, "CharPositionInLine": 0, "type": type("T-Int8_type", (object,), {
-        "Line": 10, "CharPositionInLine": 11, "kind": "IntegerType", "Min": "-128", "Max": "127"
-    })
-})
-
-types["T-UInt8"] = type("T-UInt8", (object,), {
-    "Line": 12, "CharPositionInLine": 0, "type": type("T-UInt8_type", (object,), {
-        "Line": 12, "CharPositionInLine": 12, "kind": "IntegerType", "Min": "0", "Max": "255"
-    })
-})
-
-types["T-Boolean"] = type("T-Boolean", (object,), {
-    "Line": 14, "CharPositionInLine": 0, "type": type("T-Boolean_type", (object,), {
-        "Line": 14, "CharPositionInLine": 14, "kind": "BooleanType"
-    })
-})
-
-types["BitString"] = type("BitString", (object,), {
-    "Line": 16, "CharPositionInLine": 0, "type": type("BitString_type", (object,), {
-        "Line": 16, "CharPositionInLine": 14, "kind": "BitStringType", "Min": "32", "Max": "32"
-    })
-})
-
-types["OctString"] = type("OctString", (object,), {
-    "Line": 17, "CharPositionInLine": 0, "type": type("OctString_type", (object,), {
-        "Line": 17, "CharPositionInLine": 14, "kind": "OctetStringType", "Min": "4", "Max": "4"
-    })
-})
-
-types["SeqBit"] = type("SeqBit", (object,), {
-    "Line": 18, "CharPositionInLine": 0, "type": type("SeqBit_type", (object,), {
-        "Line": 18, "CharPositionInLine": 11, "kind": "SequenceOfType", "Min": "32", "Max": "32", "type": type("SeqOf_type", (object,), {
-            "Line": 18, "CharPositionInLine": 34, "kind": "BooleanType"
-        })
-    })
-})
-
-types["SeqBit2"] = type("SeqBit2", (object,), {
-    "Line": 19, "CharPositionInLine": 0, "type": type("SeqBit2_type", (object,), {
-        "Line": 19, "CharPositionInLine": 12, "kind": "SequenceOfType", "Min": "1", "Max": "32", "type": type("SeqOf_type", (object,), {
-            "Line": 19, "CharPositionInLine": 38, "kind": "BooleanType"
-        })
-    })
-})
-
-asn1Modules.append("TASTE-Dataview")
-exportedTypes["TASTE-Dataview"] = ["CountTab", "T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
-exportedVariables["TASTE-Dataview"] = ["challenge", "bound", "nb-bit", "val-max", "count-max", "exceed-nb"]
-importedModules["TASTE-Dataview"] = [{"TASTE-BasicTypes":{"ImportedTypes": ["T-Int32","T-UInt32","T-Int8","T-UInt8","T-Boolean"], "ImportedVariables": []}}]
-types["CountTab"] = type("CountTab", (object,), {
-    "Line": 36, "CharPositionInLine": 0, "type": type("CountTab_type", (object,), {
-        "Line": 36, "CharPositionInLine": 13, "kind": "SequenceOfType", "Min": "20", "Max": "20", "type": type("SeqOf_type", (object,), {
-            "Line": 36, "CharPositionInLine": 40, "kind": "ReferenceType", "ReferencedTypeName": "T-UInt32", "Min": "0", "Max": "4294967295", "ReferencedModName": "TASTE-BasicTypes"
-        })
-    })
-})

tests/regression/test11/DataView.py

-#!/usr/bin/env python
-# ASN.1 Data model
-asn1Files = []
-asn1Modules = []
-exportedTypes = {}
-exportedVariables = {}
-importedModules = {}
-types = {}
-asn1Files.append("./dataview-uniq.asn")
-asn1Modules.append("TASTE-Dataview")
-exportedTypes["TASTE-Dataview"] = ["Some-Thing", "MyInteger", "My-OctStr", "SeqOf"]
-exportedVariables["TASTE-Dataview"] = ["default-seqof", "default-str"]
-importedModules["TASTE-Dataview"] = []
-types["Some-Thing"] = type("Some-Thing", (object,), {
-    "Line": 6, "CharPositionInLine": 0, "type": type("Some-Thing_type", (object,), {
-        "Line": 6, "CharPositionInLine": 15, "kind": "ReferenceType", "ReferencedTypeName": "MyInteger", "Min": "0", "Max": "255"
-    })
-})
-
-types["MyInteger"] = type("MyInteger", (object,), {
-    "Line": 8, "CharPositionInLine": 0, "type": type("MyInteger_type", (object,), {
-        "Line": 8, "CharPositionInLine": 16, "kind": "IntegerType", "Min": "0", "Max": "255"
-    })
-})
-
-types["My-OctStr"] = type("My-OctStr", (object,), {
-    "Line": 10, "CharPositionInLine": 0, "type": type("My-OctStr_type", (object,), {
-        "Line": 10, "CharPositionInLine": 17, "kind": "OctetStringType", "Min": "0", "Max": "20"
-    })
-})
-
-types["SeqOf"] = type("SeqOf", (object,), {
-    "Line": 12, "CharPositionInLine": 0, "type": type("SeqOf_type", (object,), {
-        "Line": 12, "CharPositionInLine": 10, "kind": "SequenceOfType", "Min": "0", "Max": "100", "type": type("SeqOf_type", (object,), {
-            "Line": 12, "CharPositionInLine": 37, "kind": "ReferenceType", "ReferencedTypeName": "MyInteger", "Min": "0", "Max": "255"
-        })
-    })
-})

tests/regression/test12/DataView.pr

-Datamodel DEFINITIONS ::= BEGIN
-
--- ./dataview-uniq.asn
-T_Int32 ::= INTEGER (-2147483648 .. 2147483647)
-
--- ./dataview-uniq.asn
-T_UInt32 ::= INTEGER (0 .. 4294967295)
-
--- ./dataview-uniq.asn
-T_Int8 ::= INTEGER (-128 .. 127)
-
--- ./dataview-uniq.asn
-T_UInt8 ::= INTEGER (0 .. 255)
-
--- ./dataview-uniq.asn
-T_Boolean ::= BOOLEAN
-
--- ./dataview-uniq.asn
-Light ::= ENUMERATED {
-    red(0),
-    yellow(1),
-    green(2),
-    all_off(3)
-}
-
-END

tests/regression/test12/DataView.py

-#!/usr/bin/env python
-# ASN.1 Data model
-asn1Files = []
-asn1Modules = []
-exportedTypes = {}
-exportedVariables = {}
-importedModules = {}
-types = {}
-asn1Files.append("./dataview-uniq.asn")
-asn1Modules.append("TASTE-BasicTypes")
-exportedTypes["TASTE-BasicTypes"] = ["T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
-exportedVariables["TASTE-BasicTypes"] = []
-importedModules["TASTE-BasicTypes"] = []
-types["T-Int32"] = type("T-Int32", (object,), {
-    "Line": 6, "CharPositionInLine": 0, "type": type("T-Int32_type", (object,), {
-        "Line": 6, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "-2147483648", "Max": "2147483647"
-    })
-})
-
-types["T-UInt32"] = type("T-UInt32", (object,), {
-    "Line": 8, "CharPositionInLine": 0, "type": type("T-UInt32_type", (object,), {
-        "Line": 8, "CharPositionInLine": 13, "kind": "IntegerType", "Min": "0", "Max": "4294967295"
-    })
-})
-
-types["T-Int8"] = type("T-Int8", (object,), {
-    "Line": 10, "CharPositionInLine": 0, "type": type("T-Int8_type", (object,), {
-        "Line": 10, "CharPositionInLine": 11, "kind": "IntegerType", "Min": "-128", "Max": "127"
-    })
-})
-
-types["T-UInt8"] = type("T-UInt8", (object,), {
-    "Line": 12, "CharPositionInLine": 0, "type": type("T-UInt8_type", (object,), {
-        "Line": 12, "CharPositionInLine": 12, "kind": "IntegerType", "Min": "0", "Max": "255"
-    })
-})
-
-types["T-Boolean"] = type("T-Boolean", (object,), {
-    "Line": 14, "CharPositionInLine": 0, "type": type("T-Boolean_type", (object,), {
-        "Line": 14, "CharPositionInLine": 14, "kind": "BooleanType"
-    })
-})
-
-asn1Modules.append("TASTE-Dataview")
-exportedTypes["TASTE-Dataview"] = ["Light", "T-Int32", "T-UInt32", "T-Int8", "T-UInt8", "T-Boolean"]
-exportedVariables["TASTE-Dataview"] = []
-importedModules["TASTE-Dataview"] = [{"TASTE-BasicTypes":{"ImportedTypes": ["T-Int32","T-UInt32","T-Int8","T-UInt8","T-Boolean"], "ImportedVariables": []}}]
-types["Light"] = type("Light", (object,), {
-    "Line": 22, "CharPositionInLine": 0, "type": type("Light_type", (object,), {
-        "Line": 22, "CharPositionInLine": 14, "kind": "EnumeratedType", "Extensible": "False", "ValuesAutoCalculated": "False", "EnumValues": {
-            "red": type("red", (object,), {
-                "IntValue": 0, "Line": 22, "CharPositionInLine": 27, "EnumID": "red"
-            }),
-            "yellow": type("yellow", (object,), {
-                "IntValue": 1, "Line": 22, "CharPositionInLine": 32, "EnumID": "yellow"
-            }),
-            "green": type("green", (object,), {
-                "IntValue": 2, "Line": 22, "CharPositionInLine": 40, "EnumID": "green"
-            }),
-            "all-off": type("all_off", (object,), {
-                "IntValue": 3, "Line": 22, "CharPositionInLine": 47, "EnumID": "all_off"
-            })
-        }
-    })
-})

tests/regression/test12/trafficlight.pr

-/* CIF PROCESS (150, 150), (150, 75) */
-PROCESS trafficlight;
-STATE Maintenance;
-SUBSTRUCTURE
-STATE YellowOff;
-SUBSTRUCTURE
-/* CIF PROCEDURE (239, 367), (73, 35) */
-PROCEDURE entry;
-/* CIF START (180, 35), (70, 35) */
-START;
-/* CIF PROCEDURECALL (122, 85), (186, 35) */
-CALL set_timer(500, timeout);
-/* CIF OUTPUT (109, 135), (211, 35) */
-OUTPUT SetTrafficLightColor(all_off);
-/* CIF RETURN (197, 185), (35, 35) */
-RETURN ;
-ENDPROCEDURE;
-/* CIF START (348, 437), (70, 35) */
-START;
-/* CIF NEXTSTATE (348, 487), (70, 35) */
-NEXTSTATE idle;
-/* CIF STATE (558, 458), (70, 35) */
-STATE idle;
-ENDSTATE;
-
-ENDSUBSTRUCTURE;
-STATE YellowOn;
-SUBSTRUCTURE
-/* CIF PROCEDURE (291, 312), (73, 35) */
-PROCEDURE entry;
-/* CIF START (292, 124), (70, 35) */
-START;
-/* CIF PROCEDURECALL (234, 174), (186, 35) */
-CALL set_timer(500, timeout);
-/* CIF OUTPUT (221, 224), (211, 35) */
-OUTPUT SetTrafficLightColor(yellow);
-/* CIF RETURN (309, 274), (35, 35) */
-RETURN ;
-ENDPROCEDURE;
-/* CIF START (495, 331), (70, 35) */
-START;
-/* CIF NEXTSTATE (489, 381), (81, 35) */
-NEXTSTATE idle;
-/* CIF STATE (696, 342), (67, 35) */
-STATE idle;
-ENDSTATE;
-
-ENDSUBSTRUCTURE;
-/* CIF START (752, 254), (70, 35) */
-START;
-/* CIF PROCEDURECALL (671, 304), (231, 35) */
-CALL writeln('Entering Maintenance');
-/* CIF NEXTSTATE (740, 354), (94, 35) */
-NEXTSTATE YellowOn;
-
-/* CIF STATE (738, 459), (97, 35) */
-STATE YellowOff;
-/* CIF INPUT (743, 514), (87, 35) */
-INPUT timeout;
-/* CIF NEXTSTATE (736, 564), (102, 35) */
-NEXTSTATE YellowOn;
-ENDSTATE;
-/* CIF STATE (740, 354), (94, 35) */
-STATE YellowOn;
-/* CIF INPUT (743, 409), (87, 35) */
-INPUT timeout;
-/* CIF NEXTSTATE (738, 459), (97, 35) */
-NEXTSTATE YellowOff;
-ENDSTATE;
-ENDSUBSTRUCTURE;
-STATE on;
-SUBSTRUCTURE
-STATE PedWaiting;
-SUBSTRUCTURE
-out (counter_expired);
-STATE waitOn;
-SUBSTRUCTURE
-/* CIF PROCEDURE (548, 222), (73, 35) */
-PROCEDURE entry;
-/* CIF START (185, 47), (70, 35) */
-START;
-/* CIF PROCEDURECALL (125, 97), (189, 35) */
-CALL set_timer(500, timeout);
-/* CIF RETURN (202, 147), (35, 35) */
-RETURN ;
-ENDPROCEDURE;
-/* CIF PROCEDURE (560, 288), (70, 35) */
-PROCEDURE exit;
-/* CIF START (280, 159), (70, 35) */
-START;
-/* CIF TASK (230, 209), (170, 35) */
-TASK counter := counter + 1;
-/* CIF RETURN (297, 259), (35, 35) */
-RETURN ;
-ENDPROCEDURE;
-/* CIF START (371, 56), (70, 35) */
-START;
-/* CIF NEXTSTATE (347, 106), (117, 35) */
-NEXTSTATE wait_counter;
-/* CIF STATE (510, 120), (117, 35) */
-STATE wait_counter;
-ENDSTATE;
-
-ENDSUBSTRUCTURE;
-/* CIF TEXT (93, 69), (184, 53) */
--- 7 sec counter
-dcl counter t_uint8 := 0;
-dcl color Light;
-/* CIF ENDTEXT */
-/* CIF PROCEDURE (129, 166), (73, 35) */
-PROCEDURE entry;
-/* CIF START (383, 113), (70, 35) */
-START;
-/* CIF PROCEDURECALL (310, 163), (216, 35) */
-CALL writeln('Pedestrian request');
-/* CIF TASK (359, 213), (117, 35) */
-TASK counter := 0;
-/* CIF RETURN (400, 263), (35, 35) */
-RETURN ;
-ENDPROCEDURE;
-/* CIF START (348, 130), (81, 35) */
-START;
-/* CIF NEXTSTATE (348, 180), (80, 35) */
-NEXTSTATE waitOn;
-
-/* CIF STATE (348, 180), (80, 35) */
-STATE waitOn;
-/* CIF INPUT (345, 235), (87, 35) */
-INPUT timeout;
-/* CIF DECISION (345, 285), (86, 50) */
-DECISION counter;
-/* CIF ANSWER (161, 355), (70, 23) */
-(14):
-/* CIF PROCEDURECALL (87, 393), (218, 35) */
-CALL writeln('Leaving PedWaiting');
-/* CIF RETURN (178, 443), (35, 35) */
-RETURN counter_expired;
-/* CIF ANSWER (465, 355), (70, 23) */
-ELSE:
-/* CIF TASK (315, 393), (370, 35) */
-TASK color := if counter mod 2 = 0 then red else all_off fi;
-/* CIF OUTPUT (400, 443), (199, 35) */
-OUTPUT SetPedestrianColor(color);
-/* CIF NEXTSTATE (465, 493), (70, 35) */
-NEXTSTATE -;
-ENDDECISION;
-ENDSTATE;
-ENDSUBSTRUCTURE;
-/* CIF START (721, 150), (70, 35) */
-START;
-/* CIF NEXTSTATE (698, 200), (115, 35) */
-NEXTSTATE StreetGreen;
-
-/* CIF STATE (1013, 592), (141, 35) */
-STATE StreetPrepare;
-/* CIF INPUT (1040, 647), (87, 35) */
-INPUT timeout;
-/* CIF OUTPUT (978, 697), (211, 35) */
-OUTPUT SetTrafficLightColor(green);
-/* CIF NEXTSTATE (1013, 747), (141, 35) */
-NEXTSTATE StreetGreen;
-ENDSTATE;
-/* CIF STATE (1013, 387), (141, 35) */
-STATE PedestrianRed;
-/* CIF INPUT (1040, 442), (87, 35) */
-INPUT timeout;
-/* CIF PROCEDURECALL (987, 492), (193, 35) */
-CALL set_timer(2000, timeout);
-/* CIF OUTPUT (978, 542), (211, 35) */
-OUTPUT SetTrafficLightColor(yellow);
-/* CIF NEXTSTATE (1013, 592), (141, 35) */
-NEXTSTATE StreetPrepare;
-ENDSTATE;
-/* CIF STATE (1013, 182), (141, 35) */
-STATE PedestrianGreen;
-/* CIF INPUT (1040, 237), (87, 35) */
-INPUT timeout;
-/* CIF PROCEDURECALL (987, 287), (193, 35) */
-CALL set_timer(5000, timeout);
-/* CIF OUTPUT (982, 337), (203, 35) */
-OUTPUT SetPedestrianColor(red);
-/* CIF NEXTSTATE (1013, 387), (141, 35) */
-NEXTSTATE PedestrianRed;
-ENDSTATE;
-
-/* CIF STATE (704, 773), (102, 35) */
-STATE StreetRed;
-/* CIF INPUT (712, 828), (87, 35) */
-INPUT timeout;
-/* CIF PROCEDURECALL (659, 878), (193, 35) */
-CALL set_timer(7000, timeout);
-/* CIF OUTPUT (654, 928), (203, 35) */
-OUTPUT SetPedestrianColor(green);
-/* CIF NEXTSTATE (685, 978), (141, 35) */
-NEXTSTATE PedestrianGreen;
-ENDSTATE;
-/* CIF STATE (679, 568), (151, 35) */
-STATE StreetAttention;
-/* CIF INPUT (711, 623), (87, 35) */
-INPUT timeout;
-/* CIF PROCEDURECALL (647, 673), (214, 35) */
-CALL set_timer(2000, timeout);
-/* CIF OUTPUT (649, 723), (211, 35) */
-OUTPUT SetTrafficLightColor(red);
-/* CIF NEXTSTATE (704, 773), (102, 35) */
-NEXTSTATE StreetRed;
-ENDSTATE;
-/* CIF STATE (702, 313), (107, 35) */
-STATE PedWaiting;
-/* CIF CONNECT (755, 368), (0, 35) */
-CONNECT counter_expired;
-/* CIF PROCEDURECALL (652, 418), (205, 35) */
-CALL writeln('counter_expired');
-/* CIF PROCEDURECALL (658, 468), (193, 35) */
-CALL set_timer(2000, timeout);
-/* CIF OUTPUT (649, 518), (211, 35) */
-OUTPUT SetTrafficLightColor(yellow);
-/* CIF NEXTSTATE (679, 568), (151, 35) */
-NEXTSTATE StreetAttention;
-ENDSTATE;
-/* CIF STATE (698, 200), (115, 35) */
-STATE StreetGreen;
-/* CIF INPUT (678, 255), (155, 38) */
-INPUT PedestrianRequest
-(request);
-/* CIF NEXTSTATE (702, 313), (107, 35) */
-NEXTSTATE PedWaiting;
-ENDSTATE;
-ENDSUBSTRUCTURE;
-/* CIF TEXT (-2, 10), (271, 250) */
-TIMER timeout;
-
-dcl init_state light;
-
-dcl request T_Boolean;
-/* CIF ENDTEXT */
-/* CIF START (298, 50), (70, 35) */
-START;
-/* CIF NEXTSTATE (298, 100), (70, 35) */
-NEXTSTATE Off;
-/* CIF STATE (694, 56), (70, 35) */
-STATE on;
-ENDSTATE;
-/* CIF STATE (554, 53), (116, 35) */
-STATE Maintenance;
-ENDSTATE;
-
-
-/* CIF STATE (380, 54), (160, 35) */
-STATE off, maintenance, on;
-/* CIF INPUT (408, 109), (104, 48) */
-INPUT OnOff
-(init_state);
-/* CIF DECISION (412, 172), (96, 50) */
-DECISION init_state;
-/* CIF ANSWER (377, 242), (74, 33) */
-(green):
-/* CIF OUTPUT (320, 290), (188, 35) */
-OUTPUT SetPedestrianColor(red);
-/* CIF OUTPUT (310, 340), (207, 35) */
-OUTPUT SetTrafficLightColor(green);
-/* CIF NEXTSTATE (379, 390), (70, 35) */
-NEXTSTATE on;
-/* CIF ANSWER (546, 242), (78, 33) */
-ELSE:
-/* CIF NEXTSTATE (527, 290), (116, 35) */
-NEXTSTATE Maintenance;
-ENDDECISION;
-ENDSTATE;
-
-ENDPROCESS trafficlight;
\ No newline at end of file

tests/regression/test4/DataView.py

-#!/usr/bin/env python
-# ASN.1 Data model
-asn1Files = []
-asn1Modules = []
-exportedTypes = {}
-exportedVariables = {}
-importedModules = {}
-types = {}
-asn1Files.append("./dataview-uniq.asn")
-asn1Modules.append("TASTE-Dataview")
-exportedTypes["TASTE-Dataview"] = ["DeepSeq", "MyComplexType", "MyComplexSeqOf", "MyComplexChoice", "MyRefSeqOf", "MyInteger", "MyReal", "MyEnum", "MySeq", "MyChoice", "MySeqOf", "MyPossiblyEmptySeqOf", "MySeqWithEmbeddedSeqOf", "MyOctStr", "MySeqWithEmbeddedSeqOf-a", "MyPossiblyEmptySeqOf-elm", "MySeq-b", "MyComplexChoice-a", "MyComplexSeqOf-elm", "MyComplexType-a", "DeepSeq-a", "DeepSeq-a-b", "MyComplexType-a-x", "MyComplexSeqOf-elm-x", "MyComplexChoice-a-x", "DeepSeq-a-b-d"]
-exportedVariables["TASTE-Dataview"] = []
-importedModules["TASTE-Dataview"] = []
-types["DeepSeq"] = type("DeepSeq", (object,), {
-    "Line": 4, "CharPositionInLine": 0, "type": type("DeepSeq_type", (object,), {
-        "Line": 4, "CharPositionInLine": 12, "kind": "SequenceType", "Children": {
-            "a": type("a", (object,), {
-                "Optional": "False", "Line": 5, "CharPositionInLine": 1, "type": type("a_type", (object,), {
-                    "Line": 0, "CharPositionInLine": 0, "kind": "ReferenceType", "ReferencedTypeName": "DeepSeq-a"
-                })
-            })
-        }
-    })
-})
-
-types["MyComplexType"] = type("MyComplexType", (object,), {
-    "Line": 17, "CharPositionInLine": 0, "type": type("MyComplexType_type", (object,), {
-        "Line": 17, "CharPositionInLine": 18, "kind": "SequenceType", "Children": {
-            "a": type("a", (object,), {
-                "Optional": "False", "Line": 18, "CharPositionInLine": 1, "type": type("a_type", (object,), {
-                    "Line": 0, "CharPositionInLine": 0, "kind": "ReferenceType", "ReferencedTypeName": "MyComplexType-a"
-                })
-            })
-        }
-    })
-})
-
-types["MyComplexSeqOf"] = type("MyComplexSeqOf", (object,), {
-    "Line": 21, "CharPositionInLine": 0, "type": type("MyComplexSeqOf_type", (object,), {
-        "Line": 21, "CharPositionInLine": 19, "kind": "SequenceOfType", "Min": "2", "Max": "2", "type": type("SeqOf_type", (object,), {
-            "Line": 0, "CharPositionInLine": 0, "kind": "ReferenceType", "ReferencedTypeName": "MyComplexSeqOf-elm"
-        })
-    })
-})
-
-types["MyComplexChoice"] = type("MyComplexChoice", (object,), {
-    "Line": 23, "CharPositionInLine": 0, "type": type("MyComplexChoice_type", (object,), {
-        "Line": 23, "CharPositionInLine": 20, "kind": "ChoiceType", "Children": {
-            "a": type("MyComplexChoice_a_PRESENT", (object,), {
-                "Line": 23, "CharPositionInLine": 29, "EnumID": "MyComplexChoice_a_PRESENT", "type": type("MyComplexChoice_a_PRESENT_type", (object,), {
-                    "Line": 0, "CharPositionInLine": 0, "kind": "ReferenceType", "ReferencedTypeName": "MyComplexChoice-a"
-                })
-            })
-        }
-    })
-})
-
-types["MyRefSeqOf"] = type("MyRefSeqOf", (object,), {
-    "Line": 25, "CharPositionInLine": 0, "type": type("MyRefSeqOf_type", (object,), {
-        "Line": 25, "CharPositionInLine": 15, "kind": "SequenceType", "Children": {
-            "seqof": type("seqof", (object,), {
-                "Optional": "False", "Line": 25, "CharPositionInLine": 26, "type": type("seqof_type", (object,), {
-                    "Line": 25, "CharPositionInLine": 32, "kind": "ReferenceType", "ReferencedTypeName": "MySeqOf", "Min": "2", "Max": "2"
-                })
-            })
-        }
-    })
-})
-
-types["MyInteger"] = type("MyInteger", (object,), {