The ids of the screens of Registry that are reachable from the screen
Start by following the registry's own edges — the screens', their items'
and their action edges' — with Start itself included. It is a
registry-derived set, never a hand-written list: a screen an edge starts
leading to joins the set by the edge's declaration alone.
The platform packages use it for facts the registry implies but does not
state — Android reads the pre-session screen set as the screens reachable
from the login home: a checkpoint taken on one of them is a process without
a session, while a checkpoint taken anywhere else belongs to a signed-in
process. An edge cycle terminates because a round only adds screens no
earlier round reached.
The ids of the screens of
Registrythat are reachable from the screenStartby following the registry's own edges — the screens', their items' and their action edges' — withStartitself included. It is a registry-derived set, never a hand-written list: a screen an edge starts leading to joins the set by the edge's declaration alone.The platform packages use it for facts the registry implies but does not state — Android reads the pre-session screen set as the screens reachable from the login home: a checkpoint taken on one of them is a process without a session, while a checkpoint taken anywhere else belongs to a signed-in process. An edge cycle terminates because a round only adds screens no earlier round reached.