不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
/ @# b/ U" Q  `" lis       
do       
        waituntil EventController.simTime = Schedule[now_depart_num];
        if zhuZhan.empty = false
  }9 P  c" q, J9 M* L        then
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;               
* }8 C0 t3 P2 @# m7 L& U: @" A5 s        else
                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
, r2 r8 O  H5 Y; k3 B- Q        end;                                       
end;
8 c. l5 H8 z  ^; q& G" Z( \" ?
- v  y3 z2 d" _9 E: z# f但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
3 H" n# K& C6 }5 U3 {8 Gis
              depart_time : time;
9 E: j  f$ [" n% ]1 k- C6 m) Qdo
4 d( D* `1 H; o1 Q              depart_time := schedule[now_depart_num];
1 G2 A! I. I4 M& `1 `              waituntil EventController.simTime = depart_time;
8 o( }( `- S8 z' M; ~# {6 x              。。。
又会出现syntax error near line 5 at <;>!
! z  \- I8 W" P) V4 |& \. ^
$ p5 s! o8 [2 c7 x# {6 n0 E各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
8 I( ~0 x* C" r5 U) o! w6 H, g# a/ y
6 m: ?( [) u6 ^now_depart_num := 1;
! a/ ]/ e+ q' @8 w9 W9 L3 j' Kbegin_time := 0;
while 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
....

1 V  c/ M$ Q9 h; @+ g4 @: ^5 v begin_time := depart_time;
* t& g- t' k% ` now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

我尽量用你的变量定义,增加了一个begin_time
' \8 Z) H" _; Z# l6 N' s3 I$ jdepart_time和begin_time的差就是要等待的时间，也就是表格相邻两行定义的时间
每次等待以后把now_depart_num增加1，表格就往下走一行。
: v8 Y4 u* P6 S( E8 |0 P9 p" }
4 ?! @& X+ a- \- g9 v$ Q另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。