public void ValidateWith_ShouldReturnTrue(string queryToValidate) { QueryValidator validator = new QueryValidator(); bool result = validator.ValidateQuery(queryToValidate); Assert.True(result); }
public void ValidateQuery_ShouldReturnTrue(string queryToValidate) { QueryValidator validator = new QueryValidator(); bool result = validator.ValidateQuery(queryToValidate); Assert.True(result, $"{queryToValidate} should return true"); }
public void ValidateQuery_SelectSuchThat_InvalidQueries(string queryToValidate) { QueryValidator validator = new QueryValidator(); var result = validator.ValidateQuery(queryToValidate); Assert.True(result); }
public void ValidateQuery_ShouldReturnTrue_WhenTheSameVariablesDefinedWithLowerAndUpperCase() { // Can we declare lower and uppercase? (Compare with how PipeTester works) QueryValidator validator = new QueryValidator(); bool result = validator.ValidateQuery("Procedure p; While P; Select P"); Assert.True(result); }
public void ValidateSelectBoolean_ShouldReturnFalse_WhenModifiesIsAmbiguous() { // Use of underscore must not lead to ambiguities. For example, the following query should be rejected // as incorrect as it is not clear if underscore refers to a statement or to a procedure QueryValidator validator = new QueryValidator(); bool result = validator.ValidateQuery("select boolean such that Modifies (_, \"x\")"); Assert.False(result); }
public void ValidateQuery_ShouldReturnFalse_WhenTheSameVariablesAreDefined() { // arrange QueryValidator validator = new QueryValidator(); // act Action act = () => validator.ValidateQuery("Procedure p; While p; Select p"); // assert Assert.Throws <InvalidQueryException>(act); }
public void ValidateQuery_ShouldReturnFalse_WhenNotExistingDeclarationIsUsed(string queryToValidate) { // arrange QueryValidator validator = new QueryValidator(); // act Action act = () => validator.ValidateQuery(queryToValidate); // assert Assert.Throws <InvalidQueryException>(act); }