Lines Matching refs:assertion

26   def __init__(self, assertion, lineNo, variables):  argument
27     self.assertion = assertion
37   for assertion in assertions:
38     if (assertion.variant == lastVariant and
39         assertion.variant in [TestAssertion.Variant.DAG, TestAssertion.Variant.Not]):
40       splitAssertions[-1].append(assertion)
42       splitAssertions.append([assertion])
43       lastVariant = assertion.variant
46 def findMatchingLine(assertion, c1Pass, scope, variables, excludeLines=[]):  argument
59     newVariables = MatchLines(assertion, c1Pass.body[i], variables)
62   raise MatchFailedException(assertion, scope.start, variables)
76   for assertion in assertions:
77     assert assertion.variant == TestAssertion.Variant.DAG
78     match = findMatchingLine(assertion, c1Pass, scope, variables, matchedLines)
93     for assertion in assertions:
94       assert assertion.variant == TestAssertion.Variant.Not
95       if MatchLines(assertion, line, variables) is not None:
96         raise MatchFailedException(assertion, i, variables)
99   for assertion in assertions:
100     if not EvaluateLine(assertion, variables):
101       raise MatchFailedException(assertion, scope.start, variables)
186       if e.assertion.variant == TestAssertion.Variant.Not:
193       Logger.testFailed(msg, e.assertion, e.variables)