Examples with ExpCore ast.ExpCore used on opensource projects

Example 61 with ExpCore

use of ast.ExpCore in project L42 by ElvisResearchGroup.

the class Plugin method MliftValue£xthat£xselector£xlib.

@ActionType({ ActionType.NormType.Library, ActionType.NormType.ImmAny, ActionType.NormType.Library, ActionType.NormType.Library })
public Object MliftValue£xthat£xselector£xlib(Object _that, Object _selector, Object _lib) {
    ClassB lib = ensureExtractClassB(_lib);
    MethodSelector selector = MethodSelector.parse(ensureExtractStringU(_selector));
    //TODO: would go in loop for circular graphs?
    ExpCore val = Revertable.doRevert(_that);
    val = From.from(val, Path.outer(1));
    return LiftValue.liftValue(val, selector, lib);
}

Example 62 with ExpCore

use of ast.ExpCore in project L42 by ElvisResearchGroup.

the class InjectionOnCore method visit.

public ExpCore visit(Expression.RoundBlock s) {
    Doc doc = s.getDoc();
    assert s.getContents().size() <= 1 : s.getContents();
    List<Dec> decs = new ArrayList<Dec>();
    List<ExpCore.Block.On> ons = new ArrayList<ExpCore.Block.On>();
    ExpCore inner = s.getInner().accept(this);
    if (s.getContents().size() == 1) {
        Expression.BlockContent c = s.getContents().get(0);
        for (Ast.VarDec d : c.getDecs()) {
            assert d instanceof Ast.VarDecXE : d;
            Ast.VarDecXE sugarDec = (Ast.VarDecXE) d;
            //assert sugarDec.getT().isPresent() :sugarDec;
            Optional<Type> t = sugarDec.getT();
            String x = sugarDec.getX();
            ExpCore e = sugarDec.getInner().accept(this);
            decs.add(new Dec(sugarDec.isVar(), t, x, e));
        }
        //END FOR DECS
        ;
        for (Catch k : c.get_catch()) {
            assert k instanceof Expression.Catch1;
            Expression.Catch1 k1 = (Expression.Catch1) k;
            SignalKind kind = k1.getKind();
            String x = k1.getX();
            assert x.length() >= 1;
            ons.add(new ExpCore.Block.On(kind, x, k1.getT(), lift(k1.getInner()), k1.getP()));
        }
        return new Block(doc, decs, inner, ons, s.getP());
    }
    return new Block(doc, decs, inner, Collections.emptyList(), s.getP());
}