Searched refs:Attribute (Results 1 - 5 of 5) sorted by relevance

/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.py541 if isinstance(value, (Attribute, Reference)):
564 all(isinstance_fallback(x, "Attribute") for x in a))
605 all(isinstance_fallback(x, "Attribute") for x in a))
792 all(isinstance_fallback(y, "Attribute") for y in value))
852 all(isinstance(x, Attribute) for x in a))
907 class Attribute(ASTObject): class in inherits:ASTObject
909 super(Attribute, self).__init__(location)
936 super(Attribute, self).freeze()
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dcamkes_lint.py107 elif not isinstance(insttest.args[0], (ast.Name, ast.Attribute)):
121 elif isinstance(insttest.args[0], ast.Attribute) and \
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage3.py28 from camkes.ast import Assembly, Attribute, AttributeReference, Component, \
160 return Attribute(scalar_parameter.type, scalar_parameter.name, True, default=None, location=location)
189 return Attribute(attribute_param.type, attribute_param.name, attribute_param.array, default, location)
262 attributes=[x for x in args if isinstance(x, Attribute)],
403 assert isinstance(args[0], Attribute), 'unexpected child of ' \
645 attributes=[x for x in args if isinstance(x, Attribute)],
680 return Attribute(type, name, array=False, default=None, location=location)
32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
/seL4-camkes-master/kernel/manual/parts/
H A Dvspace.tex291 Attribute & Meaning \\
309 Attribute & Meaning \\

Completed in 91 milliseconds