Add all the pre-existing (and enabled) tests.

5d4c61b8 · Thanassis Tsiodras · 67bfd667 · 5d4c61b8 · 5d4c61b8 · 5d4c61b8
Commit 5d4c61b8 authored Mar 31, 2017 by Thanassis Tsiodras
--- a/Demo-opengeode/DataView.asn
+++ b/Demo-opengeode/DataView.asn
+TASTE-Dataview DEFINITIONS ::=
+BEGIN
+
+MyComplexType ::= SEQUENCE {
+	a SEQUENCE { x INTEGER(0..255), y MyInteger }
+}
+
+MyComplexSeqOf ::= SEQUENCE(SIZE(2)) OF SEQUENCE { x INTEGER (0..255) }
+
+MyComplexChoice ::= CHOICE { a SEQUENCE { x INTEGER (0..255) } }
+
+EnableDisable ::= ENUMERATED {scrubon, scruboff}
+
+MyRefSeqOf ::= SEQUENCE { seqof MySeqOf }
+
+-- A few simple types to start with ASN.1
+MyInteger   ::= INTEGER (-255..255)
+
+MyReal	    ::= REAL (-10.0 .. 1000.0)
+
+MyEnum	    ::= ENUMERATED { hello, world, howareyou }
+
+MySeq	    ::= SEQUENCE {
+		    a MyInteger,
+		    b ENUMERATED { taste(1), welcomes(2), you(3) }
+}
+
+MyChoice    ::= CHOICE {
+		    a BOOLEAN,
+		    b MySeq
+}
+
+MySeqOf	    ::= SEQUENCE (SIZE (2)) OF MyEnum
+MyPossiblyEmptySeqOf ::= SEQUENCE(SIZE(0..2)) OF INTEGER (1..2)
+
+MySeqWithEmbeddedSeqOf ::= SEQUENCE {
+    a SEQUENCE(SIZE(0..2)) OF BOOLEAN
+}
+
+
+MyOctStr    ::= OCTET STRING (SIZE (3))
+
+-- Include an embedded choice
+MyChoice2 ::= CHOICE {
+    a BOOLEAN,
+    b CHOICE {
+	c BOOLEAN,
+	d MyInteger
+    }
+}
+
+END
+
--- a/Demo-opengeode/DeploymentView.aadl
+++ b/Demo-opengeode/DeploymentView.aadl
+---------------------------------------------------
+-- AADL2.0
+-- TASTE
+-- (c)Ellidiss Technologies
+-- 
+---------------------------------------------------
+
+PACKAGE deploymentview::DV::obj97
+PUBLIC
+
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS demo
+END demo;
+
+PROCESS IMPLEMENTATION demo.others
+END demo.others;
+
+END deploymentview::DV::obj97;
+
+PACKAGE deploymentview::DV
+PUBLIC
+
+WITH ocarina_processors_x86;
+WITH deploymentview::DV::obj97;
+WITH Taste;
+WITH Deployment;
+WITH interfaceview::IV;
+WITH TASTE_DV_Properties;
+SYSTEM obj97
+END obj97;
+
+SYSTEM IMPLEMENTATION obj97.others
+SUBCOMPONENTS
+  IV_orchestrator : SYSTEM interfaceview::IV::orchestrator.others {
+    Taste::coordinates => "1044 634 1260 815";
+    Taste::FunctionName => "orchestrator";
+  };
+  IV_ground : SYSTEM interfaceview::IV::ground.others {
+    Taste::coordinates => "1087 892 1395 1115";
+    Taste::FunctionName => "ground";
+  };
+  IV_passiveFunction : SYSTEM interfaceview::IV::passiveFunction.others {
+    Taste::coordinates => "1516 624 1712 837";
+    Taste::FunctionName => "passiveFunction";
+  };
+  IV_MemoryScrub : SYSTEM interfaceview::IV::MemoryScrub.others {
+    Taste::coordinates => "1529 877 1688 1062";
+    Taste::FunctionName => "MemoryScrub";
+  };
+  demo : PROCESS deploymentview::DV::obj97::demo.others {
+    Taste::coordinates => "880 474 1878 1128";
+    TASTE_DV_Properties::CoverageEnabled => FALSE;
+    Deployment::Port_Number => 0;
+  };
+  obj107 : PROCESSOR ocarina_processors_x86::x86.linux32 {
+    Taste::coordinates => "854 336 2030 1257";
+  };
+PROPERTIES
+  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_orchestrator;
+  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_ground;
+  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_passiveFunction;
+  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_MemoryScrub;
+  Actual_Processor_Binding => (reference (obj107)) APPLIES TO demo;
+END obj97.others;
+
+SYSTEM deploymentview
+END deploymentview;
+
+SYSTEM IMPLEMENTATION deploymentview.others
+SUBCOMPONENTS
+  obj97 : SYSTEM obj97.others {
+    Taste::coordinates => "619 152 2970 1993";
+  };
+  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
+END deploymentview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 2970 2100";
+  Taste::version => "1.3.17";
+  Taste::interfaceView => "InterfaceView.aadl";
+  Taste::HWLibraries => ("../../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
+END deploymentview::DV;
+
--- a/Demo-opengeode/InterfaceView.aadl
+++ b/Demo-opengeode/InterfaceView.aadl
+---------------------------------------------------
+-- AADL2.0
+-- TASTE
+-- (c)Ellidiss Technologies
+-- 
+---------------------------------------------------
+
+PACKAGE interfaceview::FV::orchestrator
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_pulse
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_pulse;
+
+SUBPROGRAM IMPLEMENTATION PI_pulse.others
+END PI_pulse.others;
+
+SUBPROGRAM PI_run
+FEATURES
+  cmd : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_run;
+
+SUBPROGRAM IMPLEMENTATION PI_run.others
+END PI_run.others;
+
+SUBPROGRAM RI_housekeeping
+FEATURES
+  hk : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+END RI_housekeeping;
+
+SUBPROGRAM IMPLEMENTATION RI_housekeeping.others
+END RI_housekeeping.others;
+
+SUBPROGRAM RI_computeGNC
+FEATURES
+  inP : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+  outP : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+END RI_computeGNC;
+
+SUBPROGRAM IMPLEMENTATION RI_computeGNC.others
+END RI_computeGNC.others;
+
+END interfaceview::FV::orchestrator;
+
+PACKAGE interfaceview::FV::ground
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_housekeeping
+FEATURES
+  hk : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_housekeeping;
+
+SUBPROGRAM IMPLEMENTATION PI_housekeeping.others
+END PI_housekeeping.others;
+
+SUBPROGRAM RI_run
+FEATURES
+  cmd : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+END RI_run;
+
+SUBPROGRAM IMPLEMENTATION RI_run.others
+END RI_run.others;
+
+SUBPROGRAM RI_EnableOrDisable
+FEATURES
+  action : IN PARAMETER DataView::EnableDisable {
+    Taste::encoding => NATIVE;
+  };
+END RI_EnableOrDisable;
+
+SUBPROGRAM IMPLEMENTATION RI_EnableOrDisable.others
+END RI_EnableOrDisable.others;
+
+END interfaceview::FV::ground;
+
+PACKAGE interfaceview::FV::passiveFunction
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_computeGNC
+FEATURES
+  inP : IN PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+  outP : OUT PARAMETER DataView::MyInteger {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_computeGNC;
+
+SUBPROGRAM IMPLEMENTATION PI_computeGNC.others
+END PI_computeGNC.others;
+
+END interfaceview::FV::passiveFunction;
+
+PACKAGE interfaceview::FV::MemoryScrub
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_EnableOrDisable
+FEATURES
+  action : IN PARAMETER DataView::EnableDisable {
+    Taste::encoding => NATIVE;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_EnableOrDisable;
+
+SUBPROGRAM IMPLEMENTATION PI_EnableOrDisable.others
+END PI_EnableOrDisable.others;
+
+END interfaceview::FV::MemoryScrub;
+
+PACKAGE interfaceview::IV
+PUBLIC
+
+WITH interfaceview::FV::orchestrator;
+WITH interfaceview::FV::ground;
+WITH interfaceview::FV::passiveFunction;
+WITH interfaceview::FV::MemoryScrub;
+WITH interfaceview::FV;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SYSTEM orchestrator
+FEATURES
+  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::orchestrator::PI_pulse.others {
+    Taste::coordinates => "1889 312";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 1000 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "pulse";
+  };
+  PI_run : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::orchestrator::PI_run.others {
+    Taste::coordinates => "1889 417";
+    Taste::RCMoperationKind => sporadic;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "run";
+  };
+  RI_housekeeping : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::ground::PI_housekeeping.others {
+    Taste::coordinates => "1889 722";
+    Taste::RCMoperationKind => sporadic;
+    Taste::InterfaceName => "housekeeping";
+    Taste::labelInheritance => "true";
+  };
+  RI_computeGNC : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::passiveFunction::PI_computeGNC.others {
+    Taste::coordinates => "2132 928";
+    Taste::RCMoperationKind => unprotected;
+    Taste::InterfaceName => "computeGNC";
+    Taste::labelInheritance => "true";
+  };
+PROPERTIES
+  Source_Language => (SDL);
+END orchestrator;
+
+SYSTEM IMPLEMENTATION orchestrator.others
+SUBCOMPONENTS
+  pulse_impl : SUBPROGRAM interfaceview::FV::orchestrator::PI_pulse.others {
+    Compute_Execution_Time => 0 ms .. 0 ms;
+  };
+  run_impl : SUBPROGRAM interfaceview::FV::orchestrator::PI_run.others {
+    Compute_Execution_Time => 0 ms .. 0 ms;
+  };
+CONNECTIONS
+  OpToPICnx_pulse_impl : SUBPROGRAM ACCESS pulse_impl -> PI_pulse;
+  OpToPICnx_run_impl : SUBPROGRAM ACCESS run_impl -> PI_run;
+END orchestrator.others;
+
+SYSTEM ground
+FEATURES
+  PI_housekeeping : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::ground::PI_housekeeping.others {
+    Taste::coordinates => "1338 722";
+    Taste::RCMoperationKind => sporadic;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "housekeeping";
+  };
+  RI_run : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::orchestrator::PI_run.others {
+    Taste::coordinates => "1338 417";
+    Taste::RCMoperationKind => sporadic;
+    Taste::InterfaceName => "run";
+    Taste::labelInheritance => "true";
+  };
+  RI_EnableOrDisable : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::MemoryScrub::PI_EnableOrDisable.others {
+    Taste::coordinates => "852 968";
+    Taste::RCMoperationKind => any;
+    Taste::InterfaceName => "EnableOrDisable";
+    Taste::labelInheritance => "true";
+  };
+PROPERTIES
+  Source_Language => (GUI);
+END ground;
+
+SYSTEM IMPLEMENTATION ground.others
+SUBCOMPONENTS
+  housekeeping_impl : SUBPROGRAM interfaceview::FV::ground::PI_housekeeping.others {
+    Compute_Execution_Time => 0 ms .. 0 ms;
+  };
+CONNECTIONS
+  OpToPICnx_housekeeping_impl : SUBPROGRAM ACCESS housekeeping_impl -> PI_housekeeping;
+END ground.others;
+
+SYSTEM passiveFunction
+FEATURES
+  PI_computeGNC : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::passiveFunction::PI_computeGNC.others {
+    Taste::coordinates => "2132 1180";
+    Taste::RCMoperationKind => unprotected;
+    Taste::RCMperiod => 0 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "computeGNC";
+  };
+PROPERTIES
+  Source_Language => (C);
+END passiveFunction;
+
+SYSTEM IMPLEMENTATION passiveFunction.others
+SUBCOMPONENTS
+  computeGNC_impl : SUBPROGRAM interfaceview::FV::passiveFunction::PI_computeGNC.others {
+    Compute_Execution_Time => 0 ms .. 0 ms;
+  };
+CONNECTIONS
+  OpToPICnx_computeGNC_impl : SUBPROGRAM ACCESS computeGNC_impl -> PI_computeGNC;
+END passiveFunction.others;
+
+SYSTEM MemoryScrub
+FEATURES
+  PI_EnableOrDisable : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::MemoryScrub::PI_EnableOrDisable.others {
+    Taste::coordinates => "852 1221";
+    Taste::RCMoperationKind => sporadic;
+    Taste::InterfaceName => "EnableOrDisable";
+  };
+PROPERTIES
+  Source_Language => (SDL);
+END MemoryScrub;
+
+SYSTEM IMPLEMENTATION MemoryScrub.others
+SUBCOMPONENTS
+  EnableOrDisable_impl : SUBPROGRAM interfaceview::FV::MemoryScrub::PI_EnableOrDisable.others {
+    Compute_Execution_Time => 0 ms .. 0 ms;
+  };
+CONNECTIONS
+  OpToPICnx_EnableOrDisable_impl : SUBPROGRAM ACCESS EnableOrDisable_impl -> PI_EnableOrDisable;
+END MemoryScrub.others;
+
+SYSTEM interfaceview
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+  orchestrator : SYSTEM interfaceview::IV::orchestrator.others {
+    Taste::coordinates => "1889 199 2582 928";
+  };
+  ground : SYSTEM interfaceview::IV::ground.others {
+    Taste::coordinates => "432 232 1338 968";
+  };
+  passiveFunction : SYSTEM interfaceview::IV::passiveFunction.others {
+    Taste::coordinates => "1920 1180 2607 1814";
+  };
+  MemoryScrub : SYSTEM interfaceview::IV::MemoryScrub.others {
+    Taste::coordinates => "359 1221 1344 1883";
+  };
+CONNECTIONS
+  orchestrator_run_ground_run : SUBPROGRAM ACCESS orchestrator.PI_run -> ground.RI_run {
+    Taste::coordinates => "1338 417 1613 417 1613 417 1889 417";
+  };
+  ground_housekeeping_orchestrator_housekeeping : SUBPROGRAM ACCESS ground.PI_housekeeping -> orchestrator.RI_housekeeping {
+    Taste::coordinates => "1889 722 1613 722 1613 722 1338 722";
+  };
+  passiveFunction_computeGNC_orchestrator_computeGNC : SUBPROGRAM ACCESS passiveFunction.PI_computeGNC -> orchestrator.RI_computeGNC {
+    Taste::coordinates => "2132 928 2132 1054 2132 1054 2132 1180";
+  };
+  MemoryScrub_EnableOrDisable_ground_EnableOrDisable : SUBPROGRAM ACCESS MemoryScrub.PI_EnableOrDisable -> ground.RI_EnableOrDisable {
+    Taste::coordinates => "852 968 852 1094 852 1094 852 1221";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::dataView => ("DataView");
+  Taste::dataViewPath => ("DataView.aadl");
+  Taste::coordinates => "0 0 2970 2100";
+  Taste::version => "1.3.17";
+END interfaceview::IV;
+
+PACKAGE interfaceview::FV
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+END interfaceview::FV;
+
--- a/Demo-opengeode/build-script.sh
+++ b/Demo-opengeode/build-script.sh
+#!/bin/bash
+
+# This script will build your TASTE system.
+
+# You should check it before running it to make it fit with your context:
+# 1) You may need to fix some paths and filenames (path to interface/deployment views)
+# 2) You may need to specify additional paths for the compiler to find .h file
+#    (e.g. "export C_INCLUDE_PATH=/usr/include/xenomai/analogy/:$C_INCLUDE_PATH")
+# 3) You may need to link with pre-built libraries, using the -l option
+#    (e.g. -l /usr/lib/libanalogy.a,/usr/lib/librtdm.a)
+# 4) You may need to change the runtime (add -p flag to select PolyORB-HI-C)
+# etc.
+
+# Note: TASTE will not overwrite your changes - if you need to update some parts
+#       you will have to merge the changes with the newly-created file.
+
+if [ -z "$DEPLOYMENTVIEW" ]
+then
+    DEPLOYMENTVIEW=DeploymentView.aadl
+fi
+
+SKELS="./"
+
+# Update the data view with local paths
+taste-update-data-view
+
+# Generate code for OpenGEODE function orchestrator
+cd "$SKELS"/orchestrator && opengeode --toAda orchestrator.pr system_structure.pr && cd $OLDPWD
+
+# Generate code for OpenGEODE function memoryscrub
+cd "$SKELS"/memoryscrub && opengeode --toAda memoryscrub.pr system_structure.pr && cd $OLDPWD
+
+cd "$SKELS" && rm -f orchestrator.zip && zip orchestrator orchestrator/* && cd $OLDPWD
+
+cd "$SKELS" && rm -f passivefunction.zip && zip passivefunction passivefunction/* && cd $OLDPWD
+
+cd "$SKELS" && rm -f memoryscrub.zip && zip memoryscrub memoryscrub/* && cd $OLDPWD
+
+[ ! -z "$CLEANUP" ] && rm -rf binary
+
+if [ -f ConcurrencyView.pro ]
+then
+    ORCHESTRATOR_OPTIONS+=" -w ConcurrencyView.pro "
+fi
+
+# This demo cannot be built with Ada runtime (no Check queue implemented)
+export USE_POHIC=1
+
+if [ ! -z "$USE_POHIC" ]
+then
+    OUTPUTDIR=binary.c
+    ORCHESTRATOR_OPTIONS+=" -p "
+elif [ ! -z "$USE_POHIADA" ]
+then
+    OUTPUTDIR=binary.ada
+else
+    OUTPUTDIR=binary
+fi
+assert-builder-ocarina.py \
+	--fast \
+	--debug \
+	--aadlv2 \
+	--keep-case \
+	--interfaceView InterfaceView.aadl \
+	--deploymentView "$DEPLOYMENTVIEW" \
+	-o "$OUTPUTDIR" \
+	--subAda orchestrator:"$SKELS"/orchestrator.zip \
+	--subC passivefunction:"$SKELS"/passivefunction.zip \
+	--subAda memoryscrub:"$SKELS"/memoryscrub.zip \
+	$ORCHESTRATOR_OPTIONS
--- a/Demo-opengeode/memoryscrub.zip
+++ b/Demo-opengeode/memoryscrub.zip
--- a/Demo-opengeode/memoryscrub/dataview-uniq.asn
+++ b/Demo-opengeode/memoryscrub/dataview-uniq.asn
+TASTE-Dataview DEFINITIONS ::=
+BEGIN
+
+MyComplexType ::= SEQUENCE {
+	a SEQUENCE { x INTEGER(0..255), y MyInteger }
+}
+
+MyComplexSeqOf ::= SEQUENCE(SIZE(2)) OF SEQUENCE { x INTEGER (0..255) }
+
+MyComplexChoice ::= CHOICE { a SEQUENCE { x INTEGER (0..255) } }
+
+EnableDisable ::= ENUMERATED {scrubon, scruboff}
+
+MyRefSeqOf ::= SEQUENCE { seqof MySeqOf }
+
+-- A few simple types to start with ASN.1
+MyInteger   ::= INTEGER (-255..255)
+
+MyReal	    ::= REAL (-10.0 .. 1000.0)
+
+MyEnum	    ::= ENUMERATED { hello, world, howareyou }
+
+MySeq	    ::= SEQUENCE {
+		    a MyInteger,
+		    b ENUMERATED { taste(1), welcomes(2), you(3) }
+}
+
+MyChoice    ::= CHOICE {
+		    a BOOLEAN,
+		    b MySeq
+}
+
+MySeqOf	    ::= SEQUENCE (SIZE (2)) OF MyEnum
+MyPossiblyEmptySeqOf ::= SEQUENCE(SIZE(0..2)) OF INTEGER (1..2)
+
+MySeqWithEmbeddedSeqOf ::= SEQUENCE {
+    a SEQUENCE(SIZE(0..2)) OF BOOLEAN
+}
+
+
+MyOctStr    ::= OCTET STRING (SIZE (3))
+
+-- Include an embedded choice
+MyChoice2 ::= CHOICE {
+    a BOOLEAN,
+    b CHOICE {
+	c BOOLEAN,
+	d MyInteger
+    }
+}
+
+END
+
+TASTE-BasicTypes DEFINITIONS ::=
+BEGIN
+
+-- Set of TASTE predefined basic types
+
+T-Int32 ::=  INTEGER (-2147483648 .. 2147483647)
+
+T-UInt32 ::= INTEGER (0 .. 4294967295)
+
+T-Int8 ::= INTEGER (-128 .. 127)
+
+T-UInt8 ::= INTEGER (0 .. 255)
+
+T-Boolean ::= BOOLEAN
+
+END
+
--- a/Demo-opengeode/memoryscrub/memoryscrub.adb
+++ b/Demo-opengeode/memoryscrub/memoryscrub.adb
+-- This file was generated automatically: DO NOT MODIFY IT !
+
+with System.IO;
+use System.IO;
+
+with Ada.Unchecked_Conversion;
+with Ada.Numerics.Generic_Elementary_Functions;
+
+with TASTE_Dataview;
+use TASTE_Dataview;
+with TASTE_BasicTypes;
+use TASTE_BasicTypes;
+with adaasn1rtl;
+use adaasn1rtl;
+
+with Interfaces;
+use Interfaces;
+
+package body memoryscrub is
+    type States is (disabled, enabled);
+    type ctxt_Ty is
+        record
+        state : States;
+        initDone : Boolean := False;
+        par : aliased asn1SccEnableDisable;
+    end record;
+    ctxt: ctxt_Ty;
+    CS_Only  : constant Integer := 3;
+    procedure runTransition(Id: Integer);
+    procedure EnableOrDisable(action: access asn1SccEnableDisable) is
+        begin
+            case ctxt.state is
+                when disabled =>