liftsystem_dba.ttdcfg

来自「UML语言构建的电梯管理系统」· TTDCFG 代码 · 共 19 行

[FileFormatVersion] 2
[Messages]
from env[1] : ::Interfaces::addLift 
from env[1] : ::Interfaces::requestLift ( 1, up )
from env[1] : ::Interfaces::requestLift ( 7, down )
from env[1] to LiftSystem.LiftController[1] : ::Interfaces::gotoFloor ( 5 )
from env[1] to LiftSystem.LiftController[2] : ::Interfaces::gotoFloor ( 9 )
[Breakpoints]
+ at #SDTREF(U2,"u2:LiftManagement.u2#jRCH9E6TcSCLT6699EeWlOmL")
[SQDTraceLevels]
LiftSystem 1
env 1
env[1] 1
[ExecutionTrackingLevels]
LiftSystem 1
env 1
env[1] 0
[Watches]