Examples with Result org.eclipse.xsemantics.runtime.Result used on opensource projects

Example 81 with Result

use of org.eclipse.xsemantics.runtime.Result in project n4js by eclipse.

the class InternalTypeSystem method applyRuleExpectedTypeInBinaryBitwiseExpression.

protected Result<TypeRef> applyRuleExpectedTypeInBinaryBitwiseExpression(final RuleEnvironment G, final RuleApplicationTrace _trace_, final BinaryBitwiseExpression e, final Expression expression) throws RuleFailedException {
    // output parameter
    TypeRef T = null;
    boolean _isTypeAware = this.jsVariantHelper.isTypeAware(e);
    if (_isTypeAware) {
        T = RuleEnvironmentExtensions.numberTypeRef(G);
    } else {
        T = RuleEnvironmentExtensions.anyTypeRef(G);
    }
    return new Result<TypeRef>(T);
}

Example 82 with Result

use of org.eclipse.xsemantics.runtime.Result in project n4js by eclipse.

the class InternalTypeSystem method applyRuleUpperBoundTypeTypeRef.

protected Result<TypeRef> applyRuleUpperBoundTypeTypeRef(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeTypeRef ct) throws RuleFailedException {
    // output parameter
    TypeRef T = null;
    final TypeArgument typeArg = ct.getTypeArg();
    if ((typeArg instanceof BoundThisTypeRef)) {
        final ParameterizedTypeRef typeArgNew = TypeUtils.createResolvedThisTypeRef(((BoundThisTypeRef) typeArg));
        T = TypeUtils.createTypeTypeRef(typeArgNew, ct.isConstructorRef());
    } else {
        T = ct;
    }
    return new Result<TypeRef>(T);
}

Example 83 with Result

use of org.eclipse.xsemantics.runtime.Result in project n4js by eclipse.

the class InternalTypeSystem method applyRuleTypeThisKeyword.

protected Result<TypeRef> applyRuleTypeThisKeyword(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ThisLiteral t) throws RuleFailedException {
    // output parameter
    TypeRef T = null;
    TypeRef rawT = null;
    /* G |~ t ~> rawT */
    Result<TypeRef> result = thisTypeRefInternal(G, _trace_, t);
    checkAssignableTo(result.getFirst(), TypeRef.class);
    rawT = (TypeRef) result.getFirst();
    rawT = this.versionResolver.<TypeRef, TypeRef>resolveVersion(rawT, rawT);
    T = TypeUtils.enforceNominalTyping(rawT);
    return new Result<TypeRef>(T);
}

Example 84 with Result

use of org.eclipse.xsemantics.runtime.Result in project n4js by eclipse.

the class InternalTypeSystem method applyRuleTypeAdditiveExpression.

protected Result<TypeRef> applyRuleTypeAdditiveExpression(final RuleEnvironment G, final RuleApplicationTrace _trace_, final AdditiveExpression expr) throws RuleFailedException {
    // output parameter
    TypeRef T = null;
    AdditiveOperator _op = expr.getOp();
    boolean _equals = Objects.equal(_op, AdditiveOperator.ADD);
    if (_equals) {
        /* G |- expr.lhs: var TypeRef l */
        Expression _lhs = expr.getLhs();
        TypeRef l = null;
        Result<TypeRef> result = typeInternal(G, _trace_, _lhs);
        checkAssignableTo(result.getFirst(), TypeRef.class);
        l = (TypeRef) result.getFirst();
        /* G |- expr.rhs: var TypeRef r */
        Expression _rhs = expr.getRhs();
        TypeRef r = null;
        Result<TypeRef> result_1 = typeInternal(G, _trace_, _rhs);
        checkAssignableTo(result_1.getFirst(), TypeRef.class);
        r = (TypeRef) result_1.getFirst();
        final boolean lunknown = (l instanceof UnknownTypeRef);
        final boolean runknown = (r instanceof UnknownTypeRef);
        if ((lunknown && runknown)) {
            T = this.typeSystemHelper.createUnionType(G, RuleEnvironmentExtensions.numberTypeRef(G), RuleEnvironmentExtensions.stringTypeRef(G));
        } else {
            final boolean lnum = RuleEnvironmentExtensions.isNumericOperand(G, l);
            final boolean rnum = RuleEnvironmentExtensions.isNumericOperand(G, r);
            if ((lnum && rnum)) {
                T = RuleEnvironmentExtensions.numberTypeRef(G);
            } else {
                if (((lunknown || runknown) && (lnum || rnum))) {
                    T = this.typeSystemHelper.createUnionType(G, RuleEnvironmentExtensions.numberTypeRef(G), RuleEnvironmentExtensions.stringTypeRef(G));
                } else {
                    final boolean lMayNum = (((lnum || RuleEnvironmentExtensions.containsNumericOperand(G, l)) || RuleEnvironmentExtensions.isAny(G, l)) || RuleEnvironmentExtensions.isSymbol(G, l));
                    final boolean rMayNum = (((rnum || RuleEnvironmentExtensions.containsNumericOperand(G, r)) || RuleEnvironmentExtensions.isAny(G, r)) || RuleEnvironmentExtensions.isSymbol(G, r));
                    if ((lMayNum && rMayNum)) {
                        T = this.typeSystemHelper.createUnionType(G, RuleEnvironmentExtensions.numberTypeRef(G), RuleEnvironmentExtensions.stringTypeRef(G));
                    } else {
                        T = RuleEnvironmentExtensions.stringTypeRef(G);
                    }
                }
            }
        }
    } else {
        T = RuleEnvironmentExtensions.numberTypeRef(G);
    }
    return new Result<TypeRef>(T);
}

