private void Start()
{
Result <Formula>[] result = ModelParser.ParseSentences(_input);
if (result[0].IsValid)
{
if (result[0].Value is Predicate predicate)
{
Debug.Log("Predicate:" + predicate.Identifier);
Debug.Log("Argument:" + ((Constant)predicate.Arguments[0]).Value);
}
}
List <string> sentences = new List <string> {
"Tet(a)"
};
List <string> arguments = new List <string> {
"a"
};
List <string> predicates = new List <string> {
"Tet"
};
List <DataStruct> dataStructs = new List <DataStruct> {
new DataStruct(arguments, predicates, 0, 0)
};
var resultValidate = ModelValidater.ValidateModel(dataStructs, sentences);
Debug.Log("Sentence is " + resultValidate.Value[0]);
}
private void Validate(List <GUI_TextInputElement> elements, List <string> sentences, List <DataStruct> boardInfo)
{
Result <List <bool> > resultValidate = ModelValidater.ValidateModel(boardInfo, sentences);
var inputElements = _textInputField.GetTextInputElement();
for (int i = 0; i < resultValidate.Value.Count; i++)
{
elements[i].Validate(resultValidate.Value[i]);
}
}
public void ModelValidater_Parsing_InvalidSentence()
{
List <string> sentences = new List <string> {
"Tet325332"
};
List <string> arguments = new List <string> {
"a"
};
List <string> predicates = new List <string> {
"Tet"
};
List <DataStruct> dataStructs = new List <DataStruct> {
new DataStruct(arguments, predicates, 0, 0)
};
var result = ModelValidater.ValidateModel(dataStructs, sentences);
Assert.IsFalse(result.Value[0]);
}
public void ModelValidater_Parsing_InvalidIdentifier()
{
List <string> sentences = new List <string> {
"Tet(a)"
};
List <string> arguments = new List <string> {
"a"
};
List <string> identifier = new List <string> {
"Tet("
};
List <DataStruct> dataStructs = new List <DataStruct> {
new DataStruct(arguments, identifier, 0, 0)
};
var result = ModelValidater.ValidateModel(dataStructs, sentences);
Assert.IsFalse(result.Value[0]);
}
public void ModelValidater_ValidateOnePredicateNoConstantOneSentence_IsTrue()
{
List <string> sentences = new List <string> {
"Tet(a)"
};
List <string> arguments = new List <string> {
""
};
List <string> predicates = new List <string> {
"Tet"
};
List <DataStruct> dataStructs = new List <DataStruct> {
new DataStruct(arguments, predicates, 0, 0)
};
var result = ModelValidater.ValidateModel(dataStructs, sentences);
Assert.IsTrue(result.IsValid, "Validatemodel result is not valid" + result.Message);
Assert.IsFalse(result.Value[0], "Sentence should be false");
}
