serial-raw.aadl 1.9 KB
Newer Older
1
2
3
4
package ocarina_drivers_serial

public

5
6
with Deployment;
with ocarina_drivers;
7
8
9

subprogram spg_serial_poller_linux
properties
10
	Source_Language => (C);
11
12
13
14
15
16
	Source_Name => "__po_hi_c_driver_serial_linux_poller";
end spg_serial_poller_linux;


subprogram spg_serial_sender_linux
properties
17
	Source_Language => (C);
18
19
20
21
22
23
	Source_Name => "__po_hi_c_driver_serial_linux_sender";
end spg_serial_sender_linux;


subprogram spg_serial_init_linux
properties
24
	Source_Language => (C);
25
26
27
	Source_Name => "__po_hi_c_driver_serial_linux_init";
end spg_serial_init_linux;

28
29
subprogram spg_serial_init_linux_sender
properties
30
	Source_Language => (C);
31
32
33
34
35
	Source_Name => "__po_hi_c_driver_serial_linux_init_sender";
end spg_serial_init_linux_sender;

subprogram spg_serial_init_linux_receiver
properties
36
	Source_Language => (C);
37
38
39
	Source_Name => "__po_hi_c_driver_serial_linux_init_receiver";
end spg_serial_init_linux_receiver;

40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
thread serial_poller
end serial_poller;

thread implementation serial_poller.linux
calls
	mycall : {
	  pspg : subprogram spg_serial_poller_linux;
	};
properties
   Period => 1000ms;
   Dispatch_Protocol => Periodic;
end serial_poller.linux;


abstract serial_driver
55
56
properties
   Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_serial);
57
58
   Deployment::Version  => "0.1beta";
   Deployment::Help     => "Write your ASN.1 configuration here";
59
60
61
62
end serial_driver;

abstract implementation serial_driver.linux
subcomponents
63
   serial_linux_receiver : thread serial_poller.linux;
64
   sender                : subprogram spg_serial_sender_linux;
65
66
end serial_driver.linux;

67
68
69
70
71
72
73
74
75
76
77
abstract implementation serial_driver.linux_sender
subcomponents
   sender                : subprogram spg_serial_sender_linux;
end serial_driver.linux_sender;


abstract implementation serial_driver.linux_receiver
subcomponents
   serial_linux_receiver : thread serial_poller.linux;
end serial_driver.linux_receiver;

78
end ocarina_drivers_serial;