Example 85 with Result

use of org.eclipse.xsemantics.runtime.Result in project n4js by eclipse.

the class InternalTypeSystem method applyRuleTypeVariableDeclaration.

protected Result<TypeRef> applyRuleTypeVariableDeclaration(final RuleEnvironment G, final RuleApplicationTrace _trace_, final VariableDeclaration vdecl) throws RuleFailedException {
    // output parameter
    TypeRef T = null;
    TypeRef _declaredTypeRef = vdecl.getDeclaredTypeRef();
    boolean _tripleNotEquals = (_declaredTypeRef != null);
    if (_tripleNotEquals) {
        T = vdecl.getDeclaredTypeRef();
    } else {
        EObject _eContainer = vdecl.eContainer();
        if ((_eContainer instanceof BindingElement)) {
            Expression _expression = vdecl.getExpression();
            Pair<String, Expression> _mappedTo = Pair.<String, Expression>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _expression);
            Object _get = G.get(_mappedTo);
            boolean _tripleEquals = (_get == null);
            if (_tripleEquals) {
                final RuleEnvironment G2 = RuleEnvironmentExtensions.wrap(G);
                Expression _expression_1 = vdecl.getExpression();
                Pair<String, Expression> _mappedTo_1 = Pair.<String, Expression>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _expression_1);
                boolean _add = G2.add(_mappedTo_1, Boolean.TRUE);
                /* G2.add(GUARD_VARIABLE_DECLARATION->vdecl.expression,Boolean.TRUE) */
                if (!_add) {
                    sneakyThrowRuleFailedException("G2.add(GUARD_VARIABLE_DECLARATION->vdecl.expression,Boolean.TRUE)");
                }
                TypeRef _elvis = null;
                TypeRef _typeOfVariableDeclarationInDestructuringPattern = this.destructureHelper.getTypeOfVariableDeclarationInDestructuringPattern(G2, vdecl);
                if (_typeOfVariableDeclarationInDestructuringPattern != null) {
                    _elvis = _typeOfVariableDeclarationInDestructuringPattern;
                } else {
                    ParameterizedTypeRef _anyTypeRef = RuleEnvironmentExtensions.anyTypeRef(G);
                    _elvis = _anyTypeRef;
                }
                T = _elvis;
            } else {
                T = RuleEnvironmentExtensions.anyTypeRef(G);
            }
        } else {
            if (((vdecl.eContainer() instanceof ForStatement) && ((ForStatement) vdecl.eContainer()).isForOf())) {
                EObject _eContainer_1 = vdecl.eContainer();
                final ForStatement forOfStmnt = ((ForStatement) _eContainer_1);
                EObject _eContainer_2 = vdecl.eContainer();
                Pair<String, EObject> _mappedTo_2 = Pair.<String, EObject>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _eContainer_2);
                Object _get_1 = G.get(_mappedTo_2);
                boolean _tripleEquals_1 = (_get_1 == null);
                if (_tripleEquals_1) {
                    final RuleEnvironment G2_1 = RuleEnvironmentExtensions.wrap(G);
                    EObject _eContainer_3 = vdecl.eContainer();
                    Pair<String, EObject> _mappedTo_3 = Pair.<String, EObject>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _eContainer_3);
                    boolean _add_1 = G2_1.add(_mappedTo_3, Boolean.TRUE);
                    /* G2.add(GUARD_VARIABLE_DECLARATION->vdecl.eContainer,Boolean.TRUE) */
                    if (!_add_1) {
                        sneakyThrowRuleFailedException("G2.add(GUARD_VARIABLE_DECLARATION->vdecl.eContainer,Boolean.TRUE)");
                    }
                    /* { G2 |- forOfStmnt.expression : var TypeRef ofPartTypeRef val elemType = destructureHelper.extractIterableElementType(G2, ofPartTypeRef) elemType!==null G2 |~ elemType /\ T } or { T = TypeRefsFactory.eINSTANCE.createUnknownTypeRef } */
                    {
                        RuleFailedException previousFailure = null;
                        try {
                            /* G2 |- forOfStmnt.expression : var TypeRef ofPartTypeRef */
                            Expression _expression_2 = forOfStmnt.getExpression();
                            TypeRef ofPartTypeRef = null;
                            Result<TypeRef> result = typeInternal(G2_1, _trace_, _expression_2);
                            checkAssignableTo(result.getFirst(), TypeRef.class);
                            ofPartTypeRef = (TypeRef) result.getFirst();
                            final TypeArgument elemType = this.destructureHelper.extractIterableElementType(G2_1, ofPartTypeRef);
                            /* elemType!==null */
                            if (!(elemType != null)) {
                                sneakyThrowRuleFailedException("elemType!==null");
                            }
                            /* G2 |~ elemType /\ T */
                            Result<TypeRef> result_1 = upperBoundInternal(G2_1, _trace_, elemType);
                            checkAssignableTo(result_1.getFirst(), TypeRef.class);
                            T = (TypeRef) result_1.getFirst();
                        } catch (Exception e) {
                            previousFailure = extractRuleFailedException(e);
                            T = TypeRefsFactory.eINSTANCE.createUnknownTypeRef();
                        }
                    }
                } else {
                    T = RuleEnvironmentExtensions.anyTypeRef(G);
                }
            } else {
                if (((vdecl.eContainer() instanceof ForStatement) && ((ForStatement) vdecl.eContainer()).isForIn())) {
                    T = RuleEnvironmentExtensions.stringTypeRef(G);
                } else {
                    Expression _expression_3 = vdecl.getExpression();
                    boolean _tripleNotEquals_1 = (_expression_3 != null);
                    if (_tripleNotEquals_1) {
                        Expression _expression_4 = vdecl.getExpression();
                        Pair<String, Expression> _mappedTo_4 = Pair.<String, Expression>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _expression_4);
                        Object _get_2 = G.get(_mappedTo_4);
                        boolean _tripleEquals_2 = (_get_2 == null);
                        if (_tripleEquals_2) {
                            final RuleEnvironment G2_2 = RuleEnvironmentExtensions.wrap(G);
                            Expression _expression_5 = vdecl.getExpression();
                            Pair<String, Expression> _mappedTo_5 = Pair.<String, Expression>of(RuleEnvironmentExtensions.GUARD_VARIABLE_DECLARATION, _expression_5);
                            boolean _add_2 = G2_2.add(_mappedTo_5, Boolean.TRUE);
                            /* G2.add(GUARD_VARIABLE_DECLARATION->vdecl.expression,Boolean.TRUE) */
                            if (!_add_2) {
                                sneakyThrowRuleFailedException("G2.add(GUARD_VARIABLE_DECLARATION->vdecl.expression,Boolean.TRUE)");
                            }
                            /* G2 |- vdecl.expression: var TypeRef E */
                            Expression _expression_6 = vdecl.getExpression();
                            TypeRef E = null;
                            Result<TypeRef> result_2 = typeInternal(G2_2, _trace_, _expression_6);
                            checkAssignableTo(result_2.getFirst(), TypeRef.class);
                            E = (TypeRef) result_2.getFirst();
                            if (((E instanceof BoundThisTypeRef) || ((E instanceof TypeTypeRef) && (((TypeTypeRef) E).getTypeArg() instanceof BoundThisTypeRef)))) {
                            } else {
                                /* G2 |~ E /\ E */
                                Result<TypeRef> result_3 = upperBoundInternal(G2_2, _trace_, E);
                                checkAssignableTo(result_3.getFirst(), TypeRef.class);
                                E = (TypeRef) result_3.getFirst();
                            }
                            if ((((E.getDeclaredType() == RuleEnvironmentExtensions.undefinedType(G)) || (E.getDeclaredType() == RuleEnvironmentExtensions.nullType(G))) || (E.getDeclaredType() == RuleEnvironmentExtensions.voidType(G)))) {
                                T = RuleEnvironmentExtensions.anyTypeRef(G);
                            } else {
                                T = E;
                            }
                        } else {
                            T = RuleEnvironmentExtensions.anyTypeRef(G);
                        }
                    } else {
                        T = RuleEnvironmentExtensions.anyTypeRef(G);
                    }
                }
            }
        }
    }
    boolean _enforceDynamicTypes = this.jsVariantHelper.enforceDynamicTypes(vdecl);
    if (_enforceDynamicTypes) {
        T = this.typeSystemHelper.makeDynamic(T);
    }
    return new Result<TypeRef>(T);
}