不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
& E, D9 T+ ]0 J6 odo       
        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
  ]4 v4 f4 l: W3 g# r& _! d        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
* Y# h. a1 F2 _6 o        else
4 K& @, u0 ~& x- {( O$ ^. V! t6 J; Z                waituntil zhuZhan.empty = false;
/ o) N3 L2 k) ^8 k. d$ S                zhuZhan[1].move();
7 `+ F/ o5 q" E# r+ p8 p                now_depart_num = now_depart_num + 1;
$ @# u4 v( q  r        end;                                       
( a% v% R$ {& N$ x6 {end;

但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
7 y: _) l. t: G5 F若是增加一个局部变量，如下：
7 h' v6 B- {' L5 mis
              depart_time : time;
do
; t" u6 Z9 R: ]3 _* f7 O. e6 t6 W              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
5 o) J4 L1 e+ Z8 i; O2 S- L              。。。
9 D1 }" p, ~$ Q) t5 `$ n/ U2 ?& B8 c又会出现syntax error near line 5 at <;>!

* u+ B# j% m: r! U& A$ w各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
1 E" k4 G) Y. w
now_depart_num := 1;
5 g( J1 }* H# y7 Sbegin_time := 0;
while 1 = 1 loop
2 S% o2 Q1 c& V3 N8 J0 @ depart_time := schedule[now_depart_num];
5 V7 h) T; h! A& @: ? wait depart_time - begin_time;
9 a) I# K6 Y  T$ R: A ....
6 u4 x7 z7 B- n8 N5 |* p0 z' l5 ]
4 h! C9 W$ C0 v1 J/ ] begin_time := depart_time;
now_depart_num := now_depart_num + 1;
end;

xiongbing2010

回复 2# SimChen谢谢楼上热心指导，只是我还是没有太明白，尤其是begin_time在程序中是起什么作用的？它是怎么从0变成now_depart_time的?

SimChen

我尽量用你的变量定义,增加了一个begin_time
depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
1 l$ J# f9 J0 Z4 _6 I2 s每次等待以后把now_depart_num增加1，表格就往下走一行。

另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。