Searched refs:NotNullConstraint (Results 1 – 1 of 1) sorted by relevance
254 class NotNullConstraint : public ValueConstraint { class in __anon09a2c6cc0111::StdLibraryFunctionsChecker278 NotNullConstraint Tmp(*this); in negate()280 return std::make_shared<NotNullConstraint>(Tmp); in negate()780 std::string StdLibraryFunctionsChecker::NotNullConstraint::describe( in describe()1371 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()