Skip to content

GitLab

Commit 2d82b46a authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Switch to a simpler test

parent 648ae48d
Hide whitespace changes
Inline Side-by-side
Demo_checkSMP/DeploymentView.aadl
View file @ 2d82b46a
......@@ -50,11 +50,11 @@ SUBCOMPONENTS
Taste::FunctionName => "Function4";
};
gr740_partition : PROCESS deploymentview::DV::Node1::gr740_partition.others {
Taste::coordinates => "123654 114138 220066 169734";
Taste::coordinates => "141020 107883 218669 153435";
Deployment::Port_Number => 0;
};
gr740_rtems412_posix : PROCESSOR ocarina_processors_leon::gr740.rtems412_posix {
Taste::coordinates => "111602 98253 232118 177676";
Taste::coordinates => "131314 94868 228375 159942";
};
PROPERTIES
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Function1;
......@@ -70,7 +70,7 @@ END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "96537 75561 247182 189022";
Taste::coordinates => "119181 76276 240508 169238";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;
......
Demo_checkSMP/InterfaceView.aadl
View file @ 2d82b46a
......@@ -24,20 +24,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_pulse.others;
SUBPROGRAM PI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 3;
END PI_report;
SUBPROGRAM IMPLEMENTATION PI_report.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report.others;
SUBPROGRAM RI_op1
END RI_op1;
......@@ -65,13 +51,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "pulse";
};
PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_report.others {
Taste::coordinates => "75279 75023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "report";
};
RI_op1 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_op1.others {
Taste::coordinates => "99620 45959";
Taste::RCMoperationKind => any;
......@@ -103,7 +82,6 @@ END interfaceview::IV::Function1;
PACKAGE interfaceview::IV::Function2
PUBLIC
WITH interfaceview::IV::Function1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
......@@ -117,16 +95,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op1.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
SYSTEM Function2
FEATURES
PI_op1 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function2::PI_op1.others {
......@@ -136,12 +104,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op1";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_report.others {
Taste::coordinates => "165378 39056";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -155,7 +117,6 @@ END interfaceview::IV::Function2;
PACKAGE interfaceview::IV::Function3
PUBLIC
WITH interfaceview::IV::Function1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
......@@ -169,16 +130,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op2.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
SYSTEM Function3
FEATURES
PI_op2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function3::PI_op2.others {
......@@ -188,12 +139,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op2";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_report.others {
Taste::coordinates => "164651 99001";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -207,13 +152,10 @@ END interfaceview::IV::Function3;
PACKAGE interfaceview::IV::Function4
PUBLIC
WITH interfaceview::IV::Function1;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_op3
PROPERTIES
Taste::Associated_Queue_Size => 1;
END PI_op3;
SUBPROGRAM IMPLEMENTATION PI_op3.others
......@@ -221,31 +163,13 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op3.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
SYSTEM Function4
FEATURES
PI_op3 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Function4::PI_op3.others {
Taste::coordinates => "165377 141871";
Taste::coordinates => "163075 158013";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op3";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Function1::PI_report.others {
Taste::coordinates => "165377 161489";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -281,18 +205,9 @@ SUBCOMPONENTS
Taste::coordinates => "164651 77203 246394 120073";
};
Function4 : SYSTEM interfaceview::IV::Function4::Function4.others {
Taste::coordinates => "165377 132425 244940 188373";
Taste::coordinates => "163075 136941 254264 180538";
};
CONNECTIONS
Function1_PI_report_Function2_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function2.RI_report {
Taste::coordinates => "165378 39056 146232 39056 146232 90578 75279 90578 75279 75023";
};
Function1_PI_report_Function3_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function3.RI_report {
Taste::coordinates => "164651 99001 75279 99001 75279 75023";
};
Function1_PI_report_Function4_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function4.RI_report {
Taste::coordinates => "165377 161489 75279 161489 75279 75023";
};
Function2_PI_op1_Function1_RI_op1 : SUBPROGRAM ACCESS Function2.PI_op1 -> Function1.RI_op1 {
Taste::coordinates => "99620 45959 132499 45959 132499 30337 165378 30337";
};
......@@ -300,7 +215,7 @@ CONNECTIONS
Taste::coordinates => "99620 53225 132135 53225 132135 80836 164651 80836";
};
Function4_PI_op3_Function1_RI_op3 : SUBPROGRAM ACCESS Function4.PI_op3 -> Function1.RI_op3 {
Taste::coordinates => "99620 60491 121327 60491 121327 141871 165377 141871";
Taste::coordinates => "99620 60491 121659 60491 121659 158013 163075 158013";
};
END interfaceview.others;
......
Demo_checkSMP/InterfaceView.md5
View file @ 2d82b46a
5bdf50dd31ae1035191fd07f9753151c InterfaceView.aadl
c3ca11352c6955c1a7d431534d9fd5b6 InterfaceView.aadl
Demo_checkSMP/__dv_1_3.aadl
View file @ 2d82b46a
......@@ -47,11 +47,11 @@ SUBCOMPONENTS
Taste::FunctionName => "Function4";
};
gr740_partition : PROCESS deploymentview::DV::Node1::gr740_partition.others {
Taste::coordinates => "123654 114138 220066 169734";
Taste::coordinates => "141020 107883 218669 153435";
Deployment::Port_Number => 0;
};
gr740_rtems412_posix : PROCESSOR ocarina_processors_leon::gr740.rtems412_posix {
Taste::coordinates => "111602 98253 232118 177676";
Taste::coordinates => "131314 94868 228375 159942";
};
PROPERTIES
Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_Function1;
......@@ -67,7 +67,7 @@ END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node1 : SYSTEM Node1.others {
Taste::coordinates => "96537 75561 247182 189022";
Taste::coordinates => "119181 76276 240508 169238";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;
......
Demo_checkSMP/__iv_1_3.aadl
View file @ 2d82b46a
......@@ -21,20 +21,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_pulse.others;
SUBPROGRAM PI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
PROPERTIES
Taste::Associated_Queue_Size => 3;
END PI_report;
SUBPROGRAM IMPLEMENTATION PI_report.others
PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report.others;
SUBPROGRAM RI_op1
END RI_op1;
......@@ -71,16 +57,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op1.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
END interfaceview::FV::Function2;
PACKAGE interfaceview::FV::Function3
......@@ -99,16 +75,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op2.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
END interfaceview::FV::Function3;
PACKAGE interfaceview::FV::Function4
......@@ -127,16 +93,6 @@ PROPERTIES
Compute_Execution_Time => 0 ms .. 0 ms;
END PI_op3.others;
SUBPROGRAM RI_report
FEATURES
sender_ID : IN PARAMETER DataView::MyInteger {
Taste::encoding => NATIVE;
};
END RI_report;
SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;
END interfaceview::FV::Function4;
PACKAGE interfaceview::IV
......@@ -158,13 +114,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "pulse";
};
PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_report.others {
Taste::coordinates => "75279 75023";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "report";
};
RI_op1 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Function2::PI_op1.others {
Taste::coordinates => "99620 45959";
Taste::RCMoperationKind => any;
......@@ -191,10 +140,8 @@ END Function1;
SYSTEM IMPLEMENTATION Function1.others
SUBCOMPONENTS
pulse_impl : SUBPROGRAM interfaceview::FV::Function1::PI_pulse.others;
report_impl : SUBPROGRAM interfaceview::FV::Function1::PI_report.others;
CONNECTIONS
OpToPICnx_pulse_impl : SUBPROGRAM ACCESS pulse_impl -> PI_pulse;
OpToPICnx_report_impl : SUBPROGRAM ACCESS report_impl -> PI_report;
END Function1.others;
SYSTEM Function2
......@@ -206,12 +153,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op1";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_report.others {
Taste::coordinates => "165378 39056";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -233,12 +174,6 @@ FEATURES
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op2";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_report.others {
Taste::coordinates => "164651 99001";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -254,18 +189,12 @@ END Function3.others;
SYSTEM Function4
FEATURES
PI_op3 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Function4::PI_op3.others {
Taste::coordinates => "165377 141871";
Taste::coordinates => "163075 158013";
Taste::RCMoperationKind => sporadic;
Taste::RCMperiod => 0 ms;
Taste::Deadline => 0 ms;
Taste::InterfaceName => "op3";
};
RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_report.others {
Taste::coordinates => "165377 161489";
Taste::RCMoperationKind => any;
Taste::InterfaceName => "report";
Taste::labelInheritance => "true";
};
PROPERTIES
Source_Language => (C);
Taste::Active_Interfaces => any;
......@@ -293,18 +222,9 @@ SUBCOMPONENTS
Taste::coordinates => "164651 77203 246394 120073";
};
Function4 : SYSTEM interfaceview::IV::Function4.others {
Taste::coordinates => "165377 132425 244940 188373";
Taste::coordinates => "163075 136941 254264 180538";
};
CONNECTIONS
Function1_PI_report_Function2_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function2.RI_report {
Taste::coordinates => "165378 39056 146232 39056 146232 80800 75279 80800 75279 75023";
};
Function1_PI_report_Function3_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function3.RI_report {
Taste::coordinates => "164651 99001 75279 99001 75279 75023";
};
Function1_PI_report_Function4_RI_report : SUBPROGRAM ACCESS Function1.PI_report -> Function4.RI_report {
Taste::coordinates => "165377 161489 75279 161489 75279 75023";
};
Function2_PI_op1_Function1_RI_op1 : SUBPROGRAM ACCESS Function2.PI_op1 -> Function1.RI_op1 {
Taste::coordinates => "99620 45959 132499 45959 132499 30337 165378 30337";
};
......@@ -312,7 +232,7 @@ CONNECTIONS
Taste::coordinates => "99620 53225 132135 53225 132135 80836 164651 80836";
};
Function4_PI_op3_Function1_RI_op3 : SUBPROGRAM ACCESS Function4.PI_op3 -> Function1.RI_op3 {
Taste::coordinates => "99620 60491 132498 60491 132498 141871 165377 141871";
Taste::coordinates => "99620 60491 131347 60491 131347 158013 163075 158013";
};
END interfaceview.others;
......
Demo_checkSMP/build-script.sh
View file @ 2d82b46a
......@@ -31,7 +31,7 @@ then
fi
# Use PolyORB-HI-C runtime
# USE_POHIC=1
USE_POHIC=1
# Detect models from Ellidiss tools v2, and convert them to 1.3
INTERFACEVIEW=InterfaceView.aadl
......
Demo_checkSMP/deployment.pro
View file @ 2d82b46a
......@@ -15,16 +15,16 @@ isComponentType('deploymentview::DV::Node1','PUBLIC','gr740_partition','PROCESS'
isComponentImplementation('deploymentview::DV::Node1','PUBLIC','gr740_partition','others','PROCESS','NIL','others','').
isProperty('NIL','APPLIES TO','deploymentview::DV','Node1','others','gr740_partition','Actual_Processor_Binding','(reference (gr740_rtems412_posix))','').
isSubcomponent('deploymentview::DV','Node1','others','gr740_partition','PROCESS','deploymentview::DV::Node1::gr740_partition.others','NIL','NIL','').
isProperty('NIL','=>','deploymentview::DV','Node1','others','gr740_partition','Taste::coordinates','"123654 114138 220066 169734"','').
isProperty('NIL','=>','deploymentview::DV','Node1','others','gr740_partition','Taste::coordinates','"141020 107883 218669 153435"','').
isProperty('NIL','=>','deploymentview::DV','Node1','others','gr740_partition','Deployment::Port_Number','0','').
isImportDeclaration('deploymentview::DV','PUBLIC','ocarina_processors_leon','').
isProperty('NIL','=>','deploymentview::DV','gr740','NIL','NIL','Scheduling_Protocol','Posix_1003_Highest_Priority_First_Protocol','').
isSubcomponent('deploymentview::DV','Node1','others','gr740_rtems412_posix','PROCESSOR','ocarina_processors_leon::gr740.rtems412_posix','NIL','NIL','').
isProperty('NIL','=>','deploymentview::DV','Node1','others','gr740_rtems412_posix','Taste::coordinates','"111602 98253 232118 177676"','').
isProperty('NIL','=>','deploymentview::DV','Node1','others','gr740_rtems412_posix','Taste::coordinates','"131314 94868 228375 159942"','').
isComponentType('deploymentview::DV','PUBLIC','Node1','SYSTEM','NIL','').
isComponentImplementation('deploymentview::DV','PUBLIC','Node1','others','SYSTEM','NIL','others','').
isSubcomponent('deploymentview::DV','deploymentview','others','Node1','SYSTEM','Node1.others','NIL','NIL','').
isProperty('NIL','=>','deploymentview::DV','deploymentview','others','Node1','Taste::coordinates','"96537 75561 247182 189022"','').
isProperty('NIL','=>','deploymentview::DV','deploymentview','others','Node1','Taste::coordinates','"119181 76276 240508 169238"','').
isPackage('deploymentview::DV::Node1','PUBLIC','').
isImportDeclaration('deploymentview::DV::Node1','PUBLIC','Taste','').
isImportDeclaration('deploymentview::DV::Node1','PUBLIC','Deployment','').
......
Demo_checkSMP/function1/dataview/dataview-uniq.h
View file @ 2d82b46a
......@@ -11,6 +11,74 @@ extern "C" {
typedef asn1SccSint asn1SccT_Int32;
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_ENCODING 4
#define asn1SccT_Int32_REQUIRED_BITS_FOR_ENCODING 32
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_ACN_ENCODING 4
#define asn1SccT_Int32_REQUIRED_BITS_FOR_ACN_ENCODING 32
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_XER_ENCODING 39
void asn1SccT_Int32_Initialize(asn1SccT_Int32* pVal);
flag asn1SccT_Int32_IsConstraintValid(const asn1SccT_Int32* val, int* pErrCode);
#ifndef ERR_asn1SccT_Int32
#define ERR_asn1SccT_Int32 1001 /*(-2147483648 .. 2147483647)*/
#endif
typedef asn1SccUint asn1SccT_UInt32;
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_ENCODING 4
#define asn1SccT_UInt32_REQUIRED_BITS_FOR_ENCODING 32
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_ACN_ENCODING 4
#define asn1SccT_UInt32_REQUIRED_BITS_FOR_ACN_ENCODING 32
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_XER_ENCODING 41
void asn1SccT_UInt32_Initialize(asn1SccT_UInt32* pVal);
flag asn1SccT_UInt32_IsConstraintValid(const asn1SccT_UInt32* val, int* pErrCode);
#ifndef ERR_asn1SccT_UInt32
#define ERR_asn1SccT_UInt32 1002 /*(0 .. 4294967295)*/
#endif
typedef asn1SccSint asn1SccT_Int8;
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_Int8_REQUIRED_BITS_FOR_ENCODING 8
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_Int8_REQUIRED_BITS_FOR_ACN_ENCODING 8
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_XER_ENCODING 37
void asn1SccT_Int8_Initialize(asn1SccT_Int8* pVal);
flag asn1SccT_Int8_IsConstraintValid(const asn1SccT_Int8* val, int* pErrCode);
#ifndef ERR_asn1SccT_Int8
#define ERR_asn1SccT_Int8 1003 /*(-128 .. 127)*/
#endif
typedef asn1SccUint asn1SccT_UInt8;
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_UInt8_REQUIRED_BITS_FOR_ENCODING 8
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_UInt8_REQUIRED_BITS_FOR_ACN_ENCODING 8
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_XER_ENCODING 39
void asn1SccT_UInt8_Initialize(asn1SccT_UInt8* pVal);
flag asn1SccT_UInt8_IsConstraintValid(const asn1SccT_UInt8* val, int* pErrCode);
#ifndef ERR_asn1SccT_UInt8
#define ERR_asn1SccT_UInt8 1004 /*(0 .. 255)*/
#endif
typedef flag asn1SccT_Boolean;
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BITS_FOR_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BITS_FOR_ACN_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_XER_ENCODING 36
void asn1SccT_Boolean_Initialize(asn1SccT_Boolean* pVal);
flag asn1SccT_Boolean_IsConstraintValid(const asn1SccT_Boolean* val, int* pErrCode);
typedef asn1SccUint asn1SccMyInteger;
#define asn1SccMyInteger_REQUIRED_BYTES_FOR_ENCODING 1
......@@ -22,7 +90,7 @@ typedef asn1SccUint asn1SccMyInteger;
void asn1SccMyInteger_Initialize(asn1SccMyInteger* pVal);
flag asn1SccMyInteger_IsConstraintValid(const asn1SccMyInteger* val, int* pErrCode);
#ifndef ERR_asn1SccMyInteger
#define ERR_asn1SccMyInteger 1001 /*(0 .. 255)*/
#define ERR_asn1SccMyInteger 1005 /*(0 .. 255)*/
#endif
typedef double asn1SccMyReal;
......@@ -36,7 +104,7 @@ typedef double asn1SccMyReal;
void asn1SccMyReal_Initialize(asn1SccMyReal* pVal);
flag asn1SccMyReal_IsConstraintValid(const asn1SccMyReal* val, int* pErrCode);
#ifndef ERR_asn1SccMyReal
#define ERR_asn1SccMyReal 1002 /*(0.00000000000000000000E+000 .. 1.00000000000000000000E+003)*/
#define ERR_asn1SccMyReal 1006 /*(0.00000000000000000000E+000 .. 1.00000000000000000000E+003)*/
#endif
typedef flag asn1SccMyBool;
......@@ -66,10 +134,10 @@ typedef enum {
void asn1SccMyEnum_Initialize(asn1SccMyEnum* pVal);
flag asn1SccMyEnum_IsConstraintValid(const asn1SccMyEnum* val, int* pErrCode);
#ifndef ERR_asn1SccMyEnum_unknown_enumeration_value
#define ERR_asn1SccMyEnum_unknown_enumeration_value 1004 /**/
#define ERR_asn1SccMyEnum_unknown_enumeration_value 1008 /**/
#endif
#ifndef ERR_asn1SccMyEnum
#define ERR_asn1SccMyEnum 1003 /**/
#define ERR_asn1SccMyEnum 1007 /**/
#endif
typedef struct {
......@@ -85,7 +153,7 @@ typedef struct {
void asn1SccMySeqOf_Initialize(asn1SccMySeqOf* pVal);
flag asn1SccMySeqOf_IsConstraintValid(const asn1SccMySeqOf* val, int* pErrCode);
#ifndef ERR_asn1SccMySeqOf
#define ERR_asn1SccMySeqOf 1005 /*(SIZE(2))*/
#define ERR_asn1SccMySeqOf 1009 /*(SIZE(2))*/
#endif
typedef struct {
......@@ -101,7 +169,7 @@ typedef struct {
void asn1SccMyOctStr_Initialize(asn1SccMyOctStr* pVal);
flag asn1SccMyOctStr_IsConstraintValid(const asn1SccMyOctStr* val, int* pErrCode);
#ifndef ERR_asn1SccMyOctStr
#define ERR_asn1SccMyOctStr 1006 /*(SIZE(3))*/
#define ERR_asn1SccMyOctStr 1010 /*(SIZE(3))*/
#endif
typedef enum {
......@@ -118,10 +186,10 @@ typedef enum {
void asn1SccMySeq_validity_Initialize(asn1SccMySeq_validity* pVal);
flag asn1SccMySeq_validity_IsConstraintValid(const asn1SccMySeq_validity* val, int* pErrCode);
#ifndef ERR_asn1SccMySeq_validity_unknown_enumeration_value
#define ERR_asn1SccMySeq_validity_unknown_enumeration_value 1008 /**/
#define ERR_asn1SccMySeq_validity_unknown_enumeration_value 1012 /**/
#endif
#ifndef ERR_asn1SccMySeq_validity
#define ERR_asn1SccMySeq_validity 1007 /**/
#define ERR_asn1SccMySeq_validity 1011 /**/
#endif
typedef struct {
......@@ -161,77 +229,9 @@ typedef struct {
void asn1SccMyChoice_Initialize(asn1SccMyChoice* pVal);
flag asn1SccMyChoice_IsConstraintValid(const asn1SccMyChoice* val, int* pErrCode);
#ifndef ERR_asn1SccMyChoice_unknown_choice_index
#define ERR_asn1SccMyChoice_unknown_choice_index 1009 /**/
#endif
typedef asn1SccSint asn1SccT_Int32;
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_ENCODING 4
#define asn1SccT_Int32_REQUIRED_BITS_FOR_ENCODING 32
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_ACN_ENCODING 4
#define asn1SccT_Int32_REQUIRED_BITS_FOR_ACN_ENCODING 32
#define asn1SccT_Int32_REQUIRED_BYTES_FOR_XER_ENCODING 39
void asn1SccT_Int32_Initialize(asn1SccT_Int32* pVal);
flag asn1SccT_Int32_IsConstraintValid(const asn1SccT_Int32* val, int* pErrCode);
#ifndef ERR_asn1SccT_Int32
#define ERR_asn1SccT_Int32 1010 /*(-2147483648 .. 2147483647)*/
#define ERR_asn1SccMyChoice_unknown_choice_index 1013 /**/
#endif
typedef asn1SccUint asn1SccT_UInt32;
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_ENCODING 4
#define asn1SccT_UInt32_REQUIRED_BITS_FOR_ENCODING 32
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_ACN_ENCODING 4
#define asn1SccT_UInt32_REQUIRED_BITS_FOR_ACN_ENCODING 32
#define asn1SccT_UInt32_REQUIRED_BYTES_FOR_XER_ENCODING 41
void asn1SccT_UInt32_Initialize(asn1SccT_UInt32* pVal);
flag asn1SccT_UInt32_IsConstraintValid(const asn1SccT_UInt32* val, int* pErrCode);
#ifndef ERR_asn1SccT_UInt32
#define ERR_asn1SccT_UInt32 1011 /*(0 .. 4294967295)*/
#endif
typedef asn1SccSint asn1SccT_Int8;
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_Int8_REQUIRED_BITS_FOR_ENCODING 8
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_Int8_REQUIRED_BITS_FOR_ACN_ENCODING 8
#define asn1SccT_Int8_REQUIRED_BYTES_FOR_XER_ENCODING 37
void asn1SccT_Int8_Initialize(asn1SccT_Int8* pVal);
flag asn1SccT_Int8_IsConstraintValid(const asn1SccT_Int8* val, int* pErrCode);
#ifndef ERR_asn1SccT_Int8
#define ERR_asn1SccT_Int8 1012 /*(-128 .. 127)*/
#endif
typedef asn1SccUint asn1SccT_UInt8;
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_UInt8_REQUIRED_BITS_FOR_ENCODING 8
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_UInt8_REQUIRED_BITS_FOR_ACN_ENCODING 8
#define asn1SccT_UInt8_REQUIRED_BYTES_FOR_XER_ENCODING 39
void asn1SccT_UInt8_Initialize(asn1SccT_UInt8* pVal);
flag asn1SccT_UInt8_IsConstraintValid(const asn1SccT_UInt8* val, int* pErrCode);
#ifndef ERR_asn1SccT_UInt8
#define ERR_asn1SccT_UInt8 1013 /*(0 .. 255)*/
#endif
typedef flag asn1SccT_Boolean;
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BITS_FOR_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BITS_FOR_ACN_ENCODING 1
#define asn1SccT_Boolean_REQUIRED_BYTES_FOR_XER_ENCODING 36
void asn1SccT_Boolean_Initialize(asn1SccT_Boolean* pVal);