Skip to content

GitLab

T
taste-model-checker
Source
Select Git revision
...
Target
Select Git revision
 
Commits (7)
Hide whitespace changes
Inline Side-by-side
Showing with 958 additions and 503 deletions
asn1-iterators/Makefile
View file @ ebf11fb3
......@@ -5,11 +5,10 @@ all:
@echo A testcase can be build from source with "make test"
install: uninstall
mkdir -p obj && rm -f obj/taste-asn1-iterators && \
sed 's,$$PREFIX,$(PREFIX),g' src/taste-asn1-iterators > obj/taste-asn1-iterators && \
chmod +x obj/taste-asn1-iterators
mkdir -p obj && cp src/taste-asn1-iterators.py obj/taste-asn1-iterators
gprbuild -p asn1_iterators.gpr
gprinstall -p -XLIBRARY_TYPE=dynamic --build-name=shared --prefix=$(PREFIX) asn1_iterators.gpr
rm -rf obj
@echo Do not forget to export ADA_PROJECT_PATH=$(PREFIX)/share/gpr
test_build: clean install
......
asn1-iterators/Makefile.old 0 → 100644
View file @ ebf11fb3
PREFIX?=$(HOME)/.local
all:
@echo You can install with "make install"
@echo A testcase can be build from source with "make test"
install: uninstall
mkdir -p obj && rm -f obj/taste-asn1-iterators && \
sed 's,$$PREFIX,$(PREFIX),g' src/taste-asn1-iterators > obj/taste-asn1-iterators && \
chmod +x obj/taste-asn1-iterators
gprbuild -p asn1_iterators.gpr
gprinstall -p -XLIBRARY_TYPE=dynamic --build-name=shared --prefix=$(PREFIX) asn1_iterators.gpr
@echo Do not forget to export ADA_PROJECT_PATH=$(PREFIX)/share/gpr
test_build: clean install
mkdir -p build_test
cp test/DataView.asn build_test
cd build_test && taste-asn1-iterators DataView.asn
gprbuild -p -P test_generic.gpr
test: test_build
build_test/test_generic
uninstall:
gprinstall --uninstall --prefix=$(PREFIX) asn1_iterators || :
clean:
gprclean test_generic.gpr || :
gprclean asn1_iterators.gpr || :
.PHONY: all clean install test test_build
asn1-iterators/README.md
View file @ ebf11fb3
asn1-iterators
==============
(c) 2016-2017 European Space Agency
(c) 2016-2019 European Space Agency
Author/Contact: Maxime.Perrotin@esa.int
Generic iterator functions in Ada for generating all combinations of values of ASN.1 data types
v0.1 support for INTEGER with a range and SEQUENCE OF INTEGER (fixed and variable size arrays)
test:
cd src
make
Support integer, enumerated, sequence, sequence of (fixed and variable sizes)
Work in progress... Part of the TASTE project.
asn1-iterators/src/asn1_iterators-generic_basic.adb
View file @ ebf11fb3
......@@ -16,33 +16,33 @@ package body ASN1_Iterators.Generic_Basic is
Self.Is_Valid := True;
end;
function Has_Element (Ptr : Iterator_Ptr) return Boolean is
(Ptr.Value.Has_Element and Ptr.Is_Valid);
function Has_Element (Position : Cursor) return Boolean is
(Position.Value.Has_Element and Position.Is_Valid);
function First (Item : Iterator) return Iterator_Ptr is
function First (Item : Iterator) return Cursor is
begin
Item.Ptr.Value.First;
Item.Position.Value.First;
-- Reset validity flag
Item.Ptr.Is_Valid := True;
return Item.Ptr;
Item.Position.Is_Valid := True;
return Item.Position;
end;
function Next (Item : Iterator;
Ptr : Iterator_Ptr) return Iterator_Ptr is
Position : Cursor) return Cursor is
pragma Unreferenced (Item);
begin
Ptr.Value.Next;
return Ptr;
Position.Value.Next;
return Position;
exception
when Stop_Iteration => Ptr.Is_Valid := False;
return Ptr;
when Stop_Iteration => Position.Is_Valid := False;
return Position;
end;
function Iterate (Self : Basic_ASN1_Iterator)
return Forward_Iterator is
begin
return I: Iterator do
I.Ptr := Self'Unrestricted_Access;
I.Position := Self'Unrestricted_Access;
end return;
end;
end;
asn1-iterators/src/asn1_iterators-generic_basic.ads
View file @ ebf11fb3
......@@ -4,44 +4,44 @@ use Ada.Finalization;
with ASN1_Iterators.SimpleTypes;
generic
with package P is new SimpleTypes (<>);
with package P is new SimpleTypes (<>);
package ASN1_Iterators.Generic_Basic is
-- Provides an iterator for a basic type
subtype Sort is P.Sort;
-- Provides an iterator for a basic type
subtype Sort is P.Sort;
type Basic_ASN1_Iterator is new Controlled
with record
Value : P.SimpleType;
Is_Valid : Boolean := True;
end record
with Default_Iterator => Iterate,
Iterator_Element => P.Sort,
Constant_Indexing => Elem_Value;
type Basic_ASN1_Iterator is new Controlled
with record
Value : P.SimpleType;
Is_Valid : Boolean := True;
end record
with Default_Iterator => Iterate,
Iterator_Element => P.Sort,
Constant_Indexing => Elem_Value;
procedure Initialize (self: in out Basic_ASN1_Iterator);
procedure Initialize (self: in out Basic_ASN1_Iterator);
type Iterator_Ptr is access all Basic_ASN1_Iterator;
type Cursor is access all Basic_ASN1_Iterator;
function Has_Element (Ptr : Iterator_Ptr) return Boolean;
function Has_Element (Position : Cursor) return Boolean;
package Iterators is
new Ada.Iterator_Interfaces (Iterator_Ptr, Has_Element);
package Iterators is
new Ada.Iterator_Interfaces (Cursor, Has_Element);
type Iterator is new Iterators.Forward_Iterator with record
Ptr : Iterator_Ptr;
end record;
type Iterator is new Iterators.Forward_Iterator with record
Position : Cursor;
end record;
function Ptr (Item: Iterator) return Iterator_Ptr is (Item.Ptr);
function Get_Cursor (Item : Iterator) return Cursor is (Item.Position);
overriding function First (Item : Iterator) return Iterator_Ptr;
overriding function Next (Item : Iterator;
Ptr : Iterator_Ptr) return Iterator_Ptr;
overriding function First (Item : Iterator) return Cursor;
overriding function Next (Item : Iterator;
Position : Cursor) return Cursor;
subtype Forward_Iterator is Iterators.Forward_Iterator'Class;
subtype Forward_Iterator is Iterators.Forward_Iterator'Class;
function Iterate (Self : Basic_ASN1_Iterator) return Forward_Iterator;
function Iterate (Self : Basic_ASN1_Iterator) return Forward_Iterator;
function Elem_Value (Self : Basic_ASN1_Iterator;
Ptr : Iterator_Ptr)
return P.Sort is (Ptr.Value.Element_Value);
end;
function Elem_Value (Self : Basic_ASN1_Iterator;
Position : Cursor)
return P.Sort is (Position.Value.Element_Value);
end ASN1_Iterators.Generic_Basic;
asn1-iterators/src/asn1_iterators-generic_enumerated.ads
View file @ ebf11fb3
......@@ -5,22 +5,22 @@ with Interfaces;
use Interfaces;
generic
type Sort is (<>); -- a discrete type, such as enumerated
type Sort is (<>); -- a discrete type, such as enumerated
package ASN1_Iterators.Generic_Enumerated is
function Elem_Init return Sort;
function Elem_Init return Sort;
function Has_Elem (Value : Sort) return Boolean;
function Elem_First return Sort is (Sort'First);
function Elem_Next (Value : Sort) return Sort;
function Has_Elem (Value : Sort) return Boolean;
function Elem_First return Sort is (Sort'First);
function Elem_Next (Value : Sort) return Sort;
package Discrete_Type is new SimpleTypes (Sort => Sort,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package Discrete_Type is new SimpleTypes (Sort => Sort,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package It is new Generic_Basic (P => Discrete_Type);
package It is new Generic_Basic (P => Discrete_Type);
subtype Instance is It.Basic_ASN1_Iterator;
end;
subtype Instance is It.Basic_ASN1_Iterator;
end ASN1_Iterators.Generic_Enumerated;
asn1-iterators/src/asn1_iterators-generic_fixed_seqof.adb
View file @ ebf11fb3
......@@ -8,65 +8,65 @@ package body ASN1_Iterators.Generic_Fixed_SeqOf is
if Self.Length > 1 then
Self.Rest := new ASN1_SeqOf (self.Length - 1);
Self.RestIt := new ASN1_SeqOf_It'(ASN1_SeqOf_It (Self.Rest.Iterate));
Self.RestIt.Ptr := Self.RestIt.First;
Self.RestIt.Position := Self.RestIt.First;
end if;
end;
function Has_Element_SeqOf (Ptr: ASN1_SeqOf_Ptr) return Boolean is
(P.Has_Element(P.Ptr(Ptr.FirstIt)));
function Has_Element_SeqOf (Position: Cursor) return Boolean is
(P.Has_Element(P.Get_Cursor (Position.FirstIt)));
function Iterate (Self : ASN1_SeqOf)
return ASN1_SeqOf_It'Class is --Iterators_SeqOf.Forward_Iterator'Class is
begin
return I: ASN1_SeqOf_It do
I.Ptr := Self'Unrestricted_Access;
I.Position := Self'Unrestricted_Access;
end return;
end;
function First (Item : ASN1_SeqOf_It) return ASN1_SeqOf_Ptr is
Ptr_Elem : P.Iterator_Ptr := P.Ptr (Item.Ptr.FirstIt);
function First (Item : ASN1_SeqOf_It) return Cursor is
Ptr_Elem : P.Cursor := P.Get_Cursor (Item.Position.FirstIt);
begin
-- Initialize the iterator (Compute first value)
Item.Ptr.FirstIt := P.Iterator (Item.Ptr.FirstVal.Iterate);
Ptr_Elem := P.First (Item.Ptr.FirstIt);
Item.Ptr.Value.Data (1) := P.Elem_Value (Item.Ptr.FirstVal,
Item.Position.FirstIt := P.Iterator (Item.Position.FirstVal.Iterate);
Ptr_Elem := P.First (Item.Position.FirstIt);
Item.Position.Value.Data (1) := P.Elem_Value (Item.Position.FirstVal,
Ptr_elem);
if Item.Ptr.Length > 1 then
Item.Ptr.Value.Data (2 .. Item.Ptr.Length) :=
Item.Ptr.RestIt.Ptr.Value.Data (1 .. Item.Ptr.RestIt.Ptr.Length);
if Item.Position.Length > 1 then
Item.Position.Value.Data (2 .. Item.Position.Length) :=
Item.Position.RestIt.Position.Value.Data (1 .. Item.Position.RestIt.Position.Length);
end if;
return Item.Ptr;
return Item.Position;
end;
function Next (Item : ASN1_SeqOf_It;
Ptr : ASN1_SeqOf_Ptr) return ASN1_SeqOf_Ptr is
Position : Cursor) return Cursor is
pragma Unreferenced (Item);
Ptr_elem : P.Iterator_Ptr := P.Ptr (Ptr.FirstIt);
Ptr_elem : P.Cursor := P.Get_Cursor (Position.FirstIt);
begin
if Ptr.Length > 1 then
Ptr.RestIt.Ptr := Ptr.RestIt.Next (Ptr.RestIt.Ptr);
if Has_Element_SeqOf (Ptr.RestIt.Ptr) then
Ptr.Value.Data (2 .. Ptr.Length) :=
Ptr.RestIt.Ptr.Value.Data (1 .. Ptr.RestIt.Ptr.Value.Length);
if Position.Length > 1 then
Position.RestIt.Position := Position.RestIt.Next (Position.RestIt.Position);
if Has_Element_SeqOf (Position.RestIt.Position) then
Position.Value.Data (2 .. Position.Length) :=
Position.RestIt.Position.Value.Data (1 .. Position.RestIt.Position.Value.Length);
else
Ptr.RestIt.Ptr := Ptr.RestIt.First;
Position.RestIt.Position := Position.RestIt.First;
-- Exhausted "rest": iterate on the first item
Ptr_elem := P.Next(Ptr.FirstIt, Ptr_elem);
Ptr_elem := P.Next(Position.FirstIt, Ptr_elem);
if P.Has_Element (Ptr_elem) then
Ptr.Value.Data (1) := P.Elem_Value (Ptr.FirstVal, Ptr_elem);
Ptr.Value.Data (2 .. Ptr.Length) :=
Ptr.RestIt.Ptr.Value.Data (1 .. Ptr.RestIt.Ptr.Length);
Position.Value.Data (1) := P.Elem_Value (Position.FirstVal, Ptr_elem);
Position.Value.Data (2 .. Position.Length) :=
Position.RestIt.Position.Value.Data (1 .. Position.RestIt.Position.Length);
end if;
end if;
else
-- Size is 0 or 1
Ptr_elem := P.Next (Ptr.FirstIt, Ptr_elem);
Ptr_elem := P.Next (Position.FirstIt, Ptr_elem);
if P.Has_Element (Ptr_elem) then
Ptr.Value.Data (1) := P.Elem_Value (Ptr.FirstVal, Ptr_elem);
Position.Value.Data (1) := P.Elem_Value (Position.FirstVal, Ptr_elem);
end if;
end if;
return Ptr;
return Position;
end;
end;
asn1-iterators/src/asn1_iterators-generic_fixed_seqof.ads
View file @ ebf11fb3
......@@ -7,56 +7,56 @@ with ASN1_Iterators.Generic_Basic;
with ASN1_Iterators.SimpleTypes;
generic
with package P is new Generic_Basic (<>);
with package P is new Generic_Basic (<>);
package ASN1_Iterators.Generic_Fixed_SeqOf is
type DataArray is array (natural range <>) of P.Sort;
type SeqOf (Max : Natural) is record
Length : Integer;
Data : DataArray (1 .. Max);
end record;
type ASN1_SeqOf_Ptr;
type ASN1_SeqOf_It;
type ASN1_SeqOf (Size : Natural) is new Controlled
with record
Length : Natural := Size;
Value : SeqOf (Size);
-- First value
FirstVal : P.Basic_ASN1_Iterator;
FirstIt : P.Iterator;
-- The rest (recursive)
Rest : access ASN1_SeqOf;
RestIt : access ASN1_SeqOf_It;
end record
type DataArray is array (natural range <>) of P.Sort;
type SeqOf (Max : Natural) is record
Length : Integer;
Data : DataArray (1 .. Max);
end record;
type Cursor;
type ASN1_SeqOf_It;
type ASN1_SeqOf (Size : Natural) is new Controlled
with record
Length : Natural := Size;
Value : SeqOf (Size);
-- First value
FirstVal : P.Basic_ASN1_Iterator;
FirstIt : P.Iterator;
-- The rest (recursive)
Rest : access ASN1_SeqOf;
RestIt : access ASN1_SeqOf_It;
end record
with Default_Iterator => Iterate,
Iterator_Element => SeqOf,
Constant_Indexing => Element_SeqOf_Value;
type ASN1_SeqOf_Ptr is access all ASN1_SeqOf;
type Cursor is access all ASN1_SeqOf;
-- Constructor (called automatically)
procedure Initialize (Self : in out ASN1_SeqOf);
-- Constructor (called automatically)
procedure Initialize (Self : in out ASN1_SeqOf);
function Has_Element_SeqOf (Ptr : ASN1_SeqOf_Ptr) return Boolean;
function Has_Element_SeqOf (Position : Cursor) return Boolean;
package Iterators_SeqOf is
new Ada.Iterator_Interfaces (ASN1_SeqOf_Ptr, Has_Element_SeqOf);
package Iterators_SeqOf is
new Ada.Iterator_Interfaces (Cursor, Has_Element_SeqOf);
type ASN1_SeqOf_It is new Iterators_SeqOf.Forward_Iterator with record
Ptr : ASN1_SeqOf_Ptr;
end record;
type ASN1_SeqOf_It is new Iterators_SeqOf.Forward_Iterator with record
Position : Cursor;
end record;
overriding function First (Item : ASN1_SeqOf_It) return ASN1_SeqOf_Ptr;
overriding function Next (Item : ASN1_SeqOf_It;
Ptr : ASN1_SeqOf_Ptr) return ASN1_SeqOf_Ptr;
overriding function First (Item : ASN1_SeqOf_It) return Cursor;
overriding function Next (Item : ASN1_SeqOf_It;
Position : Cursor) return Cursor;
function Iterate (self : ASN1_SeqOf)
return ASN1_SeqOf_It'Class; -- Iterators_SeqOf.Forward_Iterator'Class;
function Iterate (self : ASN1_SeqOf)
return ASN1_SeqOf_It'Class;
function Element_SeqOf_Value (Self : ASN1_SeqOf;
Ptr : ASN1_SeqOf_Ptr)
return SeqOf is (self.Value);
end;
function Element_SeqOf_Value (Self : ASN1_SeqOf;
Position : Cursor)
return SeqOf is (self.Value);
end ASN1_Iterators.Generic_Fixed_SeqOf;
asn1-iterators/src/asn1_iterators-generic_integer.ads
View file @ ebf11fb3
......@@ -5,27 +5,27 @@ with Interfaces,
use Interfaces;
generic
Min: Interfaces.Integer_64;
Max: Interfaces.Integer_64;
Min : Interfaces.Integer_64;
Max : Interfaces.Integer_64;
package ASN1_Iterators.Generic_Integer is
function Elem_Init return Interfaces.Integer_64 is (Min);
function Elem_Init return Interfaces.Integer_64 is (Min);
function Has_Elem (Value : Interfaces.Integer_64)
return Boolean is (Value <= Max);
function Has_Elem (Value : Interfaces.Integer_64)
return Boolean is (Value <= Max);
function Elem_First return Interfaces.Integer_64 is (Min);
function Elem_First return Interfaces.Integer_64 is (Min);
function Elem_Next (Value : Interfaces.Integer_64)
return Interfaces.Integer_64 is (Value + 1);
function Elem_Next (Value : Interfaces.Integer_64)
return Interfaces.Integer_64 is (Value + 1);
package Signed_Integer is new SimpleTypes
(Sort => Interfaces.Integer_64,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package Signed_Integer is new SimpleTypes
(Sort => Interfaces.Integer_64,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package It is new Generic_Basic (P => Signed_Integer);
package It is new Generic_Basic (P => Signed_Integer);
subtype Instance is It.Basic_ASN1_Iterator;
end;
subtype Instance is It.Basic_ASN1_Iterator;
end ASN1_Iterators.Generic_Integer;
asn1-iterators/src/asn1_iterators-generic_iterator.adb
View file @ ebf11fb3
......@@ -7,18 +7,18 @@ package body ASN1_Iterators.Generic_Iterator is
-- end;
function First (Item : Iterator) return Cursor is
C: constant Cursor := Item.Ptr;
C: constant Cursor := Item.Position;
begin
C.Item.Value := ASN1_Iterable.First(ASN1_Iterable.Iterable'Class(Item.Ptr.all.Item));
C.Item.Value := ASN1_Iterable.First(ASN1_Iterable.Iterable'Class(Item.Position.all.Item));
return C;
end;
function Next (Item : Iterator;
Ptr : Cursor)
Position : Cursor)
return Cursor is
C: constant Cursor := Item.Ptr;
C: constant Cursor := Item.Position;
begin
C.Item.Value := ASN1_Iterable.Next(ASN1_Iterable.Iterable'Class(Ptr.all.Item));
C.Item.Value := ASN1_Iterable.Next(ASN1_Iterable.Iterable'Class(Position.all.Item));
return C;
end;
......@@ -26,7 +26,7 @@ package body ASN1_Iterators.Generic_Iterator is
return Iterators.Forward_Iterator'Class is
begin
return I: Iterator do
I.Ptr := self'Unrestricted_Access;
I.Position := self'Unrestricted_Access;
end return;
end;
......
asn1-iterators/src/asn1_iterators-generic_iterator.ads
View file @ ebf11fb3
......@@ -19,16 +19,16 @@ package ASN1_Iterators.Generic_Iterator is
type Cursor is access all Generic_Iterator_Type;
function Elem (Self : Generic_Iterator_Type; Ptr : Cursor)
return ASN1_Type is (Ptr.Item.Element);
function Elem (Self : Generic_Iterator_Type; Position : Cursor)
return ASN1_Type is (Position.Item.Element);
function Has_Element (Ptr : Cursor) return Boolean is
(ASN1_Iterable.Has_Element(ASN1_Iterable.Iterable'Class(Ptr.all.Item)));
function Has_Element (Position : Cursor) return Boolean is
(ASN1_Iterable.Has_Element(ASN1_Iterable.Iterable'Class(Position.all.Item)));
package Iterators is new Ada.Iterator_Interfaces (Cursor, Has_Element);
type Iterator is new Iterators.Forward_Iterator with record
Ptr : Cursor;
Position : Cursor;
end record;
--overriding
......@@ -39,7 +39,7 @@ package ASN1_Iterators.Generic_Iterator is
overriding
function Next (Item : Iterator;
Ptr : Cursor)
Position : Cursor)
return Cursor;
function Iterate (self : Generic_Iterator_Type)
......
asn1-iterators/src/asn1_iterators-generic_seqof.adb
View file @ ebf11fb3
......@@ -7,60 +7,68 @@ package body ASN1_Iterators.Generic_SeqOf is
self.RestVal := new P.ASN1_SeqOf(Self.Length);
self.RestIt :=
new P.ASN1_SeqOf_It'(P.ASN1_SeqOf_It(Self.RestVal.Iterate));
self.RestIt.Ptr := self.RestIt.First;
self.RestIt.Position := self.RestIt.First;
end if;
end;
function Has_Element_Variable_SeqOf (Ptr: ASN1_Variable_SeqOf_Ptr)
return Boolean is (Length_Pkg.Has_Element(Length_Pkg.Ptr(Ptr.LenIt)));
function Has_Element_Variable_SeqOf
(Position : Cursor)
return Boolean is
(Length_Pkg.Has_Element(Length_Pkg.Get_Cursor (Position.LenIt)));
function Iterate (self : ASN1_Variable_SeqOf)
return Iterators_Variable_SeqOf.Forward_Iterator'Class is
begin
return I: ASN1_Variable_SeqOf_It do
I.Ptr := Self'Unrestricted_Access;
I.Position := Self'Unrestricted_Access;
end return;
end;
function First (Item : ASN1_Variable_SeqOf_It)
return ASN1_Variable_SeqOf_Ptr is
return Cursor is
begin
-- Initialize the iterator (Compute first value)
Item.Ptr.LenIt := Length_Pkg.Iterator(Item.Ptr.LenVal.Iterate);
Item.Position.LenIt :=
Length_Pkg.Iterator(Item.Position.LenVal.Iterate);
-- Copy only the actual size, since the arrays may be different in size
Item.Ptr.Value.Data (1 .. Item.Ptr.RestIt.Ptr.Value.Data'Length) :=
Item.Ptr.RestIt.Ptr.Value.Data;
return Item.Ptr;
Item.Position.Value.Data
(1 .. Item.Position.RestIt.Position.Value.Data'Length) :=
Item.Position.RestIt.Position.Value.Data;
return Item.Position;
end;
function Next (Item : ASN1_Variable_SeqOf_It;
Ptr : ASN1_Variable_SeqOf_Ptr)
return ASN1_Variable_SeqOf_Ptr
is
pragma Unreferenced (Item);
Ptr_elem : Length_Pkg.Iterator_Ptr := Length_Pkg.Ptr(Ptr.LenIt);
begin
Ptr.RestIt.Ptr := Ptr.RestIt.Next (Ptr.RestIt.Ptr);
if P.Has_Element_SeqOf (Ptr.RestIt.Ptr) then
Ptr.Value.Data (1 .. Ptr.RestIt.Ptr.Value.Data'Length) :=
Ptr.RestIt.Ptr.Value.Data;
function Next (Item : ASN1_Variable_SeqOf_It;
Position : Cursor)
return Cursor
is
pragma Unreferenced (Item);
Position_elem : Length_Pkg.Cursor :=
Length_Pkg.Get_Cursor (Position.LenIt);
begin
Position.RestIt.Position := Position.RestIt.Next (Position.RestIt.Position);
if P.Has_Element_SeqOf (Position.RestIt.Position) then
Position.Value.Data
(1 .. Position.RestIt.Position.Value.Data'Length) :=
Position.RestIt.Position.Value.Data;
else
Ptr.RestIt.Ptr := Ptr.RestIt.First;
-- Exhausted "rest": iterate on the first item
Ptr_elem := Ptr.LenIt.Next (Ptr_elem);
if Length_Pkg.Has_Element (Ptr_elem) then
Ptr.Value.Length := Integer (Ptr_Elem.Value.Value);
Ptr.Length := Ptr.Value.Length;
Ptr.RestVal := new P.ASN1_SeqOf(Ptr.Value.Length);
Ptr.RestIt :=
new P.ASN1_SeqOf_It'(P.ASN1_SeqOf_It (Ptr.RestVal.Iterate));
Ptr.RestIt.Ptr := Ptr.RestIt.First;
Ptr.Value.Data (1 .. Ptr.RestIt.Ptr.Value.Data'Length) :=
Ptr.RestIt.Ptr.Value.Data;
end if;
end if;
return Ptr;
end;
end;
Position.RestIt.Position := Position.RestIt.First;
-- Exhausted "rest": iterate on the first item
Position_elem := Position.LenIt.Next (Position_elem);
if Length_Pkg.Has_Element (Position_elem) then
Position.Value.Length := Integer (Position_Elem.Value.Value);
Position.Length := Position.Value.Length;
Position.RestVal := new P.ASN1_SeqOf(Position.Value.Length);
Position.RestIt :=
new P.ASN1_SeqOf_It'(P.ASN1_SeqOf_It
(Position.RestVal.Iterate));
Position.RestIt.Position := Position.RestIt.First;
Position.Value.Data
(1 .. Position.RestIt.Position.Value.Data'Length) :=
Position.RestIt.Position.Value.Data;
end if;
end if;
return Position;
end;
end ASN1_Iterators.Generic_SeqOF;
asn1-iterators/src/asn1_iterators-generic_seqof.ads
View file @ ebf11fb3
......@@ -10,73 +10,71 @@ with ASN1_Iterators.Generic_Fixed_SeqOf,
with Interfaces;
use Interfaces;
-- Iterator for a variable-size array of basic type
-- Iterator for a variable-size array of basic type
generic
Min : Natural;
Max : Natural;
with package Basic is new Generic_Basic (<>);
Min : Natural;
Max : Natural;
with package Basic is new Generic_Basic (<>);
package ASN1_Iterators.Generic_SeqOf is
Package P is new Generic_Fixed_SeqOF (P => Basic);
-- Create an integer type with a range constraint to iterate on
package Length_ty is new Generic_Integer (Integer_64(Min),
Integer_64(Max));
-- Instantiate the package to iterate on the integer for the length
package Length_Pkg renames Length_ty.It;
type ASN1_Variable_SeqOf_Ptr is private;
subtype MySeqOf is P.SeqOf(Max);
type ASN1_Variable_SeqOf is new Controlled
with record
Length : Natural := Min;
Value : MySeqOf; -- P.SeqOf(Max);
-- Iterate on the length
LenVal : Length_ty.Instance;
LenIt : Length_Pkg.Iterator;
-- And on the value
RestVal : access P.ASN1_SeqOf;
RestIt : access P.ASN1_SeqOf_It;
end record
with Default_Iterator => Iterate,
Iterator_Element => MySeqOf, --P.SeqOf,
Constant_Indexing => Element_Variable_SeqOf_Value;
-- Constructor (called automatically)
procedure Initialize(self: in out ASN1_Variable_SeqOf);
function Has_Element_Variable_SeqOf (Ptr : ASN1_Variable_SeqOf_Ptr)
return Boolean;
package Iterators_Variable_SeqOf is
new Ada.Iterator_Interfaces (ASN1_Variable_SeqOf_Ptr,
Has_Element_Variable_SeqOf);
type ASN1_Variable_SeqOf_It
is new Iterators_Variable_SeqOf.Forward_Iterator with record
Ptr : ASN1_Variable_SeqOf_Ptr;
end record;
overriding
function First (Item : ASN1_Variable_SeqOf_It)
return ASN1_Variable_SeqOf_Ptr;
overriding
function Next (Item : ASN1_Variable_SeqOf_It;
Ptr : ASN1_Variable_SeqOf_Ptr)
return ASN1_Variable_SeqOf_Ptr;
function Iterate (self : ASN1_Variable_SeqOf)
return Iterators_Variable_SeqOf.Forward_Iterator'Class;
function Element_Variable_SeqOf_Value (Self : ASN1_Variable_SeqOf;
Ptr : ASN1_Variable_SeqOf_Ptr)
--return P.SeqOf is (Self.Value);
return MySeqOf is (Self.Value);
subtype Instance is ASN1_Variable_SeqOf;
private
type ASN1_Variable_SeqOf_Ptr is access all ASN1_Variable_SeqOf;
end;
package P is new Generic_Fixed_SeqOF (P => Basic);
-- Create an integer type with a range constraint to iterate on
package Length_ty is new Generic_Integer (Integer_64 (Min),
Integer_64 (Max));
-- Instantiate the package to iterate on the integer for the length
package Length_Pkg renames Length_ty.It;
type Cursor is private;
subtype Sequence_Of is P.SeqOf (Max);
type ASN1_Variable_SeqOf is new Controlled
with record
Length : Natural := Min;
Value : Sequence_Of;
-- Iterate on the length
LenVal : Length_ty.Instance;
LenIt : Length_Pkg.Iterator;
-- And on the value
RestVal : access P.ASN1_SeqOf;
RestIt : access P.ASN1_SeqOf_It;
end record
with Default_Iterator => Iterate,
Iterator_Element => Sequence_Of,
Constant_Indexing => Element_Variable_SeqOf_Value;
-- Constructor (called automatically)
procedure Initialize (Self : in out ASN1_Variable_SeqOf);
function Has_Element_Variable_SeqOf (Position : Cursor)
return Boolean;
package Iterators_Variable_SeqOf is
new Ada.Iterator_Interfaces (Cursor,
Has_Element_Variable_SeqOf);
type ASN1_Variable_SeqOf_It
is new Iterators_Variable_SeqOf.Forward_Iterator with record
Position : Cursor;
end record;
overriding
function First (Item : ASN1_Variable_SeqOf_It)
return Cursor;
overriding
function Next (Item : ASN1_Variable_SeqOf_It;
Position : Cursor)
return Cursor;
function Iterate (self : ASN1_Variable_SeqOf)
return Iterators_Variable_SeqOf.Forward_Iterator'Class;
function Element_Variable_SeqOf_Value (Self : ASN1_Variable_SeqOf;
Position : Cursor)
return Sequence_Of is (Self.Value);
subtype Instance is ASN1_Variable_SeqOf;
private
type Cursor is access all ASN1_Variable_SeqOf;
end ASN1_Iterators.Generic_SeqOF;
asn1-iterators/src/asn1_iterators-generic_unsigned_integer.ads
View file @ ebf11fb3
......@@ -5,24 +5,24 @@ with Interfaces;
use Interfaces;
generic
Min: Interfaces.Unsigned_64;
Max: Interfaces.Unsigned_64;
Min : Interfaces.Unsigned_64;
Max : Interfaces.Unsigned_64;
package ASN1_Iterators.Generic_Unsigned_Integer is
function Elem_Init return Interfaces.Unsigned_64 is (Min);
function Has_Elem(Value: Interfaces.Unsigned_64) return Boolean is
(Value <= Max);
function Elem_First return Interfaces.Unsigned_64 is (Min);
function Elem_Next(Value: Interfaces.Unsigned_64)
return Interfaces.Unsigned_64 is (Value + 1);
function Elem_Init return Interfaces.Unsigned_64 is (Min);
function Has_Elem (Value : Interfaces.Unsigned_64) return Boolean is
(Value <= Max);
function Elem_First return Interfaces.Unsigned_64 is (Min);
function Elem_Next (Value : Interfaces.Unsigned_64)
return Interfaces.Unsigned_64 is (Value + 1);
package Unsigned_Type is new SimpleTypes
(Sort => Interfaces.Unsigned_64,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package Unsigned_Type is new SimpleTypes
(Sort => Interfaces.Unsigned_64,
Elem_Init => Elem_Init,
Has_Elem => Has_Elem,
Elem_First => Elem_First,
Elem_Next => Elem_Next);
package It is new Generic_Basic (P => Unsigned_Type);
package It is new Generic_Basic (P => Unsigned_Type);
subtype Instance is It.Basic_ASN1_Iterator;
end;
subtype Instance is It.Basic_ASN1_Iterator;
end ASN1_Iterators.Generic_Unsigned_Integer;
asn1-iterators/src/asn1_iterators-iterable_integer.ads
View file @ ebf11fb3
......@@ -34,6 +34,6 @@ package ASN1_Iterators.Iterable_Integer is
-- If it is needed to iterate manually, provide Cursor and Iterator:
subtype Cursor is Custom_Iterator.Cursor;
subtype Iterator is Custom_Iterator.Iterators.Forward_Iterator'Class;
function Has_Element (Ptr: Cursor) return Boolean
function Has_Element (Position : Cursor) return Boolean
renames Custom_Iterator.Has_Element;
end;
asn1-iterators/src/asn1_iterators-iterable_seqof.adb
View file @ ebf11fb3
......@@ -11,13 +11,11 @@ package body ASN1_Iterators.Iterable_SeqOF is
end;
function Has_Element (It: ASN1_SequenceOf) return Boolean is
-- (P.Has_Element(P.Ptr(Ptr.FirstIt)));
begin
return False;
end;
function First (It: in out ASN1_SequenceOf) return Generic_SeqOf is
-- Ptr_elem : P.Iterator_Ptr := P.Ptr(Item.Ptr.FirstIt);
Ret : constant Generic_SeqOf := It.Value;
begin
It.Value.Length := It.Length;
......@@ -30,48 +28,14 @@ package body ASN1_Iterators.Iterable_SeqOF is
It.Rest_It :=
new Cust_Iterator'(Custom_Iterator.Iterator (It.Rest.Iterate)
with others => <>);
It.Rest_It.Ptr := It.Rest_It.First;
It.Rest_It.Position := It.Rest_It.First;
end if;
-- Initialize the iterator (Compute first value)
-- Item.Ptr.FirstIt := P.Iterator(Item.Ptr.FirstVal.Iterate);
-- Ptr_elem := P.First(Item.Ptr.FirstIt);
-- Item.Ptr.Value.Data(1) := P.Elem_Value(Item.Ptr.FirstVal,
-- Ptr_elem);
-- if Item.Ptr.Length > 1 then
-- Item.Ptr.Value.Data(2 .. Item.Ptr.Length) :=
-- Item.Ptr.Rest_It.Ptr.Value.Data(1..Item.Ptr.Rest_It.Ptr.Length);
-- end if;
-- return Item.Ptr;
return Ret;
end;
function Next (It: ASN1_SequenceOf) return Generic_SeqOf is
--Ptr_elem : P.Iterator_Ptr := P.Ptr(Ptr.FirstIt);
Temp : constant Generic_SeqOf := It.Value;
begin
-- if Ptr.Length > 1 then
-- Ptr.Rest_It.Ptr := Ptr.Rest_It.Next (Ptr.Rest_It.Ptr);
-- if Has_Element_SeqOf (Ptr.Rest_It.Ptr) then
-- Ptr.Value.Data (2..Ptr.Length) :=
-- Ptr.Rest_It.Ptr.Value.Data (1..Ptr.Rest_It.Ptr.Value.Length);
-- else
-- Ptr.Rest_It.Ptr := Ptr.Rest_It.First;
-- -- Exhausted "rest": iterate on the first item
-- Ptr_elem := P.Next(Ptr.FirstIt, Ptr_elem);
-- if P.Has_Element (Ptr_elem) then
-- Ptr.Value.Data(1) := P.Elem_Value(Ptr.FirstVal, Ptr_elem);
-- Ptr.Value.Data(2..Ptr.Length) := Ptr.Rest_It.Ptr.Value.Data (1..Ptr.Rest_It.Ptr.Length);
-- end if;
-- end if;
-- else
-- -- Size is 0 or 1
-- Ptr_elem := P.Next(Ptr.FirstIt, Ptr_elem);
-- if P.Has_Element (Ptr_elem) then
-- Ptr.Value.Data(1) := P.Elem_Value(Ptr.FirstVal, Ptr_elem);
-- end if;
-- end if;
-- return Ptr;
return Temp;
end;
end;
asn1-iterators/src/asn1_iterators-iterable_seqof.ads
View file @ ebf11fb3
......@@ -55,7 +55,7 @@ package ASN1_Iterators.Iterable_SeqOF is
subtype Iterator is Custom_Iterator.Iterators.Forward_Iterator'Class;
type Cust_Iterator is new Custom_Iterator.Iterator with null record;
function Has_Element (Ptr: Cursor) return Boolean
function Has_Element (Position : Cursor) return Boolean
renames Custom_Iterator.Has_Element;
......
asn1-iterators/src/asn1_iterators-simpletypes.ads
View file @ ebf11fb3
generic
type Sort is private;
with function Elem_Init return Sort;
with function Has_Elem (Value : Sort) return Boolean;
with function Elem_First return Sort;
with function Elem_Next (Value : Sort) return Sort;
type Sort is private;
with function Elem_Init return Sort;
with function Has_Elem (Value : Sort) return Boolean;
with function Elem_First return Sort;
with function Elem_Next (Value : Sort) return Sort;
package ASN1_Iterators.SimpleTypes is
type SimpleType is tagged record
Value : Sort;
end record;
type SimpleType is tagged record
Value : Sort;
end record;
procedure Initialize (Self : in out SimpleType);
procedure Initialize (Self : in out SimpleType);
function Has_Element (Self : in out SimpleType) return Boolean is
(Has_Elem (Self.Value));
function Has_Element (Self : in out SimpleType) return Boolean is
(Has_Elem (Self.Value));
procedure First (Self : in out SimpleType);
procedure First (Self : in out SimpleType);
procedure Next (Self : in out SimpleType);
procedure Next (Self : in out SimpleType);
function Element_Value (Self : in out SimpleType) return Sort is
(Self.Value);
end;
function Element_Value (Self : in out SimpleType) return Sort is
(Self.Value);
end ASN1_Iterators.SimpleTypes;
asn1-iterators/src/asn1_iterators.ads
View file @ ebf11fb3
package ASN1_Iterators is
Stop_Iteration : exception;
end;
end ASN1_Iterators;
asn1-iterators/src/taste-asn1-iterators.py 0 → 100755
View file @ ebf11fb3
#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
This application generates the Ada code needed to iterate on ASN.1 values
It is part of the TASTE project
Copyright (c) 2019 Maxime Perrotin
(c) 2019 European Space Agency
Contact : maxime.perrotin@esa.int
"""
__version__ = "3.0.0"
import os
import signal
import argparse
import traceback
import logging
from typing import List
LOG = logging.getLogger(__name__)
import opengeode.Asn1scc as asn1scc
import opengeode.ogParser as parser
LF = '\n'
def indent(nb: int, phrase: List[str], sep=""):
# offer indenting of multiple line strings when referenced inside f-strings
phase1 = LF.join(phrase)
phase2 = (sep+LF+nb*" ").join(phase1.splitlines())
# remove trailing spaces:
return LF.join(line.rstrip() for line in phase2.splitlines())
def adb_template(packages: List[str]) -> str:
''' Top-level template to generate the .adb file '''
return f'''-- This file was generated by TASTE: DO NOT EDIT
with Ada.Strings,
Ada.Strings.Fixed,
Ada.Strings.Unbounded,
Ada.Characters.Handling;
use Ada.Strings,
Ada.Strings.Fixed,
Ada.Strings.Unbounded,
Ada.Characters.Handling;
package body ASN1_Ada_Iterators.Iterators is
{indent(3, packages)}
end ASN1_Ada_Iterators.Iterators;
'''
def unsigned_int_adb_template (sort: str, minR: int, maxR: int) -> str:
''' Template for iterating on an unsigned integer '''
return f'''package body {sort}_Pkg is
procedure To_ASN1 (From : Interfaces.Unsigned_64;
To : out asn1Scc{sort}) is
begin
To := From;
end To_ASN1;
function Image (Elm : asn1Scc{sort}) return String is
(Ada.Strings.Fixed.Trim (Elm'Img, Both));
end {sort}_Pkg;'''
def signed_int_adb_template (sort: str, minR: int, maxR: int) -> str:
''' Template for iterating on a signed integer '''
return f'''package body {sort}_Pkg is
procedure To_ASN1 (From : Interfaces.Integer_64;
To : out asn1Scc{sort}) is
begin
To := From;
end To_ASN1;
function Image (Elm : asn1Scc{sort}) return String is
(Ada.Strings.Fixed.Trim (Elm'Img, Both));
end {sort}_Pkg;'''
def seq_of_adb_template (sort: str, inner: str, minR: int, maxR: int) -> str:
''' Template for iterating on an array '''
if minR == maxR:
return f'''package body {sort}_Pkg is
procedure To_ASN1 (From : Inner.Sequence_Of;
To : out asn1Scc{sort}) is
begin
for Idx in 1 .. From.Length loop
To.Data (Idx) := From.Data (Idx);
end loop;
end To_ASN1;
function Image (Elm : asn1Scc{sort}) return String is
Res : Unbounded_String;
begin
if Elm.Data'Length >= 1 then
Res := To_Unbounded_String (Image (Elm.Data (1)));
end if;
if Elm.Data'Length > 1 then
for Idx in 2 .. Elm.Data'Length loop
Res := Res & ", " & Image (Elm.Data (Idx));
end loop;
end if;
return To_String ("{{" & Res & "}}");
end Image;
end {sort}_Pkg;'''
else:
# Variable-size sequence of
return f'''package body {sort}_Pkg is
procedure To_ASN1 (From : Inner.Sequence_Of;
To : out asn1Scc{sort}) is
begin
for Idx in 1 .. From.Length loop
To.Data (Idx) := From.Data (Idx);
end loop;
To.Length := From.Length;
end To_ASN1;
function Image (Elm : asn1Scc{sort}) return String is
function Image_Rec (Elm : asn1Scc{sort}) return String is
(if Elm.Length > 0 then
(Image (Elm.Data (1))
& (if Elm.Length > 1 then ", "
& Image_Rec (asn1Scc{sort}'(Length => Elm.Length - 1,
Data => Elm.Data (2 .. Elm.Length) &
Elm.Data (1 .. Elm.Data'Length - Elm.Length + 1)))
else ""))
else "");
begin
return "{{ " & Image_Rec (Elm) & " }}";
end Image;
end {sort}_Pkg;'''
def enum_adb_template (sort: str) -> str:
''' Template for iterating on an enumerated '''
return f'''package body {sort}_Pkg is
function Image (Elm : asn1Scc{sort}) return String is
(Delete (To_Lower (Elm'Img), From => 1, Through => 7)); -- remove "asn1scc" prefix
end {sort}_Pkg;'''
def fields_adb_init (fields : dict) -> List [str]:
'''
Template for the fields of a sequence used in the Initialize function
'''
result = []
for name in fields.keys():
result.append (f"Container.{name}_it := P_{name}.Iterator (Container.{name}_val.Iterate);")
return result
def fields_first_key (fields : dict) -> List [str]:
'''
Return the first field name.. The dict is ordered in python 3.7+
'''
try:
return next(iter(fields))
except StopIteration:
return ""
def fields_adb_first (fields : dict) -> List [str]:
'''
Generate SEQUENCE fields code for the "First" function
'''
result = []
for name in fields.keys():
result.append (f"unused_Cursor_{name} : P_{name}.Cursor := Item.Position.{name}_it.First;")
return result
def fields_adb_next (fields : dict) -> List [str]:
'''
Generate SEQUENCE fields code for the "Next" function (declarations)
'''
result = []
for name in fields.keys():
result.append (f"Cursor_{name} : P_{name}.Cursor := Position.{name}_it.Get_Cursor;")
return result
def fields_adb_iterate (fields : dict) -> List [str]:
'''
Generate SEQUENCE iteration code (for the "Next" function)
'''
# Exhaust the last field, then the previous one, and so on
def rec_it (names : List[str]) -> List [str]:
result = []
name = names[-1]
result.append(f"Cursor_{name} := Position.{name}_it.Next (Cursor_{name});")
if len(names) > 1: # not the last one -> go recursively
result.append(f"if not P_{name}.Has_Element (Cursor_{name}) then")
result.append(f" Cursor_{name} := Position.{name}_it.First;")
result.append(f" {indent(3, rec_it(names[0:-1]))}")
result.append(f"end if;")
return result
return rec_it (list(fields.keys()))
def fields_adb_image (fields : dict) -> List [str]:
'''
Generate GSER representation code for a list of SEQUENCE fields
'''
result = []
first = True
for name, sort in fields.items():
if not first:
result.append('& ", "')
result.append (f'& "{name} " & {sort}_Pkg.Image (Elm.{name})')
first = False
return result
def sequence_adb_template (sort: str, fields: dict) -> str:
''' Template for iterating on a record '''
return f'''package body {sort}_Pkg is
procedure Initialize (Container : in out {sort}) is
begin
{indent(6, fields_adb_init(fields))}
end Initialize;
function Has_Element (Position : Cursor) return Boolean is
(P_{fields_first_key(fields)}.Has_Element
(Position.{fields_first_key(fields)}_it.Get_Cursor));
function Iterate (Container : {sort}) return {sort}_It'Class is
begin
return I : {sort}_It do
I.Position := Container'Unrestricted_Access;
end return;
end Iterate;
function First (Item : {sort}_It) return Cursor is
{indent(6, fields_adb_first(fields))}
begin
return Item.Position;
end First;
function Next (Item : {sort}_It;
Position : Cursor) return Cursor is
pragma Unreferenced (Item);
{indent(6, fields_adb_next(fields))}
begin
-- Iterate on the last field then on the previous ones
{indent(6, fields_adb_iterate(fields))}
return Position;
end Next;
function Image (Elm : asn1Scc{sort}) return String is
begin
return "{{"
{indent(13, fields_adb_image(fields))}
& "}}";
end Image;
end {sort}_Pkg;'''
def top_ads_template(modules: List[str]) -> str:
''' Template for asn1_ada_iterators.ads '''
withs = (f'''with {module}; use {module}; pragma Unreferenced ({module});'''
for module in modules)
withs_str = '\n'.join(withs)
return f'''-- This file was generated by TASTE: DO NOT EDIT
{withs_str}
package ASN1_Ada_Iterators is
end;'''
def ads_template(packages: List[str]) -> str:
''' Top-level template to generate the .ads file '''
return f'''-- This file was generated by TASTE: DO NOT EDIT
with Ada.Iterator_Interfaces,
Ada.Finalization,
Interfaces,
ASN1_Ada_Iterators,
ASN1_Iterators.Generic_Integer,
ASN1_Iterators.Generic_Unsigned_Integer,
ASN1_Iterators.Generic_Enumerated,
ASN1_Iterators.Generic_SeqOf;
pragma Unreferenced (ASN1_Ada_Iterators);
use Ada.Finalization,
Interfaces,
ASN1_Iterators;
package ASN1_Ada_Iterators.Iterators is
{indent(3, packages)}
end ASN1_Ada_Iterators.Iterators;
'''
def unsigned_int_ads_template (sort: str, minR: int, maxR: int) -> str:
''' Template for iterating on an unsigned integer '''
return f'''package {sort}_Pkg is
package Inner is new Generic_Unsigned_Integer (Min => {minR},
Max => {maxR});
package It renames Inner.It;
procedure To_ASN1 (From : Interfaces.Unsigned_64;
To : out asn1Scc{sort});
subtype Instance is Inner.Instance;
function Image (Elm : asn1Scc{sort}) return String;
end {sort}_Pkg;'''
def signed_int_ads_template (sort: str, minR: int, maxR: int) -> str:
''' Template for iterating on an signed integer '''
return f'''package {sort}_Pkg is
package Inner is new Generic_Integer (Min => {minR},
Max => {maxR});
package It renames Inner.It;
procedure To_ASN1 (From : Interfaces.Integer_64;
To : out asn1Scc{sort});
subtype Instance is Inner.Instance;
function Image (Elm : asn1Scc{sort}) return String;
end {sort}_Pkg;'''
def seq_of_ads_template (sort: str, inner: str, minR: int, maxR: int) -> str:
''' Template for iterating on an array '''
return f'''package {sort}_Pkg is
package Inner is new Generic_SeqOf (Min => {minR},
Max => {maxR},
Basic => {inner}_Pkg.It);
use {inner}_Pkg;
procedure To_ASN1 (From : Inner.Sequence_Of;
To : out asn1Scc{sort});
subtype Instance is Inner.Instance;
function Image (Elm : asn1Scc{sort}) return String;
end {sort}_Pkg;'''
def enum_ads_template (sort: str) -> str:
''' Template for iterating on an enumerated '''
return f'''package {sort}_Pkg is
package Inner is new Generic_Enumerated (Sort => asn1Scc{sort});
package It renames Inner.It;
subtype Instance is Inner.Instance;
function Image (Elm : asn1Scc{sort}) return String;
end {sort}_Pkg;'''
def fields_ads_pkg (fields : dict) -> List [str]:
''' for each field of a sequence, do a package renaming :
package P_<field> renames <Sort>_Pkg.It
This makes further code more readable '''
result = []
for name, sort in fields.items():
result.append (f"package P_{name} renames {sort}_Pkg.It;")
return result
def fields_ads_record (fields : dict) -> List [str]:
''' Declare the fields for iteration in an ASN.1 SEQUENCE type '''
result = []
for field in fields.keys():
result.append (f"{field}_val : P_{field}.Basic_ASN1_Iterator;")
result.append (f"{field}_it : P_{field}.Iterator;")
return result
def fields_ads_value (fields : dict) -> List [str]:
''' Code that return the value of an ASN.1 SEQUENCE type '''
result = []
for field in fields.keys():
result.append (f"{field} => Container.{field}_val.Elem_Value (Container.{field}_it.Position)")
return result
def sequence_ads_template (sort: str, fields: dict) -> str:
''' Template for iterating on a record '''
return f'''package {sort}_Pkg is
{indent(3, fields_ads_pkg(fields))}
type {sort}_It;
type {sort} is new Controlled with record
{indent(6, fields_ads_record(fields))}
end record
with Default_Iterator => Iterate,
Iterator_Element => asn1Scc{sort},
Constant_Indexing => Element;
type Cursor is access all {sort};
-- Constructor (called automatically)
procedure Initialize (Container : in out {sort});
function Has_Element (Position : Cursor) return Boolean;
package Iterators_{sort} is
new Ada.Iterator_Interfaces (Cursor, Has_Element);
type {sort}_It is new Iterators_{sort}.Forward_Iterator with record
Position : Cursor;
end record;
overriding function First (Item : {sort}_It) return Cursor;
overriding function Next (Item : {sort}_It;
Position : Cursor) return Cursor;
function Iterate (Container : {sort}) return {sort}_It'Class;
function Element (Container : {sort};
Position : Cursor) return asn1Scc{sort} is
({indent(7, fields_ads_value(fields), sep=",")});
subtype Instance is {sort};
function Image (Elm : asn1Scc{sort}) return String;
end {sort}_Pkg;'''
def init_logging(options):
''' Initialize logging '''
terminal_formatter = logging.Formatter(fmt="[%(levelname)s] %(message)s")
handler_console = logging.StreamHandler()
handler_console.setFormatter(terminal_formatter)
LOG.addHandler(handler_console)
level = logging.DEBUG if options.debug else logging.INFO
LOG.setLevel(level)
def parse_args():
''' Parse command line arguments '''
parser = argparse.ArgumentParser()
parser.add_argument(
'-v',
'--version',
action='version',
version=__version__)
parser.add_argument(
'-g',
'--debug',
action='store_true',
default=False,
help='Display debug information')
parser.add_argument(
'-o',
'--output',
type=str,
metavar='folder',
default='iterators',
help='Set the output folder')
parser.add_argument(
'files',
metavar='file.asn',
type=str,
nargs='*',
help='ASN.1 file(s)')
return parser.parse_args()
def run(options):
asn1_files = options.files
if not asn1_files:
LOG.error ("You must specify at least one ASN.1 file")
return
try:
ast = asn1scc.parse_asn1(
asn1_files,
ast_version=asn1scc.ASN1.UniqueEnumeratedNames,
rename_policy=asn1scc.ASN1.NoRename,
flags=[asn1scc.ASN1.AstOnly],
pretty_print=False)
except (ImportError, NameError, TypeError) as err:
LOG.error(str(err))
LOG.error("ASN.1 Parsing error (run with -g for debug infomation)")
LOG.debug(traceback.format_exc())
return
modules = []
packages_ads, packages_adb = [], []
# Parse the ASN.1 AST to know the types and generate the corresponding code
sorts = {}
for module, types in ast.