* Minor reformatting

For OpenAADL#171
2000GYI · Aug 27, 2018 · d83a076 · d83a076
1 parent 0f5fabc
commit d83a076
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 10 deletions.
diff --git a/resources/AADLv2/ocarina_library.aadl b/resources/AADLv2/ocarina_library.aadl
@@ -1,22 +1,30 @@
 package Ocarina_Library
+
+--  This package provides a default scenario files that can be
+--  inherited by others.
+
 public
   with Ocarina_Config;
 
   system Default_PolyORB_HI_C_Config
   properties
-    Ocarina_Config::Timeout_Property     => 4000ms;
-
-    Ocarina_Config::AADL_Files =>
-    (Ocarina_Config::Ocarina_Driver_Library);
+    Ocarina_Config::AADL_Version         => AADLv2;
+    --  Default AADL version
 
     Ocarina_Config::Generator            => PolyORB_HI_C;
+    --  Use the PolyORB-HI/C backend
 
     Ocarina_Config::Needed_Property_Sets =>
     (Ocarina_Config::Data_Model,
-    Ocarina_Config::ARINC653_Properties,
-    Ocarina_Config::Deployment,
-    Ocarina_Config::Cheddar_Properties);
-    Ocarina_Config::AADL_Version         => AADLv2;
+     Ocarina_Config::ARINC653_Properties,
+     Ocarina_Config::Deployment,
+     Ocarina_Config::Cheddar_Properties);
+    --  Additional property sets
+
+    Ocarina_Config::Timeout_Property     => 4000ms;
+
+    Ocarina_Config::AADL_Files =>
+    (Ocarina_Config::Ocarina_Driver_Library);
 
   end Default_PolyORB_HI_C_Config;
 

diff --git a/resources/runtime/python/ocarina/lmp.py b/resources/runtime/python/ocarina/lmp.py
@@ -1,10 +1,13 @@
 #! /usr/bin/python
 '''
-:mod:`lmp`
+:mod:`lmp` -- Port of Ellidiss LMP to Ocarina Python API
+========================================================
 
 .. moduleauthor:: Jerome Hugues, Arnaud Schach
 
-Port of Ellidiss LMP to Ocarina Python API
+
+This module is an adaptation of Ellidiss LMP "Logical Model Processing"
+to Python.
 
 '''