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);
}