Exemplo n.º 1
0
    static void TestRewriteRefine()
    {
        var spec = new Racr.Specification();


        spec.AstRule("S->A");
        spec.AstRule("A->a");
        spec.AstRule("Aa:A->b-c");
        spec.CompileAstSpecifications("S");
        spec.CompileAgSpecifications();

        var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "A", 1));
        var A   = ast.Child("A");

        Console.WriteLine("{0}", A.NumChildren() == 1);
        Console.WriteLine("{0}", A.NodeType() == "A");

        A.RewriteRefine("Aa", 2, 3);

        Console.WriteLine("{0}", A.NumChildren() == 3);
        Console.WriteLine("{0}", A.NodeType() == "Aa");

        foreach (var c in A.Children())
        {
            Console.WriteLine(c);
        }
    }
Exemplo n.º 2
0
    // Widgets:

    [AgRule("Widget", "Form")] static Control FormWidget(Ast n)
    {
        var form = new System.Windows.Forms.Form();

        form.Text    = "Questionnaire";
        form.Closed += (object sender, EventArgs e) => { Application.Exit(); };

        var file = new MenuItem("&File");
        var save = new MenuItem("&Save");
        var quit = new MenuItem("&Quit");

        save.Click += (object sender, EventArgs e) => { SaveQuestionnaire(n); };
        quit.Click += (object sender, EventArgs e) => { Application.Exit(); };
        file.MenuItems.Add(save);
        file.MenuItems.Add(quit);
        form.Menu = new MainMenu();
        form.Menu.MenuItems.Add(file);

        var contentBox = new FlowLayoutPanel();

        contentBox.AutoSize      = true;
        contentBox.AutoScroll    = true;
        contentBox.Dock          = DockStyle.Fill;
        contentBox.FlowDirection = FlowDirection.TopDown;
        contentBox.WrapContents  = false;
        form.Controls.Add(contentBox);
        form.Show();
        return(contentBox);
    }
Exemplo n.º 3
0
    private static bool OpenQuestionnaire()
    {
        var fd   = new OpenFileDialog();
        Ast next = null;

        while (fd.ShowDialog() == DialogResult.OK)
        {
            try {
                var parser = new Parser(QL, File.ReadAllText(fd.FileName));
                next = parser.ParseAst();
                break;
            } catch { }
        }
        fd.Dispose();
        if (next != null)
        {
            UpdateQuestions(next);
            next.Render();
            return(true);
        }
        else
        {
            return(false);
        }
    }
Exemplo n.º 4
0
    [Test] public void TestRewriteSubtree()
    {
        var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "A", 42, new Racr.AstNode(spec, "B")));
        var A   = ast.Child("A");
        var B1  = A.Child("B1");

        Assert.IsTrue(A.HasParent());
        Assert.AreEqual(A.NumChildren(), 2);
        Assert.AreEqual(A.NodeType(), "A");
        Assert.AreEqual(A.Child <int>(1), 42);
        Assert.AreEqual(A.Child(2), B1);

        A.RewriteSubtree(new Racr.AstNode(spec, "Aa", 1, new Racr.AstNode(spec, "B"), new Racr.AstNode(spec, "B"), 42));
        Assert.IsFalse(A.HasParent());
        Assert.AreEqual(A.NumChildren(), 2);
        Assert.AreEqual(A.NodeType(), "A");
        Assert.AreEqual(A.Child <int>(1), 42);
        Assert.AreEqual(A.Child(2), B1);

        A = ast.Child("A");
        Assert.IsTrue(A.HasParent());
        Assert.AreEqual(A.NumChildren(), 4);
        Assert.AreEqual(A.NodeType(), "Aa");
        Assert.AreEqual(A.Child <int>(1), 1);
        Assert.AreNotEqual(A.Child(2), B1);
        Assert.AreEqual(A.Child(2).NodeType(), "B");
        Assert.AreEqual(A.Child(3).NodeType(), "B");
        Assert.AreEqual(A.Child <int>(4), 42);
    }
