Uses of Record Class
org.ek9lang.compiler.symbolic.ConstructVerdict

Packages that use ConstructVerdict

Package	Description
org.ek9lang.compiler.symbolic

Uses of ConstructVerdict in org.ek9lang.compiler.symbolic

Methods in org.ek9lang.compiler.symbolic that return ConstructVerdict

Modifier and Type	Method	Description
static ConstructVerdict	ConstructVerdict.notAnalysed(String constructFqn, String reason)	The verdict for a construct whose body the bounded model could not reach — not a pass.
ConstructVerdict	SymbolicEngine.verify(FunctionSymbol function)	Verify one function/program body: report the branches it proves dead and the counterexamples it finds for its undischarged obligations (divide-by-zero and callee-require violations).