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