不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
do       
* Z8 J' g# }$ I        waituntil EventController.simTime = Schedule[now_depart_num];
4 G# g- ~1 \, B) |: x        if zhuZhan.empty = false
        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
4 I3 O' [$ M! n6 [" G$ k        else
                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
        end;                                       
end;
  X. E0 l, A0 r* u/ d- k. D* L
( m! i+ ^- \: @但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
$ D8 D  X! ~+ x9 p* ?2 g9 i: p+ }若是增加一个局部变量，如下：
( {# {' W& z$ C* S: Xis
              depart_time : time;
do
              depart_time := schedule[now_depart_num];
6 I; Q! Z. G  h, S7 V( t; }              waituntil EventController.simTime = depart_time;
8 W' a1 r8 ~6 x& q4 w4 N              。。。
又会出现syntax error near line 5 at <;>!
5 d$ x" D, k) _
% Z& g* E5 J0 }  S: G' Z各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
) |# o8 Y6 X( W5 l' h* |, \
' ~* a0 z& ^0 N) A% b4 p6 ?now_depart_num := 1;
begin_time := 0;
while 1 = 1 loop
2 |& n& v8 a. @+ S7 a: V8 a* y depart_time := schedule[now_depart_num];
3 \3 D) p5 C( W5 `) K# A/ Y# o7 S wait depart_time - begin_time;
....

begin_time := depart_time;
: j+ g5 Y1 k% x% r& w6 j. I+ J+ q, W now_depart_num := now_depart_num + 1;
/ Y' {7 @8 h: N7 p- T# p7 X- Wend;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
3 b$ Q/ p; U+ {1 z  Z9 tdepart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。
2 R3 z; q" d, W4 F! ^- r4 ~: e, ~3 K
; u9 f2 q5 ~+ G9 U9 D另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。