Searched refs:Instance (Results 1 - 15 of 15) 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.py223 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 Dscope.py20 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 Dstage5.py28 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 Dstage7.py30 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 Dstage4.py30 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 Dstage3.py30 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 DAST_Model.py61 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 Dteststage6.py26 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 Dteststage5.py27 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 Dteststage4.py27 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 Dcamkes_scope.py29 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 DGraph_Widget.py206 # 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 Dchap_api_dns_sd.tex29 \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 Dmacros.py22 from camkes.ast import Composition, Instance, Parameter, Struct namespace
286 assert isinstance(instance, Instance)

Completed in 76 milliseconds