From d8d496bace74a59ca6842a319ad925458f7eea3a Mon Sep 17 00:00:00 2001 From: Phil <phil@secdev.org> Date: Thu, 30 Apr 2009 16:13:33 +0200 Subject: [PATCH] Added new regression tests for automata --- test/regression.uts | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/test/regression.uts b/test/regression.uts index f53dc440..3d36ca81 100644 --- a/test/regression.uts +++ b/test/regression.uts @@ -895,6 +895,41 @@ class ATMT6(Automaton): a=ATMT6() a.run() assert( _ == 'Mercury' ) + += Automaton test io event +~ automaton + +class ATMT7(Automaton): + @ATMT.state(initial=1) + def BEGIN(self): + self.res = "S" + @ATMT.ioevent(BEGIN, name="tst") + def tr1(self, fd): + self.res += fd.recv() + raise self.NEXT_STATE() + @ATMT.state() + def NEXT_STATE(self): + self.oi.tst.send("ur") + @ATMT.ioevent(NEXT_STATE, name="tst") + def tr2(self, fd): + self.res += fd.recv() + raise self.END() + @ATMT.state(final=1) + def END(self): + self.res += "n" + return self.res + +a=ATMT7() +a.run(wait=False) +a.io.tst.send("at") +a.io.tst.recv() +a.io.tst.send(_) +a.run() +assert( _ == "Saturn" ) + += Automaton test io event from external fd +~ automaton +pass + Test IP options -- GitLab