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

    Modifier and Type
    Class
    Description
    (package private) final class 
    Collects CONTAINER_UNWRAP obligations from an object-access chain for the census — one per Optional.get / Result.ok/error / Iterator.next call, discharged by GUARD when the access is safe.
    (package private) final class 
    In 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 class 
    THE 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?).