public void TestFormalParameters()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Function function = CreateFunction(n1, "f", "S2");
CreateParameter(function, "p1", "S1");
Compiler.Compile_Synchronous(true, true);
Case cas = CreateCase(function, "case", "");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0 1 2
// 012345678901234567890123456789
textBox.Text = "p1.";
textBox.Instance = cas;
List<ObjectReference> choices = textBox.AllChoices(2, "");
Assert.IsNotNull(choices);
Assert.AreEqual(1, choices.Count);
Assert.IsTrue(Contains(choices, el1));
}
}
public void TestFirstExpression()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Collection col = CreateCollection(n1, "Col", "S2", 10);
Variable v = CreateVariable(n1, "v", "Col");
Compiler.Compile_Synchronous(true, true);
RuleCondition rc = CreateRuleAndCondition(n1, "Rule1");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0 1 2
// 012345678901234567890123456789
textBox.Text = "(FIRST X IN v).";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(14, "");
Assert.IsNotNull(choices);
Assert.AreEqual(1, choices.Count);
Assert.IsTrue(Contains(choices, el2));
}
{
// 0 1 2
// 012345678901234567890123456789
textBox.Text = "(FIRST X IN N";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(12, "N");
Assert.IsNotNull(choices);
Assert.AreEqual(2, choices.Count);
Assert.IsTrue(Contains(choices, n1));
Assert.IsTrue(Contains(choices, "NOT"));
}
}
public void NoProposalWhenInstanceIsNull()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Variable v = CreateVariable(n1, "V", "S1");
v.setDefaultValue("N1.S1 { E1 => True }");
Compiler.Compile_Synchronous(true, true);
RuleCondition rc = CreateRuleAndCondition(n1, "Rule1");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0123456789
textBox.Text = "V <- N2.";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(7, "");
Assert.IsNotNull(choices);
Assert.AreEqual(0, choices.Count);
}
}
public void TestTemplates()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Variable v = CreateVariable(n1, "V", "S2");
v.setDefaultValue("N1.S1 { E1 => True }");
Compiler.Compile_Synchronous(true, true);
RuleCondition rc = CreateRuleAndCondition(n1, "Rule1");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0 1 2
// 012345678901234567890123456789
textBox.Text = "T";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(0, "T");
Assert.IsNotNull(choices);
Assert.AreEqual(2, choices.Count);
Assert.IsTrue(Contains(choices, "THERE_IS X IN <collection> | <condition>"));
Assert.IsTrue(Contains(choices, "TARGETS"));
}
}
public void TestSimpleExpression()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Variable v = CreateVariable(n1, "V", "S1");
v.setDefaultValue("N1.S1 { E1 => True }");
Compiler.Compile_Synchronous(true, true);
RuleCondition rc = CreateRuleAndCondition(n1, "Rule1");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0123456789
textBox.Text = "V <- N1.S";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(7, "S");
Assert.IsNotNull(choices);
Assert.AreEqual(2, choices.Count);
Assert.IsTrue(Contains(choices, s1));
Assert.IsTrue(Contains(choices, s2));
}
{
// 0123456789
textBox.Text = "V <- N1.";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(7, "");
Assert.IsNotNull(choices);
Assert.AreEqual(3, choices.Count);
Assert.IsTrue(Contains(choices, s1));
Assert.IsTrue(Contains(choices, s2));
Assert.IsTrue(Contains(choices, v));
}
{
// 0123456789
textBox.Text = "(F";
textBox.Instance = rc;
SortedSet<ObjectReference> choices = textBox.AllChoices(1, "F");
Assert.IsNotNull(choices);
Assert.AreEqual(4, choices.Count);
Assert.IsTrue(Contains(choices, "FILTER <collection> | <condition> USING X"));
Assert.IsTrue(Contains(choices, "FIRST X IN <collection> | <condition>"));
Assert.IsTrue(Contains(choices, "FORALL X IN <collection> | <condition>"));
Assert.IsTrue(Contains(choices, EfsSystem.Instance.FullDecelerationForTargetPredefinedFunction));
}
}
public void TestGetExpressionText()
{
BaseEditorTextBox textBox = new BaseEditorTextBox();
Assert.AreEqual("F", textBox.GetExpressionText("(F", 1));
}
public void TestLetExpression()
{
Dictionary test = CreateDictionary("Test");
NameSpace n1 = CreateNameSpace(test, "N1");
Structure s1 = CreateStructure(n1, "S1");
StructureElement el1 = CreateStructureElement(s1, "E1", "Boolean");
Structure s2 = CreateStructure(n1, "S2");
StructureElement el2 = CreateStructureElement(s2, "E2", "S1");
Variable v = CreateVariable(n1, "V", "S2");
v.setDefaultValue("N1.S1 { E1 => True }");
Compiler.Compile_Synchronous(true, true);
RuleCondition rc = CreateRuleAndCondition(n1, "Rule1");
BaseEditorTextBox textBox = new BaseEditorTextBox();
{
// 0 1 2
// 012345678901234567890123456789
textBox.Text = "LET d <- V.E2 IN d.E ";
textBox.Instance = rc;
List<ObjectReference> choices = textBox.AllChoices(17, "E");
Assert.IsNotNull(choices);
Assert.AreEqual(1, choices.Count);
Assert.IsTrue(Contains(choices, el1));
}
}