Exemplo n.º 5
0
    static ValueTypes ComputationType(Racr.AstNode n)
    {
        var op       = n.GetOperator();
        var inType   = ValueTypes.ErrorType;
        var outType  = ValueTypes.ErrorType;
        var operands = n.GetOperands().Children();

        if (op == "&&" || op == "//" || op == "not")
        {
            inType = outType = ValueTypes.Boolean;
        }
        else if (op == "=" || op == "<" || op == ">" || op == "<=" || op == ">=" || op == "!=")
        {
            inType  = ValueTypes.Number;
            outType = ValueTypes.Boolean;
        }
        else if (op == "string=?" || op == "string<?" || op == "string>?" || op == "string<=?" || op == "string>=?")
        {
            inType  = ValueTypes.String;
            outType = ValueTypes.Boolean;
        }
        else if (op == "+" || op == "-" || op == "*" || op == "/")
        {
            inType = outType = ValueTypes.Number;
        }
        else if (op == "string-append")
        {
            inType = outType = ValueTypes.String;
        }
        if (operands.Any(x => ((Racr.AstNode)x).Type() != inType))
        {
            return(ValueTypes.ErrorType);
        }
        return(outType);
    }
Exemplo n.º 6
0
    [Test] public void TestRewriteAbstract()
    {
        var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "Aa", 1, new Racr.AstNode(spec, "B"), new Racr.AstNode(spec, "B"), 4));
        var A   = ast.Child("A");
        var B1  = A.Child("B1");
        var B2  = A.Child("B2");

        Assert.IsTrue(A.HasParent());
        Assert.AreEqual(A.NumChildren(), 4);
        Assert.AreEqual(A.NodeType(), "Aa");
        Assert.AreEqual(A.Child <int>(1), 1);
        Assert.AreEqual(A.Child(2), B1);
        Assert.AreEqual(A.Child(3), B2);
        Assert.AreEqual(A.Child <int>(4), 4);

        var c = A.RewriteAbstract("A");

        Assert.AreEqual(c.Length, 2);
        Assert.AreEqual(c[0], B2);
        Assert.AreEqual(c[1], 4);

        Assert.IsTrue(A.HasParent());
        Assert.AreEqual(A.NumChildren(), 2);
        Assert.AreEqual(A.NodeType(), "A");
        Assert.AreEqual(A.Child <int>(1), 1);
        Assert.AreEqual(A.Child(2), B1);
    }
Exemplo n.º 7
0
    [AgRule("Widget", "OrdinaryQuestion")] static Control OrdinaryQuestionWidget(Ast n)
    {
        QDialog dialog = n.Dialog();

        ((Control)dialog).Enabled = true;
        EventHandler h = (object o, EventArgs a) => {
            if (!((Control)o).ContainsFocus)
            {
                return;                                          // TODO: For which reason is this check needed?
            }
            n.SetValue(dialog.GetValue());
            n.Root().Render();
        };

        dialog.AddEventHandler(h);

        var contentBox = new FlowLayoutPanel();

        contentBox.AutoSize      = true;
        contentBox.WrapContents  = false;
        contentBox.FlowDirection = FlowDirection.LeftToRight;
        var label = new Label();

        label.Text     = n.GetLabel();
        label.AutoSize = true;
        label.Anchor   = AnchorStyles.Left;
        contentBox.Controls.Add(label);
        contentBox.Controls.Add((Control)dialog);

        n.Parent().Widget().Controls.Add(contentBox);
        return(contentBox);
    }
Exemplo n.º 8
0
    static void TestRewriteAbstract()
    {
        var spec = new Racr.Specification();

        spec.AstRule("S->A");
        spec.AstRule("A->a");
        spec.AstRule("Aa:A->b-c");
        spec.CompileAstSpecifications("S");
        spec.CompileAgSpecifications();

        var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "Aa", 1, 2, 3));
        var A   = ast.Child("A");

        Console.WriteLine(A.NumChildren() == 3);
        Console.WriteLine(A.NodeType() == "Aa");

        var c = A.RewriteAbstract("A");

        foreach (var x in c)
        {
            Console.WriteLine(x);
        }

        Console.WriteLine(A.NumChildren() == 1);
        Console.WriteLine(A.NodeType() == "A");
    }
Exemplo n.º 9
0
 static Racr.AstNode QuestionLLookup(Racr.AstNode n, string name)
 {
     if (n.GetName() == name)
     {
         return(n);
     }
     return(null);
 }
Exemplo n.º 10
0
 [AgRule("LLookup", "Question")] static Ast QuestionLLookup(Ast n, string name)
 {
     if (n.GetName() == name)
     {
         return(n);
     }
     return(null);
 }
Exemplo n.º 11
0
 private static Racr.AstList MakeDefinitions(int constants)
 {
     Racr.AstNode[] defs = new Racr.AstNode[constants];
     for (var i = 0; i < constants; i++)
     {
         defs[i] = CL.CreateAst("Definition", "d" + i, i / 10.0);
     }
     return(CL.CreateAstList(defs));
 }
