|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 2303 (0x8ff)
Types: TextFile
Notes: R1k Text-file segment
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦ba2d16c4b⟧
└─⟦this⟧
with Attribute, Objet, detail,Expression;:
package Condition is
type Node_Kind is (Et, Ou, Single_Attribute, Hero, Place,
Actions, Meet, Belong, Attribute_Exist,
Exits_Exist, Subject_Exist, Unknown);
package Visible is
subtype Operator is Node_Kind range Et .. Ou;
type Compare_Kind is (Equal, Not_Equal, Less, Greater,
Greater_Equal, Less_Equal);
type Binary_Kind is (Yes, No);
end Visible;
use Visible;
type Object is private;
procedure Create (Item : out Object;
Kind : in Operator;
Left, Right : in Object);
procedure Create_Compare (Item : out Object;
An_Attribute : in Attribute.Object;
Symbol : in Compare_Kind;
An_Expression : in Expression.Object;
Ok : out Boolean);
procedure Create_Hero (Item : out Object; A_Hero : in detail.object);
procedure Create_Place (Item : out Object; A_Place : in detail.object);
procedure Create_Actions (Item : out Object; Number : in Positive);
procedure Create_Meet (Item : out Object; Animate : in detail.object);
procedure Create_Belong (Item : out Object;
An_Objet : in Objet.Object;
subject : detail.object;
Binary : in Binary_Kind);
procedure Create_Attribute_Exist (Item : out Object;
An_Attribute : in Attribute.Object;
Binary : in Binary_Kind);
procedure Create_Exits_Exist (Item : out Object;
An_Objet : in Objet.Object;
Binary : in Binary_Kind);
procedure Create_Subject_Exist (Item : out Object;
Subject : in detail.object;
Binary : in Binary_Kind);
procedure Show (Item : in Object);
function Is_Right (Item : in Object) return Boolean;
Null_Object : constant Object;
private
type Node (Kind : Node_Kind := Unknown);
type Object is access Node;
Null_Object : constant Object := null; --(kind=>unknown);
end Condition