/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 | 223 all(isinstance(x, (Reference)) or isinstance_fallback(x, "Instance") for x in i)) 343 class Instance(ASTObject): class in inherits:ASTObject 347 super(Instance, self).__init__(location) 832 all(isinstance(x, Instance) for x in i)) 961 @ast_property("instance", lambda x: x is None or isinstance(x, (Instance, Reference))) 1004 @ast_property("source_instance", (Instance, Reference))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | scope.py | 20 from camkes.ast import ASTObject, Instance, Reference, SimpleTraversalContext, Group, Instance namespace 63 if scope_type in [Group, Instance]: 152 if isinstance(item, Instance):
|
H A D | stage5.py | 28 from camkes.ast import Composition, Group, Instance, Reference, TraversalAction namespace 43 (not isinstance(x, Instance) or x.address_space is not None) for
|
H A D | stage7.py | 30 Instance, Interface, Provides, Setting, Uses namespace 43 assert isinstance(instance, Instance) 84 if isinstance(new, Instance): 97 assert parent is None or isinstance(parent, Instance)
|
H A D | stage4.py | 30 from camkes.ast import Assembly, ASTObject, Connection, Group, Instance, \ 77 if allow_forward and (obj.type is Instance or \ 101 if isinstance(obj, (Instance, Group, Connection)) and \ 31 Interface, Reference, TraversalAction namespace
|
H A D | stage3.py | 30 Consumes, Dataport, DictLookup, Emits, Export, Group, Include, Instance, Interface, \ 292 return Composition(instances=[x for x in args if isinstance(x, Instance)], 332 instance = Reference(ref.name[:-1], Instance, ref.location) 473 return Export(Reference(ref1.name[:-1], Instance, ref1.location), 513 return Instance(component_ref, id, location) 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Model/ |
H A D | AST_Model.py | 61 Find the instance (camkes.ast.Instance object) from list of instances give. 64 :return: camkes.ast.Instance object if found, None otherwise. 67 if not isinstance(instance_object, camkes.ast.Instance): 69 assert isinstance(instance_object, camkes.ast.Instance)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage6.py | 26 from camkes.ast import Assembly, Component, Instance namespace 89 self.assertIsInstance(a, Instance) 92 self.assertIsInstance(b, Instance) 124 self.assertIsInstance(a, Instance) 128 self.assertIsInstance(b, Instance)
|
H A D | teststage5.py | 27 Export, Instance, Provides, Uses namespace 67 self.assertIsInstance(a, Instance) 70 self.assertIsInstance(b, Instance) 148 self.assertIsInstance(a1, Instance) 149 self.assertIsInstance(a2, Instance) 212 self.assertIsInstance(a1, Instance) 213 self.assertIsInstance(a2, Instance) 262 self.assertIsInstance(e.source_instance, Instance)
|
H A D | teststage4.py | 27 Composition, Connection, ConnectionEnd, Connector, Group, Instance, \ 287 self.assertIsInstance(a2, Instance) 291 self.assertIsInstance(a1, Instance) 374 self.assertIsInstance(a2, Instance) 378 self.assertIsInstance(a1, Instance) 509 self.assertIsInstance(c, Instance) 511 self.assertIsInstance(s, Instance) 565 self.assertIsInstance(c, Instance) 567 self.assertIsInstance(s, Instance) 28 LiftedAST, Procedure, Provides, Setting, Uses namespace
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | camkes_scope.py | 29 from camkes.ast import Assembly, Component, Composition, Configuration, Connection, Instance, Reference, Setting namespace 108 elif isinstance(content, Instance):
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 206 # Instance object for widget not found, probably deleted - so widget not necessary 216 assert isinstance(instance, Instance) 241 assert isinstance(from_instance, Instance) 246 assert isinstance(to_instance, Instance) 262 Sync between Instance object and InstanceWidget object 263 :param instance: the model camkes.ast.Instance to sync from 267 assert isinstance(instance, Instance) 341 :param from_instance: The camkes.ast.Instance on the From side. 342 :param from_interface: The camkes.ast.Interface associated with the From Instance 343 :param to_instance: The camkes.ast.Instance o [all...] |
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_dns_sd.tex | 29 \item \texttt{name} - Instance-name of the service. Use a descriptive name for it but not longer than 63 characters.
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 22 from camkes.ast import Composition, Instance, Parameter, Struct namespace 286 assert isinstance(instance, Instance)
|