Home | History | Annotate | Download | only in Checkers

Lines Matching full:callback

31 /// This checker documents the callback functions checkers can use to implement
64 /// callback can be specialized to be called with any subclass of Stmt.
66 /// See checkBranchCondition() callback for performing custom processing of
77 /// callback can be specialized to be called with any subclass of Stmt.
104 /// beginning of your callback function.
142 /// This callback should be used by the checkers to aggressively clean
165 /// This callback should be used in cases when a checker needs to have a
187 /// state. This callback allows a checker to provide domain specific knowledge
202 /// condition at a branch. The callback allows checkers track the assumptions
244 /// Note that this callback will not be invoked unless
282 /// An AST traversal callback, which should only be used when the checker is