Interface for qBeta module object
ChemicalPlantSystem: obj
%requires Containers,MapLib,Set
%include Containers,QBETA
Qualification:
in Q: var integer
print:
Qualifications: Set.Set
print:
Expert:
in name: ref StringLib.String
in quali: ref Qualifications
print:
Experts: Set.Set
print:
Alarm:
in descr: ref StringLib.String
in reqQuali: ref Qualification
print:
Alarms: Set.Set
print:
Period:
in start: var integer
in end: var integer
print:
Periods: Set.Set
print:
Schedule: MapLib.Map(#Period,#Experts)
dum: var integer
Plant:
in theAlarms: ref Alarms
in theSchedule: ref Schedule
PlantInvA:
out B: var Boolean
PlantInvB:
out B: var Boolean
ExpertToPage:period:
out exp: ref Expert
numberOfExperts:
in p: ref Period
out n: var integer
expertIsOnDuty:
in ep: ref Expert
out fp: obj Periods
expertIsOnDutyR:
in ep: ref Expert
out fp: ref Periods
Q: obj Qualification
QS: obj Qualifications
E1: ref Expert
E2: ref Expert
ES1: obj set.set
ES2: obj set.set
A: ref Alarm
AS: obj Alarms
S: obj Schedule
P: obj Plant(AS,S)