Searched refs:Parse10 (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage10.py48 class Parse10(Transformer): class in inherits:Transformer
H A Dparser.py32 from .stage10 import Parse10 namespace
90 s10 = Parse10(s9)
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dtestexamples.py44 from camkes.parser.stage10 import Parse10 namespace
71 self.s10 = Parse10(self.s9)
H A Dteststage10.py39 from camkes.parser.stage10 import Parse10 namespace
54 self.parser = Parse10(s9)
H A Dteststage9.py39 from camkes.parser.stage10 import Parse10 namespace

Completed in 34 milliseconds