DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦0cd9bc4ab⟧ TextFile

    Length: 1735 (0x6c7)
    Types: TextFile
    Names: »V«

Derivation

└─⟦db1c56801⟧ Bits:30000748 8mm tape, Rational 1000, TESTMATE 2_2_0
    └─⟦866d14df1⟧ »DATA« 
        └─⟦97c804b2f⟧ 
            └─⟦this⟧

TextFile

with Executable_Code;
with System;

package Parallel_Termination_Control is

  type Parallel_Termination_Control_Kind is (None, Clause, Duration_Limit);

  type Duration_Variation is
   (No_Duration, Max_Cpu, Max_Elapsed, Duration_And_Elapsed);

  type Object (Control      : Parallel_Termination_Control_Kind := None;
               Time_Control : Duration_Variation := No_Duration) is
    record
      case Control is
        when Clause =>
          Termination_Clause : Executable_Code.Object;
        when Duration_Limit =>
          case Time_Control is  
            when Max_Cpu | Max_Elapsed | Duration_And_Elapsed =>
              Max_Cpu_Limit     : Duration := Duration'Last;
              Max_Elapsed_Limit : Duration := Duration'Last;
            when No_Duration =>
              null;
          end case;
        when None =>
          null;
      end case;
    end record;

  function No_Control return Parallel_Termination_Control.Object;

  function Constructor (With_Value : String; Heap : System.Segment)
                       return Parallel_Termination_Control.Object;

  function Constructor (Heap : System.Segment)
                       return Parallel_Termination_Control.Object;

  procedure Destructor (The_Context : in out
                         Parallel_Termination_Control.Object);

  function Convert (From_The_Context : Parallel_Termination_Control.Object)
                   return String;

  function Equal (L, R : Parallel_Termination_Control.Object) return Boolean;

  procedure Copy (Target : in out Parallel_Termination_Control.Object;
                  Source :        Parallel_Termination_Control.Object;
                  Heap   :        System.Segment);

end Parallel_Termination_Control;