| /seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
| H A D | traversal.py | 38 def __call__(self, item): member in class:TraversalAction
55 def __call__(self, f): member in class:TraversalContext
65 def __call__(self, _): member in class:SimpleTraversalContext
|
| H A D | liftedast.py | 78 def __call__(self, item): member in class:Collector
|
| /seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
| H A D | dictutils.py | 37 def __call__(self, arg): member in class:Guard
|
| H A D | memoization.py | 44 def __call__(self, *args, **kwargs): member in class:memoized
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage5.py | 50 def __call__(self, item): member in class:collapse_groups.Collapser
|
| H A D | stage6.py | 44 def __call__(self, item): member in class:postcondition.Post
|
| H A D | scope.py | 124 def __call__(self, action): member in class:ForwardScopingContext
|
| H A D | stage4.py | 59 def __call__(self, obj): member in class:resolve.Resolver
|
| /seL4-camkes-master/projects/camkes-tool/tools/ |
| H A D | tpp | 32 def __call__(self, line, properties): member in class:Pass
45 def __call__(self, line, *_): member in class:RemoveDuplicateNewlines
59 def __call__(self, line, *_): member in class:Rstrip
68 def __call__(self, line, *_): member in class:DropLeadingBlankLines
81 def __call__(self, line, properties): member in class:Condense
91 def __call__(self, line, properties): member in class:LockIndent
102 def __call__(self, line, properties): member in class:Cowsay
121 def __call__(self, line, properties): member in class:Accumulate
149 def __call__(self, line, *_): member in class:CompressBrackets
159 def __call__(sel member in class:CompressBraces
168 def __call__(self, line, *_): member in class:CompressCommas
[all...] |
| /seL4-camkes-master/kernel/tools/ |
| H A D | lex.py | 118 def __call__(self, *args, **kwargs): member in class:NullLogger
717 if hasattr(t, "__call__"):
1102 if hasattr(r, "__call__"):
|