public void ReplaceLiterals(string n1, string t1, string t2, string expectedResult, Refactorization r) { string resultStr = string.Empty; if (r == Refactorization.Current) { Name result = null; var name = Name.BuildName(n1); for (long i = 0; i < reps; i++) { result = name.SwapTerms((Name)t1, (Name)t2); } resultStr = RemoveWhiteSpace(result.ToString()); } else if (r == Refactorization.New) { SimpleName result = null; var name = new SimpleName(n1); for (long i = 0; i < reps; i++) { result = SimpleWFN.ReplaceLiterals(name, t1, t2); } resultStr = result.ToString(); } Assert.That(string.Equals(resultStr, expectedResult, StringComparison.InvariantCultureIgnoreCase)); }
public void Add_Variable_Tag_SimpleWFN(string n1, string tag, string expectedResult, Refactorization r) { string result = string.Empty; if (r == Refactorization.New) { SimpleName name = new SimpleName(n1); SimpleName resName = null; for (long i = 0; i < reps; i++) { resName = SimpleWFN.AddVariableTag(name, tag); } result = resName.ToString(); } else if (r == Refactorization.Current) { Name name = Name.BuildName(n1); Name resName = null; for (long i = 0; i < reps; i++) { resName = name.ReplaceUnboundVariables("_tag"); } result = RemoveWhiteSpace(resName.ToString()); } Assert.AreEqual(expectedResult, result); }
public void MakeGround_GroundedName(string n1, string var, string sub, string expectedResult, Refactorization r) { String result = string.Empty; if (r == Refactorization.New) { var name = new SimpleName(n1); SimpleName nameResult = null; Dictionary <string, SimpleName> subs = new Dictionary <string, SimpleName>(); subs[var] = new SimpleName(sub); for (long i = 0; i < reps; i++) { nameResult = SimpleWFN.MakeGround(name, subs); } result = nameResult.ToString(); } else if (r == Refactorization.Current) { var name = Name.BuildName(n1); Name nameResult = null; SubstitutionSet subSet = new SubstitutionSet(); subSet.AddSubstitution(new Substitution("[x]/J(I)")); for (long i = 0; i < reps; i++) { nameResult = name.MakeGround(subSet); } } Assert.AreEqual(expectedResult, result); }
public void HasSelf(string nStr, bool expectedResult, Refactorization r) { bool result = false; if (r == Refactorization.Current) { var name = Name.BuildName(nStr); for (long i = 0; i < reps; i++) { result = name.HasSelf(); } } else if (r == Refactorization.New) { var name = new SimpleName(nStr); for (long i = 0; i < reps; i++) { result = SimpleWFN.HasSelf(name); } } Assert.AreEqual(expectedResult, result); }
public void MatchNames_False(string n1, string n2, Refactorization r) { bool result = true; if (r == Refactorization.Current) { var name = Name.BuildName(n1); var name2 = Name.BuildName(n2); for (long i = 0; i < reps; i++) { result = name.Match(name2); } } else if (r == Refactorization.New) { var name = new SimpleName(n1); var name2 = new SimpleName(n2); for (long i = 0; i < reps; i++) { result = SimpleWFN.Match(name, name2); } } Assert.IsFalse(result); }