Searched refs:Include (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A D__init__.py24 Consumes, Dataport, DictLookup, Emits, Export, Group, Include, Instance, Interface, \
26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
H A Dobjects.py129 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 DConfig.mk44 # Include the architecture family's special makerules.
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage3.py30 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 Dcogent.vim99 " Include
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage3.py26 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 Dcogent-manual.tex2263 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