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

Packages that use ConstructVerdict.Counterexample

Package	Description
org.ek9lang.compiler.symbolic

Uses of ConstructVerdict.Counterexample in org.ek9lang.compiler.symbolic

Methods in org.ek9lang.compiler.symbolic that return types with arguments of type ConstructVerdict.Counterexample

Modifier and Type	Method	Description
List<ConstructVerdict.Counterexample>	ConstructVerdict.counterexamples()	Returns the value of the counterexamples record component.

Constructor parameters in org.ek9lang.compiler.symbolic with type arguments of type ConstructVerdict.Counterexample

Modifier	Constructor	Description
	ConstructVerdict(String constructFqn, boolean verified, List<ConstructVerdict.Counterexample> counterexamples, List<ConstructVerdict.DeadBranch> deadBranches)	Creates an instance of a ConstructVerdict record class.