Exemplo n.º 12
0
    [AgRule("IsLValid", "Question")] static bool QuestionIsLValid(Ast n)
    {
        if (n.Type() == Types.ErrorType)
        {
            return(false);
        }
        var prev = n.GLookup(n.GetName());

        return(prev.IsErrorQuestion() || n.Type() == prev.Type());
    }
Exemplo n.º 13
0
    static bool QuestionIsLValid(Racr.AstNode n)
    {
        if (n.Type() == ValueTypes.ErrorType)
        {
            return(false);
        }
        var prev = n.GLookup(n.GetName());

        return(prev.IsErrorQuestion() || n.Type() == prev.Type());
    }
Exemplo n.º 14
0
    static object ComputationValue(Racr.AstNode n)
    {
        var op       = n.GetOperator();
        var operands = n.GetOperands().Children();
        var args     = operands.Select(p => ((Racr.AstNode)p).Value()).ToArray();
        var func     = opTable[op];

        try { return(func(args)); }
        catch { return(null); }
    }
Exemplo n.º 15
0
    static Racr.AstNode ElementFindActive(Racr.AstNode n, string name)
    {
        var current = n.GLookup(name);

        while (!current.IsActive())
        {
            current = current.GLookup(name);
        }
        return(current);
    }
Exemplo n.º 16
0
    [AgRule("Value", "Use")] static object UseValue(Ast n)
    {
        if (n.Type() == Types.ErrorType)
        {
            return(ErrorValue);
        }
        var active = n.FindActive(n.GetName());

        return(active.Type() == n.Type() ? active.Value() : ErrorValue);
    }
Exemplo n.º 17
0
    [AgRule("Value", "OrdinaryQuestion")] static object OrdinaryQuestionValue(Ast n)
    {
        if (n.Type() == Types.ErrorType)
        {
            return(ErrorValue);
        }
        var acceptor = TypeToAcceptor(n.Type());         // acceptor is never null

        return(acceptor(n.GetValue()) ? n.GetValue() : ErrorValue);
    }
Exemplo n.º 18
0
    // Interpretation:

    [AgRule("FindActive", "Element")] static Ast ElementFindActive(Ast n, string name)
    {
        var current = n.GLookup(name);

        while (!current.IsActive())
        {
            current = current.GLookup(name);
        }
        return(current);
    }
Exemplo n.º 19
0
    private static void SaveQuestionnaire(Ast current)
    {
        var fd = new SaveFileDialog();

        if (fd.ShowDialog() == DialogResult.OK && fd.FileName != "")
        {
            File.WriteAllText(fd.FileName, current.SExpr());
        }
        fd.Dispose();
    }
Exemplo n.º 20
0
    static bool GroupIsActive(Racr.AstNode n)
    {
        var v = n.GetExpression().Value();

        if (v == null)
        {
            return(false);
        }
        return((bool)v);
    }
Exemplo n.º 21
0
 private static void AddNode(Racr.AstNode n)
 {
     Racr.AstNode c = FlipCoin() ? n.GetOp1() : n.GetOp2();
     if (c.IsBudNode())
     {
         c.RewriteSubtree(NewNode());
     }
     else
     {
         AddNode(c);
     }
 }
Exemplo n.º 22
0
    // Name Analysis:

    static Ast findL(string name, Ast l, int i)
    {
        for (int j = 1; j <= i; j++)
        {
            var r = l.Child(j).LLookup(name);
            if (r != null)
            {
                return(r);
            }
        }
        return(null);
    }
Exemplo n.º 23
0
    [AgRule("Widget", "Group")] static Control GroupWidget(Ast n)
    {
        var contentBox = new FlowLayoutPanel();

        contentBox.AutoSize      = true;
        contentBox.BorderStyle   = BorderStyle.Fixed3D;
        contentBox.Dock          = DockStyle.Fill;
        contentBox.FlowDirection = FlowDirection.TopDown;
        contentBox.WrapContents  = false;
        n.Parent().Widget().Controls.Add(contentBox);
        return(contentBox);
    }
Exemplo n.º 24
0
    static Control GroupWidget(Racr.AstNode n)
    {
        var panel = new FlowLayoutPanel();

        panel.AutoSize      = true;
        panel.BorderStyle   = BorderStyle.Fixed3D;
        panel.Dock          = DockStyle.Fill;
        panel.FlowDirection = FlowDirection.TopDown;
        panel.WrapContents  = false;
        n.Parent().Widget().Controls.Add(panel);
        return(panel);
    }
