| 32 | using ::testing::Property; |
| 33 | |
| 34 | TEST(ValidatorTest, AddValidationAndValidate) { |
| 35 | Validator validator; |
| 36 | validator.AddValidation(Validation([](ValidationContext& context) { |
| 37 | context.ReportError("error 1"); |
| 38 | return false; |
| 39 | })); |
| 40 | validator.AddValidation(Validation([](ValidationContext& context) { |
| 41 | context.ReportWarning("warning 1"); |
| 42 | return true; |
| 43 | })); |
| 44 | |
| 45 | Ast ast; |
| 46 | auto output = validator.Validate(ast); |
| 47 | |
| 48 | EXPECT_FALSE(output.valid); |
| 49 | EXPECT_THAT(output.issues, |
| 50 | ElementsAre(Property(&TypeCheckIssue::message, Eq("error 1")), |
| 51 | Property(&TypeCheckIssue::message, Eq("warning 1")))); |
| 52 | EXPECT_EQ(output.issues[0].severity(), TypeCheckIssue::Severity::kError); |
| 53 | EXPECT_EQ(output.issues[1].severity(), TypeCheckIssue::Severity::kWarning); |
| 54 | } |
| 55 | |
| 56 | TEST(ValidatorTest, ReportAt) { |
| 57 | Validator validator; |
nothing calls this directly
no test coverage detected