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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py88 def ast_property(name, types): function
127 @ast_property("source", six.string_types)
128 @ast_property("relative", bool)
153 @ast_property("name", lambda x: x is None or isinstance(x, six.string_types))
154 @ast_property("composition", lambda x: isinstance(x, Reference) or isinstance_fallback(x, "Composition"))
155 @ast_property("configuration", lambda x: isinstance(x, Reference) or isinstance_fallback(x, "Configuration"))
221 @ast_property("name", lambda x: x is None or isinstance(x, six.string_types))
222 @ast_property("instances", lambda i: isinstance(i, (list, tuple)) and
224 @ast_property("connections", lambda c: isinstance(c, (list, tuple)) and
226 @ast_property("group
[all...]

Completed in 29 milliseconds