Searched refs:ast_property (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 88 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