Hermes: A Tutorial and Reference Manual - Researcher - IBM

162B.6.OperationDescriptions call(...) TypeRules:SeeSpecialRules Preconditions: SpecialRules:Therstoperandmustbeinclassoutport,anditsassociatedinporttypemusthaveamessagetypeinclasscallmessage.The
SeealsoSpecialRules callpreconditions() Exceptions:Depletion,Disconnected
remainingoperandsarethecallarguments.Thenumberofarguments mustequalthenumberofcomponentsinthedenitionofthemessage type,andeachargumenttypemustbethesameasthecorresponding Postconditions:SeeSpecialRules
intheinterface.Theexittypestatefornormalorexceptionalreturn rameterswillbecoerceddowniftheirtypestateishigherthanspecied includesinitoftherstoperand,plustypestatesforargumentsas inporttypedenition;argumentscorrespondingtonon-constantpa-
typestatespeciedforthecorrespondingparameterintheassociated (e.g.arecordmaynotappearinthesameargumentlistasoneofits components).Therstoperandmusthavetheinitattributeonentry.Eachargumentmusthaveatypestateatleastashighastheentry
messagecomponenttype.Theargumentsmustnotoverlapinstorage
Description:Therstoperandmustbeanoutputport.Formacallmessagebymovingallbuttherstoperandintosuccessivecallmessagtained,eveniftheydonotappearintheappropriateexittypestate.
involvingonlyargumentscorrespondingtoconstantparametersarere-
speciedinthecallmessagetypedenition.Additionally,attributes
Qualier:absent ponentsbackintotheoperandvariablesfromwhichtheyweretaken. returnofthecallmessage(includingexceptionreturns),moveitscom-
case(result,variant) components,andthensendthecallmessageontheoutputport.On
TypeRules: Preconditions: variant2variant
casetypeof(variant) Exceptions:Depletion Seex11.8,p.121
var(result) init(variant) Postconditions: makeinit(result)