Uses of Record Class org.ek9lang.compiler.symbolic.ConstructVerdict.ProvedSafe (compiler-main 0.0.1-SNAPSHOT API)

Packages that use ConstructVerdict.ProvedSafe

Package

Description

org.ek9lang.compiler.symbolic

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

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

Modifier and Type

Method

Description

List<ConstructVerdict.ProvedSafe>

ConstructVerdict.provedSafe()

Returns the value of the provedSafe record component.