Searched refs:QueryObject (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | __init__.py | 26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
H A D | objects.py | 523 or isinstance_fallback(x, "QueryObject")) 1038 class QueryObject(ASTObject): class in inherits:ASTObject 1040 super(QueryObject, self).__init__(location)
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | query.py | 24 from camkes.ast.objects import QueryObject namespace 96 return all(not isinstance(x.value, QueryObject) for x in 120 if isinstance(s.value, QueryObject):
|
H A D | stage3.py | 32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace 760 return QueryObject(query_type, new_query_args, dict_lookup, location)
|
Completed in 62 milliseconds