lcb!dispatch ! dlcs = in DLCb 0 = null 1 = null dlca!dispatch ! dlcs = in DLCa 0 = dlca!dlc (2) 1 = null To display only the variable DLCs contained in process dispatch in block DLCa: > print dlca!dispatch ! dlcs dlca!dispatch ! dlcs = 0 = dlca!dlc (2) 1 = null To display the input queue contents of each process instance: > print queue btoa (1) ! queue = { } - - means queue empty atob (1) ! queue = { } 100 Validation of Communications Systems with SDL process dlcb!dlc not created or stopped process dlca!dlc not created or stopped dlcb!dispatch ! queue = { } dlca!dispatch ! queue = - - first queue element sender = dlca!dlc (1) who sent it name = dlcstopped - - signal name dlcstopped = p1 = 0 - - first signal parameter To display the current state of each process instance: > print state btoa (1) ! state = ready atob (1) ! state = ready process dlcb!dlc not created or stopped process dlca!dlc not created or stopped dlcb!dispatch ! state = ready dlca!dispatch ! state = waitua To display all the model contents (current global state): > print all atob (1) = substate = none state = ready sender = dlca!dlc (1) parent = null To test if process dispatch in block DLCa is in state waitUA and Now < 10: > print (DLCa!dispatch!state=waitUA) and (Now < 10) (dlca!dispatch ! state = waitua) and (now < 10.0) = false To call the operator fill_Iframe to test it: > print fill Iframe (1, 39, 15) fill_iframe (1, 39, 15) = dlci = 1 data = 39 crc = 15 To call the ObjectGeode-specific predefined SDL operator hexadecimal to convert a number to hexadecimal: > p hexadecimal (15) hexadecimal (15) = 0xf Interactive Simulation 101 To call the ObjectGeode-specific predefined SDL operator integer to convert a hexadeci- mal number: > p integer (0xF) integer (0xf) = 15 4.3.7.6 Examining the SDL model: watch windows The watch command opens one or more watch windows displaying the contents of any SDL or simulation element, refreshed every time its value changes. The button Watch allows to create predefined watch windows to display the contents of all 