def AaParse.load.file
bend-osdev-apparmor@0.1.0.0 · parse.bend:1838
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
import Base
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/options.bend as O
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
1838def AaParse.load.file(m: Maybe<&2, AaSrcFile>, +opts: O.AaOptions, +files: List<&2, AaSrcFile>, +main: List<&2, U32>) -> Result<&2, &2, E.AaError, PR.AaPolicy>:
1839 match m:
1840 case None{}:
1841 Fail{E.AaErrInclude{main, 0}}
1842 case Some{f}:
1843 match f:
1844 case AaSrcFile{n, text}:
1845 +items = AaExpOut.items(AaParse.expand(O.AaOptions.depth(opts), AaParse.items(main, text), files, [[main]], Nil{}))
1846 AaParse.load.items(AaParse.first_error(items), items, opts, E.AaSrc{main, 0})