|
DataMuseum.dkPresents historical artifacts from the history of: RC3500 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about RC3500 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 19968 (0x4e00)
Types: TextFileVerbose
Names: »ryf2«
└─⟦a41ae585a⟧ Bits:30001842 SW-save af projekt 1000, Alarm-system
└─⟦72244f0ef⟧
└─⟦this⟧ »ryf2«
\f
ryf 81.06.23. 20.35. page 1
10 1 tsenvir;
20 2
30 3 (* ===========================================================================
40 4 .
50 5 . tsenvir presupposes alarmenv
60 6 .
70 7 ============================================================================ *)
80 8
90 9
100 10 CONST
110 11 ts_env_vers = 4 + 100 * al_env_version;
120 12
\f
ryf 81.06.23. 20.35. page 2
1010 13 (* ---------------------- miscellaneous ----------------------------------- *)
1020 14
1030 15 CONST
1040 16 forever = false;
1050 17 dummy_macro = macroaddr( 0, 0, 0 );
1060 18 empty_addr = alarmnetaddr( dummy_macro, 0 );
1070 19 wait_sem_delay = 3;
1080 20
\f
ryf 81.06.23. 20.35. page 3
2010 21 (* -------------------- alarm net table control --------------------------- *)
2020 22
2030 23 CONST
2040 24 max_data = 16; (* maximal number of data bytes in/out an alarm terminal *)
2050 25
2060 26 sac_rac_lth = vca_vcm_l;
2070 27 atc_tbl_lth = at_l;
2080 28
2090 29 pac_index = 1;
2100 30 ac_table_lth = vc_addr_l;
2110 31
2120 32
2130 33 TYPE
2140 34 data_range = 1..max_data;
2150 35
2160 36 sac_rac_range = 1..sac_rac_lth;
2170 37 upper_sac_rac_index = 0..sac_rac_lth;
2180 38
2190 39 atc_table_range = 1..atc_tbl_lth;
2200 40 upper_atc_tbl_index = 0..atc_tbl_lth;
2210 41
2220 42 ac_table_range = pac_index..ac_table_lth;
2230 43 upper_ac_tbl_index = 0..ac_table_lth;
2240 44
2250 45 atc_inc_claim = (
2260 46 claim_none ,
2270 47 msg_0900_stop ,
2280 48 msg_0608 ,
2290 49 msg_0404 ,
2300 50 msg_0208 ,
2310 51 msg_0209 ,
2320 52 msg_1200 ,
2330 53 msg_0900_start ,
2340 54 msg_0900_break ,
2350 55 msg_1214 ,
2360 56 claim_break ,
2370 57 claim_remove ,
2380 58 claim_none_12 ,
2390 59 claim_none_13 ,
2400 60 claim_none_14 ,
2410 61 claim_none_15
2420 62 );
2430 63
2440 64 atc_claim_set = SET OF atc_inc_claim;
2450 65
\f
ryf 81.06.23. 20.35. page 4
3010 66 (* -------------------- alarm net table entries -----------------------------*)
3020 67
3030 68 TYPE
3040 69 atc_table_entry = RECORD
3050 70 ! atc_mic : integer;
3060 71 ! lam_no ,
3070 72 ! port_no : byte;
3080 73 ! pac_ix : integer (* sac_rac_range ! *)
3090 74 END;
3100 75
3110 76 atc_description = RECORD
3120 77 ! atc_mic_addr : integer;
3130 78 ! ts_vect_ix : integer;
3140 79 ! shad_ix : atc_table_range;
3150 80 ! traffic_count ,
3160 81 ! delay : integer;
3170 82 ! claim_set : atc_claim_set;
3180 83 ! wanted_activity ,
3190 84 ! actual_activity : connector_state;
3200 85 ! pac_ix : sac_rac_range
3210 86 END;
3220 87
3230 88 ac_addr_table_entry = RECORD
3240 89 ! addr_code : byte;
3250 90 ! sac_rac_ix : integer; (* sac_rac_range ! *)
3260 91 ! block_lth : byte; (* data_range ! *)
3270 92 ! steering : boolean
3280 93 END;
3290 94
3300 95 sac_rac_entry = RECORD
3310 96 ! usual_ac_addr ,
3320 97 ! substitute_ac_addr : alarmnetaddr
3330 98 END;
3340 99
3350 100 sac_rac_tbl_entry = RECORD
3360 101 ! sac_rac_e : sac_rac_entry;
3370 102 ! disconnected : boolean
3380 103 END;
3390 104
3400 105
\f
ryf 81.06.23. 20.35. page 5
4010 106 (* ------------------- alarm net tables ---------------------------------- *)
4020 107
4030 108 TYPE
4040 109 sac_rac_table = ARRAY( sac_rac_range ) OF sac_rac_tbl_entry;
4050 110
4060 111 atc_table = ARRAY( atc_table_range ) OF atc_description;
4070 112 atc_shadow_table = ARRAY( atc_table_range ) OF shadow;
4080 113
4090 114 ac_address_table = ARRAY( ac_table_range ) OF ac_addr_table_entry;
4100 115
\f
ryf 81.06.23. 20.35. page 6
5010 116 (* ------------------ alarm net message formats -------------------------- *)
5020 117 TYPE
5030 118 data_bytes = ARRAY( data_range ) OF byte;
5040 119
5050 120 al_form_byte = RECORD
5060 121 ! al_label : alarmlabel;
5070 122 ! data : data_bytes
5080 123 END;
5090 124
5100 125 al_form_word = RECORD
5110 126 ! al_label : alarmlabel;
5120 127 ! params : ARRAY( 1..1 ) OF integer
5130 128 END;
5140 129
5150 130 al_form_addr = RECORD
5160 131 ! al_label : alarmlabel;
5170 132 ! al_net_addr : alarmnetaddr
5180 133 END;
5190 134
\f
ryf 81.06.23. 20.35. page 7
6010 135 al_form_0001 = RECORD
6020 136 ! al_label : alarmlabel;
6030 137 ! aac_address : alarmnetaddr;
6040 138 ! data : data_bytes
6050 139 END;
6060 140
6070 141 al_form_020_ = al_form_addr; (* broadcast *)
6080 142
6090 143 al_form_0400 = al_form_byte;
6100 144
6110 145 al_form_0404 = RECORD
6120 146 ! al_label : alarmlabel;
6130 147 ! low_micro ,
6140 148 ! high_micro : integer;
6150 149 ! data : data_bytes
6160 150 END;
6170 151
6180 152 al_form_0600 = RECORD
6190 153 ! al_label : alarmlabel;
6200 154 ! atc_tbl_e : atc_table_entry
6210 155 END;
6220 156
6230 157 al_form_0608 = al_form_0600;
6240 158
\f
ryf 81.06.23. 20.35. page 8
7010 159 al_form_0900 = RECORD
7020 160 ! al_label : alarmlabel;
7030 161 ! t_e_c_init ,
7040 162 ! frequence : integer
7050 163 END;
7060 164
7070 165 al_form_0902 = al_form_addr;
7080 166
7090 167 al_form_1000 = RECORD
7100 168 ! al_label : alarmlabel;
7110 169 ! ac_addr_tbl_e : ac_addr_table_entry
7120 170 END;
7130 171
7140 172 al_form_1010 = RECORD
7150 173 ! al_label : alarmlabel;
7160 174 ! sac_rac_tbl_ix : integer;
7170 175 ! tbl_entry : sac_rac_entry
7180 176 END;
7190 177
7200 178 al_form_11__ = al_form_word;
7210 179
7220 180 al_form_1200 = RECORD
7230 181 ! al_label : alarmlabel;
7240 182 ! serial_no ,
7250 183 ! master_time_out ,
7260 184 ! tolerance : integer;
7270 185 ! statistics : ARRAY( 1..1 ) OF integer
7280 186 END;
7290 187
\f
ryf 81.06.23. 20.35. page 9
8010 188 (* ------------------- incarnation stack appetites ---------------------- *)
8020 189
8030 190
8040 191
\f
ryf 81.06.23. 20.35. page 10
9010 192 (*----------------- external declaration part -----------------------------*)
9020 193
9030 194 PROCEDURE receipt_message(
9040 195 VAR
9050 196 msg : reference;
9060 197 VAR
9070 198 receiver_sem : !sempointer;
9080 199 route : byte;
9090 200 noofby_modif : integer;
9100 201 res : result_range
9110 202 );
9120 203 EXTERNAL;
9130 204
9140 205
9150 206 PROCEDURE reject_message(
9160 207 VAR
9170 208 msg : reference;
9180 209 VAR
9190 210 receiver_sem : !sempointer;
9200 211 route : byte;
9210 212 sender_macro : macroaddr;
9220 213 sender_micro : integer;
9230 214 res : result_range
9240 215 );
9250 216 EXTERNAL;
9260 217
9270 218 .
\f
ryf 81.06.23. 20.35. page 11
0 17* 17* 17* 18* 37* 40* 43*
1 29* 34* 36* 39* 127* 127* 185* 185*
3 19*
4 11*
16 24*
100 11*
aac_address 137*
actual_activity <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
84*
ac_address_table <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
114*
ac_addr_table_entry <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
88* 114* 169*
ac_addr_tbl_e <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
169*
ac_table_lth 30* 42* 43*
ac_table_range <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
42* 114*
addr_code 89*
alarmlabel 121* 126* 131* 136* 146* 153* 160* 168* 173* 181*
alarmnetaddr 18* 97* 132* 137*
al_env_version <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
11*
al_form_0001 135*
al_form_020_ 141*
al_form_0400 143*
al_form_0404 145*
al_form_0600 152* 157*
al_form_0608 157*
al_form_0900 159*
al_form_0902 165*
al_form_1000 167*
al_form_1010 172*
al_form_11__ 178*
al_form_1200 180*
al_form_addr 130* 141* 165*
al_form_byte 120* 143*
al_form_word 125* 178*
al_label 121* 126* 131* 136* 146* 153* 160* 168* 173* 181*
al_net_addr 132*
atc_claim_set <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
64* 82*
atc_description <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
76* 111*
\f
ryf 81.06.23. 20.35. page 12
atc_inc_claim <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
45* 64*
atc_mic 70*
atc_mic_addr 77*
atc_shadow_table <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
112*
atc_table 111*
atc_table_entry <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
69* 154*
atc_table_range <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
39* 79* 111* 112*
atc_tbl_e 154*
atc_tbl_lth 27* 39* 40*
at_l 27*
block_lth 91*
boolean 92* 102*
byte 72* 89* 91* 118* 199* 211*
claim_break 56*
claim_none 46*
claim_none_15 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
61*
claim_none_14 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
60*
claim_none_13 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
59*
claim_none_12 <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
58*
claim_remove 57*
claim_set 82*
connector_state <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
84*
data 122* 138* 149*
data_bytes 118* 122* 138* 149*
data_range 34* 118*
delay 81*
disconnected 102*
dummy_macro 17* 18*
empty_addr 18*
external 203* 216*
false 16*
forever 16*
frequence 162*
high_micro 148*
integer 70* 73* 77* 78* 81* 90* 127* 148* 162* 174* 184* 185* 200* 213*
\f
ryf 81.06.23. 20.35. page 13
lam_no 71*
low_micro 147*
macroaddr 17* 212*
master_time_out <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
183*
max_data 24* 34*
msg 196* 208*
msg_0208 50*
msg_0209 51*
msg_0404 49*
msg_0608 48*
msg_0900_break <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
54*
msg_0900_start <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
53*
msg_0900_stop <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
47*
msg_1200 52*
msg_1214 55*
noofby_modif 200*
pac_index 29* 42*
pac_ix 73* 85*
params 127*
port_no 72*
receipt_message <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
194*
receiver_sem 198* 210*
reference 196* 208*
reject_message <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
206*
res 201* 214*
result_range 201* 214*
route 199* 211*
sac_rac_e 101*
sac_rac_entry <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
95* 101* 175*
sac_rac_ix 90*
sac_rac_lth 26* 36* 37*
sac_rac_range <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
36* 85* 109*
sac_rac_table <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
109*
sac_rac_tbl_ix <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
174*
\f
ryf 81.06.23. 20.35. page 14
sac_rac_tbl_entry <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
100* 109*
sempointer 198* 210*
sender_macro 212*
sender_micro 213*
serial_no 182*
shadow 112*
shad_ix 79*
statistics 185*
steering 92*
substitute_ac_addr <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
97*
tbl_entry 175*
tolerance 184*
traffic_count <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
80*
tsenvir 1*
ts_env_vers 11*
ts_vect_ix 78*
t_e_c_init 161*
upper_ac_tbl_index <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
43*
upper_atc_tbl_index <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
40*
upper_sac_rac_index <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
37*
usual_ac_addr <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
96*
vca_vcm_l 26*
vc_addr_l 30*
wait_sem_delay <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
19*
wanted_activity <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
83*
\f
ryf 81.06.23. 20.35. page 15
ARRAY 7
CONST 3
END 15
OF 8
PROCEDURE 2
RECORD 15
SET 1
TYPE 4
VAR 4
«eof»