blob: e804088c8ee3764d626d9caca8ed511db90fc14a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
-- File: LibCtl_ProtocolTemplate.cdl
-- Created: Wed Mar 17 17:23:19 1993
-- Author: Christian CAILLET
-- <cky@phylox>
---Copyright: Matra Datavision 1993
deferred generic class ProtocolTemplate from LibCtl
(TheObject as any)
inherits Transient
---Purpose : This class is a Template class for Library : there is no
-- obligation to inherit it for instantiate a Library class.
--
-- A Protocol class defines a data scheme by gathering a set of
-- Object Classes. This set is made of :
-- - As necessary, other sets already defined by other Protocols.
-- These Protocols are the Resources of <myclass>
-- This definition can be recurrent : each Protocol class
-- defines its Resources at immediate level
-- - The list of Object Classes it identifies DIRECTLY (itself),
-- i.e. not through its Resources.
--
-- A classic Selection criterium is DynamicType (for a Transient
-- or Persistent Object), this gives a Case Number per Class. If
-- another criterium is taken, it must assume unique and non-
-- ambiguous binding between an object state and a Cse Number.
--
-- For each Object Class (or recognized state) it identifies
-- directly, it provides a unique positive Number, which can be
-- used as Case Number.
--
-- A Module bound with a Protocol class is assumed to accept any
-- Object of a Class it defines DIRECTLY (not its Resources).
uses Type
is
NbResources (me) returns Integer is deferred;
---Purpose : Gives the count of Protocols used as Resource (can be zero)
Resource (me; num : Integer) returns ProtocolTemplate is deferred;
---Purpose : Returns a Resource, given a rank.
CaseNumber (me; obj : any TheObject) returns Integer is deferred;
---Purpose : Returns a Case Number, specific of each recognized Object
-- This is a positive number. Zero means "<obj> not recognized"
end ProtocolTemplate;
|
