Searched refs:AttributeReference (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage8.py26 from camkes.ast import AttributeReference namespace
39 return all(not isinstance(x.value, AttributeReference) for x in
55 if isinstance(s.value, AttributeReference):
78 # TODO Refactor AttributeReference to handle namespacing better than a
105 if isinstance(referents[0].value, AttributeReference):
121 if isinstance(setting.value, AttributeReference):
H A Dstage7.py28 from camkes.ast import Assembly, ASTObject, AttributeReference, \
75 if isinstance(new.value, AttributeReference):
30 Instance, Interface, Provides, Setting, Uses namespace
H A Dstage3.py28 from camkes.ast import Assembly, Attribute, AttributeReference, Component, \
198 return AttributeReference('.'.join(args), dict_lookup, location)
32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A D__init__.py22 from .objects import Assembly, Attribute, AttributeReference, Component, \
26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
H A Dobjects.py522 @ast_property("value", lambda x: isinstance(x, (numbers.Number, list, tuple, frozendict, dict, six.string_types)) or isinstance_fallback(x, "AttributeReference")
1020 class AttributeReference(ASTObject): class in inherits:ASTObject
1022 super(AttributeReference, self).__init__(location)
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage4.py26 from camkes.ast import Assembly, AttributeReference, Component, \
243 self.assertIsInstance(b_b_str.value, AttributeReference)
28 LiftedAST, Procedure, Provides, Setting, Uses namespace

Completed in 91 milliseconds