ConstraintResult

class ConstraintResult

One (instance, assertion) pair and the verdict for it.

Variables:

  • instance – the concrete usage that was checked (the thing written new Def(...) or a usage carrying declarative bindings).

  • assertion – the assert constraint usage that was evaluated.

  • verdict – the three-valued outcome.

  • value – the raw value the compiler returned (None when it could not evaluate, or a non-boolean it produced); kept for diagnostics.

  • detail – a short human-readable explanation, primarily for the Verdict.UNDECIDABLE and Verdict.UNSUPPORTED cases.

Members defined in ConstraintResult (5 members)

assertion

RW

detail

RW

instance

RW

value

RW

verdict

RW

Attributes

assertion: syside.AssertConstraintUsage = None
detail: str = None
instance: syside.Usage = None
value: object | None = None
verdict: syside.evaluation.Verdict = None
Used in