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
51
52
53
54
55
|
-- Copyright (C) 1999 Daniel Elphick and others
-- Licensed under Eiffel Forum Freeware License, version 1;
-- (see forum.txt)
--
indexing
description: "Writers should inherit from this if they aren't the %
%root class"
author: "Daniel Elphick <de397@ecs.soton.ac.uk>"
deferred class CAN_BE_CREATED
feature
name: STRING is
deferred
end
append_parent_declaration(code: ARRAY[STRING]) is
deferred
end
append_parent_creation(code: ARRAY[STRING]) is
deferred
end
parent_inherit: INHERIT_LIST is
deferred
end
append_top_level_definition(code: ARRAY[STRING]) is
require
top_level: is_top_level
deferred
end
append_top_level_show(code: ARRAY[STRING]) is
require
top_level: is_top_level
deferred
end
is_top_level: BOOLEAN is
do
Result := top_level_status
end
top_level_status: BOOLEAN
make_top_level is
do
top_level_status := True
end
end
|
