Search in sources :

Example 1 with PSMCurry

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

the class InstOps method visit.

@Override
public List<PSM> visit(String env, TransCurry e) {
    List<PSM> ret = new LinkedList<>();
    Signature sig = prog.insts.get(e.inst).type(prog).toSig(prog);
    Pair<String, String> k = prog.transforms.get(e.trans).type(prog);
    Times t = (Times) prog.insts.get(k.first);
    ret.add(new PSMCurry(env, t.a, e.inst, e.trans, k.first, k.second, t.b, sig));
    return ret;
}
Also used : PSMCurry(catdata.fql.sql.PSMCurry) Times(catdata.fql.decl.InstExp.Times) PropPSM(catdata.fql.sql.PropPSM) ExpPSM(catdata.fql.sql.ExpPSM) PSM(catdata.fql.sql.PSM) LinkedList(java.util.LinkedList)

Aggregations

Times (catdata.fql.decl.InstExp.Times)1 ExpPSM (catdata.fql.sql.ExpPSM)1 PSM (catdata.fql.sql.PSM)1 PSMCurry (catdata.fql.sql.PSMCurry)1 PropPSM (catdata.fql.sql.PropPSM)1 LinkedList (java.util.LinkedList)1