DataMuseum.dk

top - metrics - download

    Length: 7248 (0x1c50)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦bb25a46d4⟧ 
            └─⟦this⟧ 

TextFile

with CALENDAR;
with GATEWAY_OBJECT;
with REQUIREMENTS;
with UNIX_DEFINITIONS;
package ASA_DEFINITIONS is

   -- Product name.

   ASA : constant STRING := "ASA";

   -- Gateway classes.

   type GATEWAY_CLASS is (ASA_MODEL, ASA_MODULE, ASA_REQUIREMENT);

   MAIN_CLASS_DIRECTORY : constant STRING :=
      "!MACHINE.GATEWAY_CLASSES." & GATEWAY_CLASS'IMAGE (ASA_MODEL);

   package COMMANDS is

      package UNIX renames UNIX_DEFINITIONS;

      -- Asaedit command and options.

      ASAEDIT : constant STRING := "asaedit";

      ANNOTATIONS_EXTENSION : constant STRING :=
         UNIX.EXTENSION_SEPARATOR & "ann";
      ANNOTATION_TYPES_EXTENSION : constant STRING :=
         UNIX.EXTENSION_SEPARATOR & "aty";
      MODEL_EXTENSION : constant STRING := UNIX.EXTENSION_SEPARATOR & "lsa";

      ANNOTATIONS : constant STRING := "-ann";
      ANNOTATION_TYPES : constant STRING := "-aty";
      ASA : constant STRING := "-asa";  
      COUPLING : constant STRING := "-mcag";
      DEVICE : constant STRING := "-dev";
      GEODE : constant STRING := "-geode";  
      NODE : constant STRING := "-node";
      NO_COMMENTS : constant STRING := "-ncom";
      NO_FACTORIZE : constant STRING := "-nfact";
      NO_LABELS : constant STRING := "-nlabel";
      NO_LIMITS : constant STRING := "-nlimit";
      NO_WARNINGS : constant STRING := "-nw";
      OPTIONS : constant STRING := "-config";
      READ_ONLY : constant STRING := "-read";  
      SHOW_ANNOTATIONS : constant STRING := "-seeann";
      START_NODE : constant STRING := "-startnode";  
      UNDO : constant STRING := "-undo";

      -- Asaopen command and options.

      ASAOPEN : constant STRING := "asaopen";

      ASAOPEN_EXTENSION : constant STRING := UNIX.EXTENSION_SEPARATOR & "opn";

      LISTING : constant STRING := "-list";

   end COMMANDS;


   package PROPERTIES is

      package GWO renames GATEWAY_OBJECT;


      function ASA_COMMENT (H : in GWO.HANDLE) return STRING;
      function ASA_DEPENDENTS (H : in GWO.HANDLE) return STRING;
      function ASA_DEPENDENTS
                  (H : in GWO.HANDLE;
                   NUMBER : in REQUIREMENTS.FUNCTIONAL_REQUIREMENT_NUMBER)
                  return STRING;
      function ASA_ID (H : in GWO.HANDLE) return POSITIVE;
      function ASA_LAST_ID (H : in GWO.HANDLE) return NATURAL;
      function ASA_LAST_REQUIREMENT_ID (H : in GWO.HANDLE) return NATURAL;
      function ASA_NODE_NUMBER (H : in GWO.HANDLE) return STRING;
      function ASA_REQUIREMENT
                  (H : in GWO.HANDLE;  
                   NUMBER : in REQUIREMENTS.FUNCTIONAL_REQUIREMENT_NUMBER)
                  return STRING;
      function ASA_REQUIREMENT_KIND (H : in GWO.HANDLE)
                                    return REQUIREMENTS.NON_FUNCTIONAL;
      function ASA_REQUIREMENT_TEXT (H : in GWO.HANDLE) return STRING;
      function ASA_UPDATE_TIME (H : in GWO.HANDLE) return CALENDAR.TIME;
      function CLASS (H : in GWO.HANDLE) return GATEWAY_CLASS;
      function DATA_CONTEXT (H : in GWO.HANDLE) return STRING;
      function DATA_HOST (H : in GWO.HANDLE) return STRING;
      function DATA_NAME (H : in GWO.HANDLE) return STRING;

      procedure SET_ASA_COMMENT (H : in GWO.HANDLE;  
                                 VALUE : in STRING);
      procedure SET_ASA_DEPENDENTS (H : in GWO.HANDLE;  
                                    VALUE : in STRING);
      procedure SET_ASA_DEPENDENTS
                   (H : in GWO.HANDLE;
                    NUMBER : in REQUIREMENTS.FUNCTIONAL_REQUIREMENT_NUMBER;
                    VALUE : in STRING);
      procedure SET_ASA_ID (H : in GWO.HANDLE;  
                            VALUE : in POSITIVE);
      procedure SET_ASA_LAST_ID (H : in GWO.HANDLE;  
                                 VALUE : in NATURAL);
      procedure SET_ASA_LAST_REQUIREMENT_ID (H : in GWO.HANDLE;  
                                             VALUE : in NATURAL);
      procedure SET_ASA_NODE_NUMBER (H : in GWO.HANDLE;  
                                     VALUE : in STRING);
      procedure SET_ASA_REQUIREMENT
                   (H : in GWO.HANDLE;
                    NUMBER : in REQUIREMENTS.FUNCTIONAL_REQUIREMENT_NUMBER;
                    VALUE : in STRING);
      procedure SET_ASA_REQUIREMENT_KIND
                   (H : in GWO.HANDLE;  
                    VALUE : in REQUIREMENTS.NON_FUNCTIONAL);
      procedure SET_ASA_REQUIREMENT_TEXT (H : in GWO.HANDLE;  
                                          VALUE : in STRING);
      procedure SET_ASA_UPDATE_TIME (H : in GWO.HANDLE;  
                                     VALUE : in CALENDAR.TIME);
      procedure SET_DATA_CONTEXT (H : in GWO.HANDLE;  
                                  VALUE : in STRING);  
      procedure SET_DATA_HOST (H : in GWO.HANDLE;  
                               VALUE : in STRING);
      procedure SET_DATA_NAME (H : in GWO.HANDLE;  
                               VALUE : in STRING);  
      procedure SET_PARENT_NAME (H : in GWO.HANDLE;  
                                 VALUE : in STRING);

   private  
      ASA_COMMENT_N : constant STRING := ASA & ".COMMENT";
      ASA_DEPENDENTS_F_N : constant STRING := ASA & ".DEPENDENTS_";
      ASA_DEPENDENTS_NF_N : constant STRING := ASA & ".DEPENDENTS";
      ASA_ID_N : constant STRING := ASA & ".ID";
      ASA_LAST_ID_N : constant STRING := ASA & ".LAST_ID";
      ASA_LAST_REQUIREMENT_ID_N : constant STRING :=
         ASA & ".LAST_REQUIREMENT_ID";
      ASA_NODE_NUMBER_N : constant STRING := ASA & ".NODE_NUMBER";  
      ASA_REQUIREMENT_N : constant STRING := ASA & ".REQUIREMENT_";
      ASA_REQUIREMENT_KIND_N : constant STRING := ASA & ".REQUIREMENT_KIND";
      ASA_REQUIREMENT_TEXT_N : constant STRING := ASA & ".REQUIREMENT_TEXT";
      ASA_UPDATE_TIME_N : constant STRING := ASA & ".UPDATE_TIME";
      CLASS_NAME_N : constant STRING := "CLASS_NAME";
      DATA_CONTEXT_N : constant STRING := "DATA.CONTEXT";
      DATA_HOST_N : constant STRING := "DATA.HOST";  
      DATA_NAME_N : constant STRING := "DATA.NAME";
      PARENT_NAME_N : constant STRING := "PARENT_NAME";
   end PROPERTIES;


   package SWITCHES is

      type ACTION is (ABANDON, ACCEPT_CHANGES, CONTINUE);

      type CONTROL_LEVEL is (CONTROL_NONE,  
                             CONTROL_MODEL,  
                             CONTROL_MODULES,  
                             CONTROL_ALL);

      function ACTION_WHEN_OUT_OF_DATE return ACTION;
      function BIN_DIRECTORY (HOST : in STRING) return STRING;
      function CMVC_CONTROL_LEVEL return CONTROL_LEVEL;
      function REMOTE_DISPLAY return STRING;

      --
      -- Exactly one task of the following type MUST be declared in a
      -- library package by the gateway server.  This object declaration
      -- must NOT be part of the transitive closure of any user program:
      -- such a program would not terminate.
      --
      task type REGISTER is
         entry STOP;
      end REGISTER;

   private
      ACTION_WHEN_OUT_OF_DATE_N : constant STRING := "ACTION_WHEN_OUT_OF_DATE";
      BIN_DIRECTORIES_N : constant STRING := "BIN_DIRECTORIES";
      CMVC_CONTROL_LEVEL_N : constant STRING := "CMVC_CONTROL_LEVEL";
      REMOTE_DISPLAY_N : constant STRING := "REMOTE_DISPLAY";
   end SWITCHES;


end ASA_DEFINITIONS;