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

/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dtraversal.py23 `TraversalContext`.
41 class TraversalContext(six.with_metaclass(abc.ABCMeta, object)): class in inherits:six.with_metaclass(abc.ABCMeta, object
59 class SimpleTraversalContext(six.with_metaclass(abc.ABCMeta, TraversalContext)):
H A D__init__.py28 TraversalContext namespace
H A Dbase.py22 from .traversal import NullContext, TraversalAction, TraversalContext namespace
174 assert context is None or isinstance(context, TraversalContext)
200 assert context is None or isinstance(context, TraversalContext)

Completed in 77 milliseconds