Commit 82d99657 authored by hugues.jerome's avatar hugues.jerome
Browse files

* Add Dispatch_Trigger property, and CPP as a supported

          language; update reference output accordingly.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1951 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 4be15e33
......@@ -93,8 +93,9 @@ property set AADL_Project is
Ada, -- alias for Ada95
Ada05, -- alias for Ada95
ASN1,
C,
Blackbox_Device,
C,
CPP, -- C++
Esterel,
GUI,
Lustre,
......@@ -155,7 +156,8 @@ property set AADL_Project is
MByte => KByte * 1000,
GByte => MByte * 1000,
TByte => GByte * 1000);
-- Note: B, KB, etc. in AADL 2004 have been replaced by Byte, Kbyte etc. in AADL V2.
-- Note: B, KB, etc. in AADL 2004 have been replaced by Byte, Kbyte
-- etc. in AADL V2.
Time_Units: type units (
ps,
......
......@@ -59,6 +59,12 @@ property set Thread_Properties is
Dispatch_Protocol: Supported_Dispatch_Protocols
applies to (thread);
Dispatch_Trigger: list of reference (port)
applies to (device, thread);
-- The Dispatch_Trigger property specifies the list of ports that can
-- trigger the dispatch of a thread or device.
----------------------------------------------------
POSIX_Scheduling_Policy : enumeration (SCHED_FIFO,
......@@ -117,4 +123,4 @@ property set Thread_Properties is
applies to (port, subprogram);
----------------------------------------------------
----------------------------------------------------
end Thread_Properties;
\ No newline at end of file
end Thread_Properties;
This source diff could not be displayed because it is too large. You can view the blob instead.
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