不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
( `  a1 r: Q6 o" i, f+ Y/ ois       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
7 I4 m9 b! i5 @' X5 M0 P: j* u; n        if zhuZhan.empty = false
        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
# a4 K3 z7 X$ X" U' ?        else
/ x- N2 L- p6 I. Q4 r2 \                waituntil zhuZhan.empty = false;
; Z8 Q/ ?1 y- M; X. N1 w! b  a                zhuZhan[1].move();
7 P1 t5 n3 I' f1 s: N                now_depart_num = now_depart_num + 1;
: \) D( P0 y5 \0 B: ^- X        end;                                       
( z7 F2 E3 y; ?3 o2 ^: nend;

+ |1 V- C! n1 E但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
; z+ r# e9 P& N3 u% G, B$ |% Sis
              depart_time : time;
9 Q$ }: u: h- _" {do
4 K/ `/ j' x; C' M. |6 x              depart_time := schedule[now_depart_num];
  _$ A" ]$ Q) ^5 c              waituntil EventController.simTime = depart_time;
              。。。
又会出现syntax error near line 5 at <;>!
5 D- p* q! t  K  h5 p7 o) L
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。

' b. Z7 N0 O, znow_depart_num := 1;
begin_time := 0;
5 O1 V- E6 O% J/ |1 m" E8 t4 ^% Swhile 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
....
2 j' }/ M  P" Y# @
& ?0 z; p9 u- E. M5 m$ S  _ begin_time := depart_time;
5 d2 \; C7 K1 _& {2 S) A+ I; y4 r now_depart_num := now_depart_num + 1;
& W+ S- Q# N. q* q9 ?end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
2 K5 _- Y  E1 }depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
8 B- `8 T/ l7 K每次等待以后把now_depart_num增加1，表格就往下走一行。

% J5 c* `  ^+ S. }另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。