Home | History | Annotate | Download | only in Checkers

Lines Matching refs:get_context

2005   CStringLengthTy::Factory &F = state->get_context<CStringLength>();
2057   CStringLengthTy::Factory &F = state->get_context<CStringLength>();