public LogicNode ParseTest([PexAssumeUnderTest] LogicTree target, string parsestring) { LogicNode result = target.Parse(parsestring); return(result); // TODO: add assertions to method LogicTreeTest.ParseTest(LogicTree, String) }
static void Main(string[] args) { // Adding a change.. const string MARKER = "-------------------"; LogicTree tree = new LogicTree(); Console.WriteLine(MARKER); LogicNode root = tree.Parse("!p^q"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("p^qVr"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("p^(qVr)"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("p^!(qVr)"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("(p^q)Vr"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("p^(qVr)^s"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("(p^(qVr))"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("((p^q)Vr)"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("(!(p^(qVr)))"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); Console.WriteLine(MARKER); root = tree.Parse("(p^(!(qVr)))"); Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n"); }
public void ComplexParsingTest() { LogicTree tree = new LogicTree(); string s = "((p^(qVr)))"; LogicNode root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); }
public void othertests() { LogicTree tree = new LogicTree(); string s = "p"; LogicNode root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!p"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(!p)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!(p)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!p^q"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^qVr"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(!qVr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!(qVr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^(qVr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^!(qVr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^q)Vr"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^(qVr)^s"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^(qVr))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!(p^(qVr))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "((p^q)Vr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(!(p^(qVr)))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^(!(qVr)))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); }
public void SimpleParsingTest() { LogicTree tree = new LogicTree(); string s = "p^q"; LogicNode root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^q"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^qVr"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!p^r"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "pV!r"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^(qVr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^q)Vr"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!(p^!q)Vr"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(!p^!q)V!(!r^!s)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "p^(qVr)^s"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^(qV!r))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "((p^q)Vr)"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "!((p^q))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^!q)V(!(r^s))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(p^(!(qVr)))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "((p^q))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); s = "(!(p^q))"; root = tree.Parse(s); Assert.AreEqual(s, root.ToString()); }