Exemplo n.º 25
0
    private void test(int nodes, int constants, int rewrites)
    {
        CalculatorProfiler.InitialiseRandom();
        Racr.AstNode c1 = CalculatorProfiler.ProfileRacrNet(nodes, constants, rewrites, false);
        CalculatorProfiler.InitialiseRandom();
        Object c2 = CalculatorProfiler.ProfileRacrScheme(nodes, constants, rewrites, false);

        Assert.AreEqual(
            c1.PrintAst(),
            @"(call-with-string-output-port
				(lambda (port)
					(print-ast {0} (list) port)))"                    .Eval(c2));
        Assert.AreEqual(c1.Eval(), (double)"(=eval {0})".Eval(c2));
    }
Exemplo n.º 26
0
    static Control FormWidget(Racr.AstNode n)
    {
        var form = new System.Windows.Forms.Form();

        form.Text = "Questionnaire";
        var file = new MenuItem("&File");
        var open = new MenuItem("&Open");
        var save = new MenuItem("&Save");
        var quit = new MenuItem("&Quit");

        open.Click += (object sender, EventArgs e) => {
            var ofd = new OpenFileDialog();
            if (ofd.ShowDialog() == DialogResult.OK)
            {
                var parser = new Parser(QL.Ql, File.ReadAllText(ofd.FileName));
                var ast    = parser.ParseAst();
                ast.Render();
                Questionnaire.UpdateQuestions(ast);
                form.Closed -= FormClosed;
                form.Close();
            }
        };
        save.Click += (object sender, EventArgs e) => {
            var sfd = new SaveFileDialog();
            if (sfd.ShowDialog() == DialogResult.OK && sfd.FileName != "")
            {
                File.WriteAllText(sfd.FileName, n.SExpr());
            }
        };
        quit.Click  += (object sender, EventArgs e) => form.Close();
        form.Closed += FormClosed;

        file.MenuItems.Add(open);
        file.MenuItems.Add(save);
        file.MenuItems.Add(quit);
        form.Menu = new MainMenu();
        form.Menu.MenuItems.Add(file);

        var panel = new FlowLayoutPanel();

        panel.AutoSize      = true;
        panel.AutoScroll    = true;
        panel.Dock          = DockStyle.Fill;
        panel.FlowDirection = FlowDirection.TopDown;
        panel.WrapContents  = false;
        form.Controls.Add(panel);
        form.Show();
        return(panel);
    }
Exemplo n.º 27
0
    static Control ComputedQuestionWidget(Racr.AstNode n)
    {
        Widget w;

        if (n.Type() == ValueTypes.Boolean)
        {
            w = new CheckWidget(n.GetLabel(), false);
        }
        else
        {
            w = new TextWidget(n.GetLabel(), false);
        }
        n.Parent().Widget().Controls.Add(w);
        return(w);
    }
Exemplo n.º 28
0
    private static void SaveQuestionnaire(Ast current)
    {
        FileChooserDialog fc = new FileChooserDialog(
            "Select where to save questionnaire",
            null,
            FileChooserAction.Save,
            "Cancel", ResponseType.Cancel,
            "Save questionnaire", ResponseType.Accept);

        fc.SetPosition(WindowPosition.Center);
        if (fc.Run() == (int)ResponseType.Accept)
        {
            File.WriteAllText(fc.Filename, current.SExpr());
        }
        fc.Destroy();
    }
Exemplo n.º 29
0
    // Question dialogs:

    [AgRule("Dialog", "Question")] static QDialog QuestionDialogType(Ast n)
    {
        switch (n.Type())
        {
        case Types.Boolean:
            return(new QCheckBoxDialog());

        case Types.Number:
        case Types.String:
        case Types.ErrorType:
            return(new QTextFieldDialog(n));

        default:
            throw new NotImplementedException(
                      "No dialog for [" + n.Type() + "] implemented.");
        }
    }
Exemplo n.º 30
0
 [AgRule("Render", "Group")] static bool GroupRender(Ast n)
 {
     foreach (Ast c in n.GetBody().Children())
     {
         if (c.IsShown())
         {
             c.Render();
             c.Widget().Show();
         }
         else
         {
             c.Widget().Hide();
         }
     }
     n.Widget().Show();
     return(true);
 }
