Examples with FullSigmaTrans catdata.fql.sql.FullSigmaTrans used on opensource projects

Example 1 with FullSigmaTrans

use of catdata.fql.sql.FullSigmaTrans in project fql by CategoricalData.

the class InstOps method visit.

@Override
public List<PSM> visit(String dst, TransExp.FullSigma e) {
    List<PSM> ret = new LinkedList<>();
    Mapping F0 = ((FullSigma) prog.insts.get(e.src)).F.toMap(prog);
    Pair<String, String> t = prog.transforms.get(e.h).type(prog);
    // String next = next();
    // ret.addAll(PSMGen.makeTables(next, F0.source, false));
    // ret.addAll(e.h.accept(next, this));
    ret.add(new FullSigmaTrans(F0, t.first, e.src, t.second, e.dst, e.h, dst));
    return ret;
}