================
@@ -179,9 +187,24 @@ def validate_expect(expect: Expect, expected_value, scope:
Scope):
f"!expect/all node {expect} should not have an expected
value."
)
+ def validate_where(where: Where, scope: Scope):
+ if where.is_and and not scope.where:
+ raise DexterScriptError(
+ f"!and node must be contained by another state node."
+ )
+ if scope.get_desired_frame_idx() is not None:
+ if not where.is_and:
+ raise DexterScriptError(
+ f"!where node {where} cannot be contained by a node
with at_frame_idx."
+ )
+ if where.at_frame_idx:
+ raise DexterScriptError(
+ f"!and node {where} with at_frame_idx cannot be
contained by another node with at_frame_idx."
----------------
OCHyams wrote:
is it definitely an !and node?
https://github.com/llvm/llvm-project/pull/203505
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits