不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
is       
6 u8 k) |4 K6 n" a$ g8 [& S; Cdo       
        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
& p1 p: r  C: X( b$ D        then
  W+ N- p5 d# _7 e, i5 [                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
        else
                waituntil zhuZhan.empty = false;
6 G, u5 f, ]3 z                zhuZhan[1].move();
9 R9 V9 u9 ~1 F* y+ |" I                now_depart_num = now_depart_num + 1;
        end;                                       
; A" p/ c, l  w4 z4 vend;

+ [* t0 {+ M. M' _3 F: @; M但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
" J4 S3 U' f, @7 ?5 g若是增加一个局部变量，如下：
is
              depart_time : time;
' I! S+ A. H; e+ W3 G, o! Hdo
              depart_time := schedule[now_depart_num];
) m5 `+ t, q( x4 L' d              waituntil EventController.simTime = depart_time;
              。。。
; X4 l: `+ f7 H8 H! c' `8 q又会出现syntax error near line 5 at <;>!
( a8 l/ c- l5 X2 X
* `7 b' [4 ?$ w2 f( k0 M8 O各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

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

5 W  x4 \% ^( A/ K' [now_depart_num := 1;
begin_time := 0;
while 1 = 1 loop
/ {: G/ H* {6 h" F% C3 n7 L depart_time := schedule[now_depart_num];
4 w; X) @+ ]) E+ e wait depart_time - begin_time;
& L, D$ o1 H5 i# j2 Y' o% S& O ....
+ @3 f$ a. U0 o1 f$ c
begin_time := depart_time;
- r) C* s* [) b1 T1 V now_depart_num := now_depart_num + 1;
4 }  J7 _3 [: g% `end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
7 T/ r' b) B9 k$ g* \5 L( _depart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。

# {3 l/ }- x, b+ G( u7 M5 k) F) \9 v另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。