Examples with AqlTyping catdata.aql.exp.AqlTyping used on opensource projects

Example 1 with AqlTyping

use of catdata.aql.exp.AqlTyping in project fql by CategoricalData.

the class AqlOutline method makeTree.

private DefaultMutableTreeNode makeTree(List<String> set, Program<Exp<?>> prog, boolean prefix, boolean alpha, boolean useTypes) {
    DefaultMutableTreeNode root = new DefaultMutableTreeNode();
    AqlTyping G = new AqlTyping(prog, new AqlOptions(prog.options, null, AqlOptions.initialOptions), true);
    for (String k : set) {
        Exp<?> e = prog.exps.get(k);
        if (e.kind().equals(Kind.COMMENT)) {
            continue;
        }
        DefaultMutableTreeNode n = new DefaultMutableTreeNode();
        n.setUserObject(new TreeLabel(k, prefix, G, useTypes));
        asTree(n, alpha, e);
        root.add(n);
    }
    return root;
}