ConstraintResult

class ConstraintResult

Description

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

Variables:

• usage – the 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 outcome; check_usage() produces HOLDS / VIOLATED / UNDECIDABLE, and check_model() additionally UNSUPPORTED.

• 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
	usage	RW
	value	RW
	verdict	RW

Attributes

assertion: syside.AssertConstraintUsage = None

detail: str = None

usage: syside.Usage = None

value: object | None = None

verdict: syside.evaluation.Verdict = None

Used by

• syside.evaluation: check_model, check_usage, evaluate_assertion