不能在waituntil的statement中访问table

xiongbing2010

我写的一个程序想实现在IObuffer中的MU按时刻表exit，若需要exit的时候IObuffer中没有MU，那一旦IObuffer中有MU就立即exit。IObuffer的名字是zhuZhan，程序如下：
5 F2 h, J6 x0 ^+ c' ~; k  vis       
do       
; Q/ m) U; G" `        waituntil EventController.simTime = Schedule[now_depart_num];
/ {, ?- V$ m" `) @1 ?: S        if zhuZhan.empty = false
4 {8 u1 R8 Q; C        then
- Z1 s1 I: s2 t3 Y# v                zhuZhan[1].move();
4 C5 I% B" f& W$ o8 r+ h7 N                now_depart_num = now_depart_num + 1;               
        else
+ [) x* P: B3 j. g% B' `) m# ~                waituntil zhuZhan.empty = false;
0 v/ _, W1 S% @                zhuZhan[1].move();
' D7 N" U! o+ N                now_depart_num = now_depart_num + 1;
1 f# d& w; B, z        end;                                       
3 n$ Q/ ^9 q5 M" Gend;
8 M; Q: e2 q; |# j2 R7 H
但是一直说有错误，提示信息是：access to tables is not allowed within a waituntil statement.
若是增加一个局部变量，如下：
4 m( E6 h1 x" r2 Uis
% Z2 J* I) U) @! ?              depart_time : time;
do
              depart_time := schedule[now_depart_num];
              waituntil EventController.simTime = depart_time;
              。。。
又会出现syntax error near line 5 at <;>!

: y  P8 C' J3 H: I* y- k各位大侠帮帮忙，或者教我怎么改程序的错误，或者教教我用别的方法实现我的目的，谢谢了！

SimChen

waituntil 有很多限制条件，监控variable是可以的，表格好像是不行的。另外，这个命令对程序的performance有很大影响，能不用就尽量不要用。有一个技巧，通过不断循环的方式来实现时间点的控制。
1 l5 g$ O. U- b: D" O* }
, G; W: w9 \& Znow_depart_num := 1;
& s4 P- m4 k' \  i1 t" f; obegin_time := 0;
! J5 s/ y# W5 q) l- ]while 1 = 1 loop
depart_time := schedule[now_depart_num];
wait depart_time - begin_time;
: c, }2 y2 ]4 [+ O: J9 v" k' I2 R# A1 ] ....

begin_time := depart_time;
9 [# \! v; S' Z! ^$ B( J! E+ x now_depart_num := now_depart_num + 1;
end;

xiongbing2010

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

SimChen

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

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