Commit 577fc804 authored by Daniel Tuulik's avatar Daniel Tuulik

Remove obsolete files

parent 629b6963
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;
package Compiler is
for Default_Switches ("ada") use ("-gnat2012");
end Compiler;
end GPS_Project;
representation_clauses
pragma all
hidden_parts
declare_annotations
real_rtcs
\ No newline at end of file
package Standard is
type Integer is range -2147483648 .. 2147483647;
type Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Short_Short_Integer is range -128 .. 127;
type Short_Integer is range -32768 .. 32767;
type Long_Integer is range -9223372036854775808 .. 9223372036854775807;
type Short_Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Long_Float is digits 15 range -1.79769313486232E+308 .. 1.79769313486232E+308;
end Standard;
package System is
Min_Int : constant := -9223372036854775808;
Max_Int : constant := 9223372036854775807;
Max_Binary_Modulus : constant := 2 ** 64;
Max_Mantissa : constant := 63;
Word_Size : constant := 64;
end System;
#!/bin/bash
rm -rf examiner/*
#sparkmake || exit 1
for file in $(ls *.adb)
do
if [ "$file" == "mainprogram.adb" -o "$file" == "adaasn1rtl.adb" ] ; then
continue
fi
#spark -sparklib -output=examiner -conf=gnat.cfg -vcg -dpc -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
spark -sparklib -output=examiner -conf=gnat.cfg -vcg -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
if [ $? -ne 0 -a $? -ne 1 ] ; then
exit 1
fi
done
sparksimp -a -p=4 -victor || exit 1
pogs -d=examiner -i -o=pogs.sum || exit 1
tail -20 examiner/pogs.sum
V=$(tail -20 examiner/pogs.sum | grep ^Totals: | awk '{print $(NF-1) $NF;}' )
if [ "$V" != "00" ] ; then exit 1 ; fi
exit 0
\ No newline at end of file
adaasn1rtl specification is in adaasn1rtl.ads
adaasn1rtl body is in adaasn1rtl.adb
taste_dataview specification is in taste_dataview.ads
taste_dataview body is in taste_dataview.adb
\ No newline at end of file
/*
Code automatically generated by asn1scc tool
*/
#include <limits.h>
#include <string.h>
#include <math.h>
#include "dataview.h"
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeqDef_d_Initialize(asn1SccSeqDef_d* pVal)
{
*pVal = (asn1SccSeqDef_d) {
.thanassis = FALSE
};
}
#endif
flag asn1SccSeqDef_d_IsConstraintValid(const asn1SccSeqDef_d* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
ret = TRUE; *pErrCode = 0;
return ret;
}
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeqDef_c_Initialize(asn1SccSeqDef_c* pVal)
{
*pVal = (asn1SccSeqDef_c) 8;
}
#endif
flag asn1SccSeqDef_c_IsConstraintValid(const asn1SccSeqDef_c* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
ret = (8 <= *pVal && *pVal <= 255);
*pErrCode = ret ? 0 : ERR_asn1SccSeqDef_c;
return ret;
}
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeqDef_b_Initialize(asn1SccSeqDef_b* pVal)
{
*pVal = (asn1SccSeqDef_b) 10;
}
#endif
flag asn1SccSeqDef_b_IsConstraintValid(const asn1SccSeqDef_b* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
ret = (10 <= *pVal && *pVal <= 20);
*pErrCode = ret ? 0 : ERR_asn1SccSeqDef_b;
return ret;
}
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeqDef_Initialize(asn1SccSeqDef* pVal)
{
*pVal = (asn1SccSeqDef) {
.a = TRUE,
.b = 15,
.c = 8,
.d = {
.thanassis = TRUE
},
.exist = {
.a = 1,
.b = 1,
.d = 1
}
};
}
#endif
flag asn1SccSeqDef_IsConstraintValid(const asn1SccSeqDef* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
if (pVal->exist.a==1) {
ret = TRUE; *pErrCode = 0;
}
if (ret) {
if (pVal->exist.b==1) {
ret = asn1SccSeqDef_b_IsConstraintValid(&pVal->b, pErrCode);
}
if (ret) {
ret = asn1SccSeqDef_c_IsConstraintValid(&pVal->c, pErrCode);
if (ret) {
if (pVal->exist.d==1) {
ret = asn1SccSeqDef_d_IsConstraintValid(&pVal->d, pErrCode);
}
}
}
}
return ret;
}
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeq_b_Initialize(asn1SccSeq_b* pVal)
{
*pVal = (asn1SccSeq_b) {
.b_C = FALSE,
.exist = {
.b_C = 1
}
};
}
#endif
flag asn1SccSeq_b_IsConstraintValid(const asn1SccSeq_b* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
if (pVal->exist.b_C==1) {
ret = TRUE; *pErrCode = 0;
}
return ret;
}
#if !defined(_MSC_VER) || _MSC_VER >= 1800
void asn1SccSeq_Initialize(asn1SccSeq* pVal)
{
*pVal = (asn1SccSeq) {
.a = FALSE,
.b = {
.b_C = FALSE,
.exist = {
.b_C = 1
}
},
.exist = {
.a = 1,
.b = 1
}
};
}
#endif
flag asn1SccSeq_IsConstraintValid(const asn1SccSeq* pVal, int* pErrCode)
{
flag ret = TRUE;
*pErrCode=0;
(void)pVal;
if (pVal->exist.a==1) {
ret = TRUE; *pErrCode = 0;
}
if (ret) {
if (pVal->exist.b==1) {
ret = asn1SccSeq_b_IsConstraintValid(&pVal->b, pErrCode);
}
}
return ret;
}
#ifndef GENERATED_ASN1SCC_DATAVIEW_H
#define GENERATED_ASN1SCC_DATAVIEW_H
/*
Code automatically generated by asn1scc tool
*/
#include "asn1crt.h"
#ifdef __cplusplus
extern "C" {
#endif
typedef struct {
flag thanassis;
} asn1SccSeqDef_d;
#define asn1SccSeqDef_d_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccSeqDef_d_REQUIRED_BITS_FOR_ENCODING 1
#define asn1SccSeqDef_d_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccSeqDef_d_REQUIRED_BITS_FOR_ACN_ENCODING 1
#define asn1SccSeqDef_d_REQUIRED_BYTES_FOR_XER_ENCODING 57
void asn1SccSeqDef_d_Initialize(asn1SccSeqDef_d* pVal);
flag asn1SccSeqDef_d_IsConstraintValid(const asn1SccSeqDef_d* val, int* pErrCode);
typedef asn1SccUint asn1SccSeqDef_c;
#define asn1SccSeqDef_c_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccSeqDef_c_REQUIRED_BITS_FOR_ENCODING 8
#define asn1SccSeqDef_c_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccSeqDef_c_REQUIRED_BITS_FOR_ACN_ENCODING 8
#define asn1SccSeqDef_c_REQUIRED_BYTES_FOR_XER_ENCODING 41
void asn1SccSeqDef_c_Initialize(asn1SccSeqDef_c* pVal);
flag asn1SccSeqDef_c_IsConstraintValid(const asn1SccSeqDef_c* val, int* pErrCode);
#ifndef ERR_asn1SccSeqDef_c
#define ERR_asn1SccSeqDef_c 1001 /*(8 .. 255)*/
#endif
typedef asn1SccUint asn1SccSeqDef_b;
#define asn1SccSeqDef_b_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccSeqDef_b_REQUIRED_BITS_FOR_ENCODING 4
#define asn1SccSeqDef_b_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccSeqDef_b_REQUIRED_BITS_FOR_ACN_ENCODING 4
#define asn1SccSeqDef_b_REQUIRED_BYTES_FOR_XER_ENCODING 41
void asn1SccSeqDef_b_Initialize(asn1SccSeqDef_b* pVal);
flag asn1SccSeqDef_b_IsConstraintValid(const asn1SccSeqDef_b* val, int* pErrCode);
#ifndef ERR_asn1SccSeqDef_b
#define ERR_asn1SccSeqDef_b 1002 /*(10 .. 20)*/
#endif
typedef struct {
flag a;
asn1SccSeqDef_b b;
asn1SccSeqDef_c c;
asn1SccSeqDef_d d;
struct {
unsigned int a:1;
unsigned int b:1;
unsigned int d:1;
} exist;
} asn1SccSeqDef;
#define asn1SccSeqDef_REQUIRED_BYTES_FOR_ENCODING 3
#define asn1SccSeqDef_REQUIRED_BITS_FOR_ENCODING 17
#define asn1SccSeqDef_REQUIRED_BYTES_FOR_ACN_ENCODING 3
#define asn1SccSeqDef_REQUIRED_BITS_FOR_ACN_ENCODING 17
#define asn1SccSeqDef_REQUIRED_BYTES_FOR_XER_ENCODING 134
void asn1SccSeqDef_Initialize(asn1SccSeqDef* pVal);
flag asn1SccSeqDef_IsConstraintValid(const asn1SccSeqDef* val, int* pErrCode);
typedef struct {
flag b_C;
struct {
unsigned int b_C:1;
} exist;
} asn1SccSeq_b;
#define asn1SccSeq_b_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccSeq_b_REQUIRED_BITS_FOR_ENCODING 2
#define asn1SccSeq_b_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccSeq_b_REQUIRED_BITS_FOR_ACN_ENCODING 2
#define asn1SccSeq_b_REQUIRED_BYTES_FOR_XER_ENCODING 39
void asn1SccSeq_b_Initialize(asn1SccSeq_b* pVal);
flag asn1SccSeq_b_IsConstraintValid(const asn1SccSeq_b* val, int* pErrCode);
typedef struct {
flag a;
asn1SccSeq_b b;
struct {
unsigned int a:1;
unsigned int b:1;
} exist;
} asn1SccSeq;
#define asn1SccSeq_REQUIRED_BYTES_FOR_ENCODING 1
#define asn1SccSeq_REQUIRED_BITS_FOR_ENCODING 5
#define asn1SccSeq_REQUIRED_BYTES_FOR_ACN_ENCODING 1
#define asn1SccSeq_REQUIRED_BITS_FOR_ACN_ENCODING 5
#define asn1SccSeq_REQUIRED_BYTES_FOR_XER_ENCODING 62
void asn1SccSeq_Initialize(asn1SccSeq* pVal);
flag asn1SccSeq_IsConstraintValid(const asn1SccSeq* val, int* pErrCode);
/* ================= Encoding/Decoding function prototypes =================
* These functions are placed at the end of the file to make sure all types
* have been declared first, in case of parameterized ACN encodings
* ========================================================================= */
#ifdef __cplusplus
}
#endif
#endif
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;
package Compiler is
for Default_Switches ("ada") use ("-gnat2012");
end Compiler;
end GPS_Project;
representation_clauses
pragma all
hidden_parts
declare_annotations
real_rtcs
\ No newline at end of file
package Standard is
type Integer is range -2147483648 .. 2147483647;
type Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Short_Short_Integer is range -128 .. 127;
type Short_Integer is range -32768 .. 32767;
type Long_Integer is range -9223372036854775808 .. 9223372036854775807;
type Short_Float is digits 6 range -3.40282E+38 .. 3.40282E+38;
type Long_Float is digits 15 range -1.79769313486232E+308 .. 1.79769313486232E+308;
end Standard;
package System is
Min_Int : constant := -9223372036854775808;
Max_Int : constant := 9223372036854775807;
Max_Binary_Modulus : constant := 2 ** 64;
Max_Mantissa : constant := 63;
Word_Size : constant := 64;
end System;
#!/bin/bash
rm -rf examiner/*
#sparkmake || exit 1
for file in $(ls *.adb)
do
if [ "$file" == "mainprogram.adb" -o "$file" == "adaasn1rtl.adb" ] ; then
continue
fi
#spark -sparklib -output=examiner -conf=gnat.cfg -vcg -dpc -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
spark -sparklib -output=examiner -conf=gnat.cfg -vcg -i=spark.idx -language=2005 -warning_file=IgnoredExaminerWarnings.wrn $file
if [ $? -ne 0 -a $? -ne 1 ] ; then
exit 1
fi
done
sparksimp -a -p=4 -victor || exit 1
pogs -d=examiner -i -o=pogs.sum || exit 1
tail -20 examiner/pogs.sum
V=$(tail -20 examiner/pogs.sum | grep ^Totals: | awk '{print $(NF-1) $NF;}' )
if [ "$V" != "00" ] ; then exit 1 ; fi
exit 0
\ No newline at end of file
adaasn1rtl specification is in adaasn1rtl.ads
adaasn1rtl body is in adaasn1rtl.adb
taste_dataview specification is in taste_dataview.ads
taste_dataview body is in taste_dataview.adb
\ No newline at end of file
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
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