Searched refs:AttributeReference (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage8.py | 26 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 D | stage7.py | 28 from camkes.ast import Assembly, ASTObject, AttributeReference, \ 75 if isinstance(new.value, AttributeReference): 30 Instance, Interface, Provides, Setting, Uses namespace
|
H A D | stage3.py | 28 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__.py | 22 from .objects import Assembly, Attribute, AttributeReference, Component, \ 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 522 @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 D | teststage4.py | 26 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