Searched refs:Parse6 (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dparser.py27 from .stage6 import Parse6 namespace
71 s6 = Parse6(s5)
H A Dstage6.py77 class Parse6(Transformer): class in inherits:Transformer
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage8.py33 from camkes.parser.stage6 import Parse6 namespace
46 s6 = Parse6(s5)
H A Dteststage9.py35 from camkes.parser.stage6 import Parse6 namespace
50 s6 = Parse6(s5)
H A Dtestexamples.py40 from camkes.parser.stage6 import Parse6 namespace
60 self.s6 = Parse6(self.s5)
H A Dteststage6.py34 from camkes.parser.stage6 import Parse6 namespace
45 self.parser = Parse6(s5)
H A Dteststage10.py35 from camkes.parser.stage6 import Parse6 namespace
50 s6 = Parse6(s5)
H A Dteststage7.py34 from camkes.parser.stage6 import Parse6 namespace
46 s6 = Parse6(s5)

Completed in 62 milliseconds