コード例 #1
0
ファイル: test_expr_cases.py プロジェクト: koluacik/uppaal-py
 def case_02(self):
     return (
         UpdateExpression("i = 10", self.C.ctx()),
         self.C.ctx().to_MutableContext(),
         10,
         None,
     )
コード例 #2
0
ファイル: test_expr_cases.py プロジェクト: koluacik/uppaal-py
 def expr(cls):
     return [UpdateExpression(s, cls.ctx()) for s in cls.exprstr()]
コード例 #3
0
 def case_updates_multi(self):
     ctx = self.C.ctx()
     e1 = UpdateExpression("i += 15", ctx)
     e2 = ClockResetExpression("c = 0", ctx)
     return "assignment", "i += 15", (0, 1), ctx, [e1, e2]
コード例 #4
0
 def case_updates_not_none(self):
     ctx = self.C.ctx()
     e = UpdateExpression("i += 15", ctx)
     return "assignment", "i += 15", (0, 1), ctx, [e]
コード例 #5
0
ファイル: test_expr.py プロジェクト: koluacik/uppaal-py
 def test_join_str(self, strings, res):
     r = UpdateExpression.join_strings(strings)
     assert r == res
コード例 #6
0
ファイル: test_expr.py プロジェクト: koluacik/uppaal-py
 def test_split(self, string, res):
     r = UpdateExpression.split_into_simple(string)
     for i, subexprstr in enumerate(r):
         assert "," not in subexprstr
         if res is not None:
             assert subexprstr == res[i]
コード例 #7
0
ファイル: test_expr.py プロジェクト: koluacik/uppaal-py
 def test_to_str(self, string, ctx):
     r = UpdateExpression(string, ctx)
     assert string == r.to_string()
コード例 #8
0
ファイル: test_expr.py プロジェクト: koluacik/uppaal-py
 def test_init(self, string, ctx):
     UpdateExpression(string, ctx)