public void ValidateSelectBoolean_ShouldReturnTrue_WhenModifies(string queryToValidate)
{
DeclarationsArray declarations = new DeclarationsArray();
// Modifies design entity relationships:
// Modifies(procedure, variable)
// Modifies(stmt, variable)
SelectValidator validator = new SelectValidator(declarations);
bool result = validator.ValidateSelectQuery(queryToValidate);
Assert.True(result);
}
public void ValidateSelect_ShouldReturnFalse_WhenSuchThatUsedIncorrectly(string queryToValidate)
{
DeclarationsArray declarations = new DeclarationsArray();
// **such that grammar rules** //
// suchthat - cl : ‘such that’ relCond
// relCond : relRef( ‘and’ relRef) *
// relRef: ModifiesP | ModifiesS | UsesP | UsesS | Calls | CallsT | Parent | ParentT |
// Follows | FollowsT | Next | NextT | Affects | AffectsT
SelectValidator validator = new SelectValidator(declarations);
bool result = validator.ValidateSelectQuery(queryToValidate);
Assert.True(result);
}
