Uses of Class
org.ek9lang.compiler.phase5.SafeSymbolAccess
Packages that use SafeSymbolAccess
Package
Description
I - PRE Intermediate Representation generation checks.
-
Uses of SafeSymbolAccess in org.ek9lang.compiler.phase5
Subclasses of SafeSymbolAccess in org.ek9lang.compiler.phase5Modifier and TypeClassDescription(package private) final classCollectsCONTAINER_UNWRAPobligations from an object-access chain for the census — one perOptional.get/Result.ok/error/Iterator.nextcall, discharged byGUARDwhen the access is safe.(package private) final classIn the case of specific variables of type like 'Result' and 'Optional' it is important to check if the method being called needs a previous call to isOk or isError or just '?' before accessing specific methods.(package private) final classTHE E08040 rule: an Optional/Result/Iterator that is proven safe to unwrap in the current scope must not be re-pointed there, by ANY store - an assignment statement (o: other,o :=? other) or a construct's assignment pre-flow (if o := other then o?).