Searched refs:Include (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | __init__.py | 24 Consumes, Dataport, DictLookup, Emits, Export, Group, Include, Instance, Interface, \ 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 129 class Include(ASTObject): class in inherits:ASTObject 131 super(Include, self).__init__(location) 593 all(isinstance_fallback(x, "Include") for x in i)) 848 all(isinstance(x, Include) for x in i))
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | Config.mk | 44 # Include the architecture family's special makerules.
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 30 Consumes, Dataport, DictLookup, Emits, Export, Group, Include, Instance, Interface, \ 254 return Component(includes=[x for x in args if isinstance(x, Include)], 496 return Include(''.join(str(x.tail[0][1:-1]) for x in source.tail), True, 501 return Include(source.tail[0][1:-1], False, location) 643 return Procedure(includes=[x for x in args if isinstance(x, Include)], 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
/seL4-camkes-master/tools/cogent/cogent/misc/ |
H A D | cogent.vim | 99 " Include
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage3.py | 26 from camkes.ast import Component, Configuration, Include, LiftedAST, \ 1101 self.assertIsInstance(include, Include) 1119 self.assertIsInstance(include, Include) 27 Procedure, Setting namespace
|
/seL4-camkes-master/tools/cogent/cogent/manual/ |
H A D | cogent-manual.tex | 2263 Include 2268 \indprod{Include}{ 2283 Include statements are transitive, if an included file contains include statements they are executed as well. 2298 Include 2648 Include 2652 \gramprod{Include}{
|
Completed in 61 milliseconds