Exemplo n.º 31
0
	static void TestRewriteRefine() {
		var spec = new Racr.Specification();


		spec.AstRule("S->A");
		spec.AstRule("A->a");
		spec.AstRule("Aa:A->b-c");
		spec.CompileAstSpecifications("S");
		spec.CompileAgSpecifications();

		var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "A", 1));
		var A = ast.Child("A");

		Console.WriteLine("{0}", A.NumChildren() == 1);
		Console.WriteLine("{0}", A.NodeType() == "A");

		A.RewriteRefine("Aa", 2, 3);

		Console.WriteLine("{0}", A.NumChildren() == 3);
		Console.WriteLine("{0}", A.NodeType() == "Aa");

		foreach (var c in A.Children()) Console.WriteLine(c);

	}
Exemplo n.º 32
0
	static void TestRewriteAbstract() {
		var spec = new Racr.Specification();

		spec.AstRule("S->A");
		spec.AstRule("A->a");
		spec.AstRule("Aa:A->b-c");
		spec.CompileAstSpecifications("S");
		spec.CompileAgSpecifications();

		var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "Aa", 1, 2, 3));
		var A = ast.Child("A");

		Console.WriteLine(A.NumChildren() == 3);
		Console.WriteLine(A.NodeType() == "Aa");

		var c = A.RewriteAbstract("A");
		foreach (var x in c) Console.WriteLine(x);

		Console.WriteLine(A.NumChildren() == 1);
		Console.WriteLine(A.NodeType() == "A");

	}
Exemplo n.º 33
0
	static void TestRewriteSubtree() {
		var spec = new Racr.Specification();

		spec.AstRule("S->A");
		spec.AstRule("A->a");
		spec.AstRule("Aa:A->b-c");
		spec.CompileAstSpecifications("S");
		spec.CompileAgSpecifications();

		var ast = new Racr.AstNode(spec, "S", new Racr.AstNode(spec, "A", 42));
		var A = ast.Child("A");

		Console.WriteLine(A.HasParent());
		Console.WriteLine(ast.Child("A").NodeType());

		A.RewriteSubtree(new Racr.AstNode(spec, "Aa", 1, 2, 3));

		Console.WriteLine(A.HasParent());
		Console.WriteLine(ast.Child("A").NodeType());
	}
Exemplo n.º 34
0
	static void TestFoo() {

		var spec = new MySpec();

		var root = new Racr.AstNode(spec, "A",
		                            new Racr.AstList(
			new B(spec, "abc"),
			new B(spec, "123"),
			new B(spec, "xyz")),
		                            new Racr.AstNode(spec, "C"),
		                            "hiya");


		root.ForEachChild((i, o) => {
			var node = o as Racr.AstNode;
			if (node != null)
				Console.WriteLine("{0}: {1}", i, node.NodeType());
			else
				Console.WriteLine("{0}: {1}", i, o);
		}, new Racr.Range(2));


		Console.WriteLine("---");


		Console.WriteLine("M: {0}", root.M());
		Console.WriteLine("N: {0}", root.N());

		Console.WriteLine("a: {0}", root.AttValue("a"));
		Console.WriteLine("b: {0}", root.AttValue("b", 3));

		Console.WriteLine("kids: {0}", root.AttValue("kids"));
		var index = root.GetList().Child(1).AttValue<int>("bar", 3);
		Console.WriteLine("index: {0}", index);


		Console.WriteLine("---");


		var c = root.FindChild((i, o) => {
			return i == 2;
		}) as Racr.AstNode;

		Console.WriteLine("{0}", c.NodeType());


		Console.WriteLine("---");

		Console.WriteLine(root);
		Console.WriteLine("NodeType: {0}", root.NodeType());
		Console.WriteLine("IsNode: {0}", root.IsNode());
		Console.WriteLine("HasParent: {0}", root.HasParent());
		Console.WriteLine("NumChildren: {0}", root.NumChildren());
		Console.WriteLine("HasChild 'B: {0}", root.HasChild("B"));
		Console.WriteLine("HasChild 'List: {0}", root.HasChild("List"));

		Console.WriteLine("");

		var child = root.GetList();

		Console.WriteLine(child);
		Console.WriteLine("Child 1 -> t: {0}", child.Child(1).GetT());
		Console.WriteLine("IsNode: {0}", child.IsNode());
		Console.WriteLine("HasParent: {0}", child.HasParent());
		Console.WriteLine("ChildIndex: {0}", child.ChildIndex());
		Console.WriteLine("NumChildren: {0}", child.NumChildren());

	}