Commit b60cc84d authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Deleted old files placed there by mistake

parent 1ab55bfb
project GPS_project is
for Object_Dir use "bin";
for Main use ("mainprogram.adb");
package Ide is
for Default_Switches ("examiner") use ("-vcg", "-dpc", "-sparklib", "-language=2005", "-index_file=spark.idx",
"-warning_file=IgnoredExaminerWarnings.wrn", "-config=gnat.cfg",
"-output_directory=examiner");
for Default_Switches ("sparksimp") use ("-p=4", "-nz", "-victor");
end Ide;
end GPS_project;
This diff is collapsed.
This diff is collapsed.
-- Code automatically generated by asn1scc tool
WITH adaasn1rtl;
use type adaasn1rtl.Asn1UInt;
use type adaasn1rtl.Asn1Int;
use type adaasn1rtl.BIT;
PACKAGE BODY TASTE_BasicTypes IS
SUBTYPE T_Boolean_pattern_array_range is Natural range 1..1;
SUBTYPE T_Boolean_pattern_array is adaasn1rtl.BitArray(T_Boolean_pattern_array_range);
T_Boolean_pattern:CONSTANT T_Boolean_pattern_array := T_Boolean_pattern_array'(1=>1);
FUNCTION asn1SccT_Int32_Init return asn1SccT_Int32
IS
BEGIN
RETURN -2147483648;
END asn1SccT_Int32_Init;
FUNCTION asn1SccT_Int32_IsConstraintValid(val : in asn1SccT_Int32) return adaasn1rtl.ASN1_RESULT
IS
ret : adaasn1rtl.ASN1_RESULT;
BEGIN
-- INTEGER (-2147483648 .. 2147483647)-------
-- INTEGER (-2147483648 .. 2147483647)
ret := adaasn1rtl.ASN1_RESULT'(Success => (-2147483648 <= val AND val <= 2147483647), ErrorCode => ERR_asn1SccT_Int32);
RETURN ret;
END asn1SccT_Int32_IsConstraintValid;
FUNCTION asn1SccT_Int32_Equal(val1, val2: in asn1SccT_Int32) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccT_Int32_Equal;
FUNCTION asn1SccT_UInt32_Init return asn1SccT_UInt32
IS
BEGIN
RETURN 0;
END asn1SccT_UInt32_Init;
FUNCTION asn1SccT_UInt32_IsConstraintValid(val : in asn1SccT_UInt32) return adaasn1rtl.ASN1_RESULT
IS
ret : adaasn1rtl.ASN1_RESULT;
BEGIN
-- INTEGER (0 .. 4294967295)-------
-- INTEGER (0 .. 4294967295)
ret := adaasn1rtl.ASN1_RESULT'(Success => (0 <= val AND val <= 4294967295), ErrorCode => ERR_asn1SccT_UInt32);
RETURN ret;
END asn1SccT_UInt32_IsConstraintValid;
FUNCTION asn1SccT_UInt32_Equal(val1, val2: in asn1SccT_UInt32) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccT_UInt32_Equal;
FUNCTION asn1SccT_Int8_Init return asn1SccT_Int8
IS
BEGIN
RETURN -128;
END asn1SccT_Int8_Init;
FUNCTION asn1SccT_Int8_IsConstraintValid(val : in asn1SccT_Int8) return adaasn1rtl.ASN1_RESULT
IS
ret : adaasn1rtl.ASN1_RESULT;
BEGIN
-- INTEGER (-128 .. 127)-------
-- INTEGER (-128 .. 127)
ret := adaasn1rtl.ASN1_RESULT'(Success => (-128 <= val AND val <= 127), ErrorCode => ERR_asn1SccT_Int8);
RETURN ret;
END asn1SccT_Int8_IsConstraintValid;
FUNCTION asn1SccT_Int8_Equal(val1, val2: in asn1SccT_Int8) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccT_Int8_Equal;
FUNCTION asn1SccT_UInt8_Init return asn1SccT_UInt8
IS
BEGIN
RETURN 0;
END asn1SccT_UInt8_Init;
FUNCTION asn1SccT_UInt8_IsConstraintValid(val : in asn1SccT_UInt8) return adaasn1rtl.ASN1_RESULT
IS
ret : adaasn1rtl.ASN1_RESULT;
BEGIN
-- INTEGER (0 .. 255)-------
-- INTEGER (0 .. 255)
ret := adaasn1rtl.ASN1_RESULT'(Success => (0 <= val AND val <= 255), ErrorCode => ERR_asn1SccT_UInt8);
RETURN ret;
END asn1SccT_UInt8_IsConstraintValid;
FUNCTION asn1SccT_UInt8_Equal(val1, val2: in asn1SccT_UInt8) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccT_UInt8_Equal;
FUNCTION asn1SccT_Boolean_Init return asn1SccT_Boolean
IS
BEGIN
RETURN FALSE;
END asn1SccT_Boolean_Init;
FUNCTION asn1SccT_Boolean_Equal(val1, val2: in asn1SccT_Boolean) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccT_Boolean_Equal;
END TASTE_BasicTypes;
\ No newline at end of file
-- Code automatically generated by asn1scc tool
WITH adaasn1rtl; use type adaasn1rtl.Asn1UInt; use type adaasn1rtl.Asn1Int;use type adaasn1rtl.BIT;
--# inherit adaasn1rtl;
PACKAGE TASTE_BasicTypes
IS
-----------------------------------------------------------asn1SccT_Int32-------------------------------------------------------------
SUBTYPE asn1SccT_Int32 IS adaasn1rtl.Asn1Int range -2147483648..2147483647;
asn1SccT_Int32_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 4;
asn1SccT_Int32_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 32;
asn1SccT_Int32_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 4;
asn1SccT_Int32_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 32;
asn1SccT_Int32_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccT_Int32_Init return asn1SccT_Int32;
---# derives val from;
FUNCTION asn1SccT_Int32_IsConstraintValid(val : in asn1SccT_Int32) return adaasn1rtl.ASN1_RESULT;
---# derives result from val;
FUNCTION asn1SccT_Int32_Equal(val1, val2: in asn1SccT_Int32) return Boolean;
ERR_asn1SccT_Int32:CONSTANT INTEGER := 1001; -- (-2147483648 .. 2147483647)
-----------------------------------------------------------asn1SccT_UInt32-------------------------------------------------------------
SUBTYPE asn1SccT_UInt32 IS adaasn1rtl.Asn1Int range 0..4294967295;
asn1SccT_UInt32_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 4;
asn1SccT_UInt32_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 32;
asn1SccT_UInt32_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 4;
asn1SccT_UInt32_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 32;
asn1SccT_UInt32_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccT_UInt32_Init return asn1SccT_UInt32;
---# derives val from;
FUNCTION asn1SccT_UInt32_IsConstraintValid(val : in asn1SccT_UInt32) return adaasn1rtl.ASN1_RESULT;
---# derives result from val;
FUNCTION asn1SccT_UInt32_Equal(val1, val2: in asn1SccT_UInt32) return Boolean;
ERR_asn1SccT_UInt32:CONSTANT INTEGER := 1002; -- (0 .. 4294967295)
-----------------------------------------------------------asn1SccT_Int8-------------------------------------------------------------
SUBTYPE asn1SccT_Int8 IS adaasn1rtl.Asn1Int range -128..127;
asn1SccT_Int8_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Int8_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 8;
asn1SccT_Int8_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Int8_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 8;
asn1SccT_Int8_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccT_Int8_Init return asn1SccT_Int8;
---# derives val from;
FUNCTION asn1SccT_Int8_IsConstraintValid(val : in asn1SccT_Int8) return adaasn1rtl.ASN1_RESULT;
---# derives result from val;
FUNCTION asn1SccT_Int8_Equal(val1, val2: in asn1SccT_Int8) return Boolean;
ERR_asn1SccT_Int8:CONSTANT INTEGER := 1003; -- (-128 .. 127)
-----------------------------------------------------------asn1SccT_UInt8-------------------------------------------------------------
SUBTYPE asn1SccT_UInt8 IS adaasn1rtl.Asn1Int range 0..255;
asn1SccT_UInt8_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_UInt8_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 8;
asn1SccT_UInt8_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_UInt8_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 8;
asn1SccT_UInt8_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccT_UInt8_Init return asn1SccT_UInt8;
---# derives val from;
FUNCTION asn1SccT_UInt8_IsConstraintValid(val : in asn1SccT_UInt8) return adaasn1rtl.ASN1_RESULT;
---# derives result from val;
FUNCTION asn1SccT_UInt8_Equal(val1, val2: in asn1SccT_UInt8) return Boolean;
ERR_asn1SccT_UInt8:CONSTANT INTEGER := 1004; -- (0 .. 255)
-----------------------------------------------------------asn1SccT_Boolean-------------------------------------------------------------
SUBTYPE asn1SccT_Boolean IS adaasn1rtl.Asn1Boolean;
asn1SccT_Boolean_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Boolean_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Boolean_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Boolean_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 1;
asn1SccT_Boolean_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccT_Boolean_Init return asn1SccT_Boolean;
---# derives val from;
FUNCTION asn1SccT_Boolean_Equal(val1, val2: in asn1SccT_Boolean) return Boolean;
private
--# hide TASTE_BasicTypes;
END TASTE_BasicTypes;
\ No newline at end of file
-- Code automatically generated by asn1scc tool
WITH adaasn1rtl;
WITH TASTE_BasicTypes;
use type adaasn1rtl.Asn1UInt;
use type adaasn1rtl.Asn1Int;
use type adaasn1rtl.BIT;
PACKAGE BODY TASTE_Dataview IS
FUNCTION asn1SccLight_Init return asn1SccLight
IS
BEGIN
RETURN asn1Sccred;
END asn1SccLight_Init;
FUNCTION asn1SccLight_Equal(val1, val2: in asn1SccLight) return Boolean
IS
BEGIN
RETURN val1 = val2;
END asn1SccLight_Equal;
END TASTE_Dataview;
\ No newline at end of file
-- Code automatically generated by asn1scc tool
WITH adaasn1rtl; use type adaasn1rtl.Asn1UInt; use type adaasn1rtl.Asn1Int;use type adaasn1rtl.BIT;
WITH TASTE_BasicTypes;
--# inherit adaasn1rtl,TASTE_BasicTypes;
PACKAGE TASTE_Dataview
IS
-----------------------------------------------------------asn1SccLight-------------------------------------------------------------
SUBTYPE asn1SccLight_index_range is integer range 0..3;
TYPE asn1SccLight IS (asn1Sccred, asn1Sccyellow, asn1Sccgreen, asn1Sccall_off);
for asn1SccLight use
(asn1Sccred => 0, asn1Sccyellow => 1, asn1Sccgreen => 2, asn1Sccall_off => 3);
for asn1SccLight'Size use 32;
asn1SccLight_REQUIRED_BYTES_FOR_ENCODING:CONSTANT INTEGER := 1;
asn1SccLight_REQUIRED_BITS_FOR_ENCODING:CONSTANT INTEGER := 2;
asn1SccLight_REQUIRED_BYTES_FOR_ACN_ENCODING:CONSTANT INTEGER := 1;
asn1SccLight_REQUIRED_BITS_FOR_ACN_ENCODING:CONSTANT INTEGER := 2;
asn1SccLight_REQUIRED_BYTES_FOR_XER_ENCODING:CONSTANT INTEGER := 0;
FUNCTION asn1SccLight_Init return asn1SccLight;
---# derives val from;
FUNCTION asn1SccLight_Equal(val1, val2: in asn1SccLight) return Boolean;
ERR_asn1SccLight_unknown_enumeration_value:CONSTANT INTEGER := 1005; --
private
--# hide TASTE_Dataview;
END TASTE_Dataview;
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment