Examples with Algebra catdata.aql.Algebra used on opensource projects

Example 1 with Algebra

use of catdata.aql.Algebra in project fql by CategoricalData.

the class AqlViewer method visit.

@Override
public <Ty, En, Sym, Fk, Att, Gen, Sk, X, Y> Unit visit(JTabbedPane ret, Instance<Ty, En, Sym, Fk, Att, Gen, Sk, X, Y> I) {
    ret.addTab("Tables", viewAlgebra((Algebra<catdata.aql.exp.TyExpRaw.Ty, catdata.aql.exp.SchExpRaw.En, catdata.aql.exp.TyExpRaw.Sym, catdata.aql.exp.SchExpRaw.Fk, catdata.aql.exp.SchExpRaw.Att, catdata.aql.exp.InstExpRaw.Gen, catdata.aql.exp.InstExpRaw.Sk, X, Y>) I.algebra()));
    if (I.algebra().talg().sks.size() < 1024) {
        ret.addTab("Type Algebra", new CodeTextPanel("", I.algebra().talg().toString()));
    } else {
        ret.addTab("Type Algebra", new CodeTextPanel("", "Suppressed, size " + I.algebra().talg().sks.size() + "."));
    }
    ret.addTab("DP", viewDP(I.dp(), I.collage(), I.schema().typeSide.js));
    return new Unit();
}