不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
; \  X, S$ [8 ~' p( Y* xis       
  E; {' [9 x, `, Sdo       
        waituntil EventController.simTime = Schedule[now_depart_num];
# m+ ^( u# L" v: |2 y, K$ U- F        if zhuZhan.empty = false
        then
2 \  |- g$ Q1 s6 h: x( A+ y                zhuZhan[1].move();
+ h3 g* X4 ^' P# `( X& S' f4 w                now_depart_num = now_depart_num + 1;               
        else
+ E5 N3 I, o( \7 E                waituntil zhuZhan.empty = false;
                zhuZhan[1].move();
                now_depart_num = now_depart_num + 1;
! _2 S- O( W4 w( V0 M        end;                                       
end;

: \2 [7 P( p4 V8 B# t* ^但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
% c, Y+ M5 q' Z; T" ?& N, Z若是增加一个局部变量，如下：
is
              depart_time : time;
' B9 O) x: q* w4 Ado
              depart_time := schedule[now_depart_num];
$ H+ d; b, ?, G, x4 R, v              waituntil EventController.simTime = depart_time;
              。。。
* K) T5 ?1 I9 _2 F6 @3 D5 L/ ~( a, M又会出现syntax error near line 5 at <;>!
: R8 m6 {, z9 a! f3 I
各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
: d; y& ^1 o" T, N0 H( P
now_depart_num := 1;
  n' u: A) T% }, l7 Jbegin_time := 0;
4 R, m! ~& a9 Q6 H/ I$ owhile 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
9 q0 \) `5 n) p6 D5 w: x; B ....

% @0 I. A7 J* }1 ^  J$ s begin_time := depart_time;
+ g: V7 C9 A6 a7 |5 ]$ i4 `) Y 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，表格就往下走一行。
2 D+ X" [( m9 J- U6 x
1 B$ k, x, w9 J( |& V* z另外，这个程序原则上由Init调用，所以起始时间是0，然后每次等待后上一个终止点就是下一个起始点。