Searched refs:NotNullConstraint (Results 1 – 1 of 1) sorted by relevance
249 class NotNullConstraint : public ValueConstraint { class in __anondd300ad00111::StdLibraryFunctionsChecker273 NotNullConstraint Tmp(*this); in negate()275 return std::make_shared<NotNullConstraint>(Tmp); in negate()620 std::string StdLibraryFunctionsChecker::NotNullConstraint::describe( in describe()1185 return std::make_shared<NotNullConstraint>(ArgN); in initFunctionSummaries()