不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
0 h2 a: e! h  L& K9 o* eis       
5 L( d4 j& U$ ]/ W' gdo       
; c4 l0 h3 @4 @  B* ?        waituntil EventController.simTime = Schedule[now_depart_num];
  ?# i' B" X( P        if zhuZhan.empty = false
        then
5 E6 O8 N* V1 K- ~  c. F                zhuZhan[1].move();
) t) Q0 i& p1 k+ r& D                now_depart_num = now_depart_num + 1;               
! R5 b; N1 Y# z5 j5 D5 h        else
                waituntil zhuZhan.empty = false;
9 t6 }/ C: h7 E7 r- H) w2 E                zhuZhan[1].move();
8 o# ?  U* d/ ^6 |* v                now_depart_num = now_depart_num + 1;
- T' W, }, L* u( {( v        end;                                       
1 r- U- _5 Y- d, q; o- ?end;

但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
" J' f( ]7 f! c& @6 X/ bis
6 E4 j# a7 P- A$ L5 F2 _- z3 j6 P              depart_time : time;
  h! ~/ e+ u9 M  Sdo
              depart_time := schedule[now_depart_num];
* ~+ q9 b8 {, w+ B3 ~6 E/ s              waituntil EventController.simTime = depart_time;
, B; D" J( l9 J1 x7 l" L              。。。
又会出现syntax error near line 5 at <;>!
, h, A/ G; h( R% k) b1 v5 m
- z1 _; Y2 M4 Z1 C& B8 e9 h各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

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

now_depart_num := 1;
begin_time := 0;
: p/ V  U: {! }8 a6 W1 Y% ^6 mwhile 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
3 W7 Q; J3 t( A3 b" z  h ....
# W# D# o( K( i" R; ~9 g& y+ y
begin_time := depart_time;
- R. V+ w9 R, @' N+ Z& | now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

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

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