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

Example 36 with RuleApplicationTrace

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

the class InternalTypeSystem method lowerBoundImpl.

protected Result<TypeRef> lowerBoundImpl(final RuleEnvironment G, final RuleApplicationTrace _trace_, final Wildcard wildcard) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleLowerBoundWildcard(G, _subtrace_, wildcard);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("lowerBoundWildcard") + stringRepForEnv(G) + " |~ " + stringRep(wildcard) + " \\/ " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleLowerBoundWildcard) {
        lowerBoundThrowException(ruleName("lowerBoundWildcard") + stringRepForEnv(G) + " |~ " + stringRep(wildcard) + " \\/ " + "TypeRef", LOWERBOUNDWILDCARD, e_applyRuleLowerBoundWildcard, wildcard, new ErrorInformation[] { new ErrorInformation(wildcard) });
        return null;
    }
}

Example 37 with RuleApplicationTrace

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

the class InternalTypeSystem method substTypeVariablesImpl.

protected Result<TypeArgument> substTypeVariablesImpl(final RuleEnvironment G, final RuleApplicationTrace _trace_, final ComposedTypeRef typeRef) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeArgument> _result_ = applyRuleSubstTypeVariablesInComposedTypeRef(G, _subtrace_, typeRef);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("substTypeVariablesInComposedTypeRef") + stringRepForEnv(G) + " |- " + stringRep(typeRef) + " ~> " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleSubstTypeVariablesInComposedTypeRef) {
        substTypeVariablesThrowException(ruleName("substTypeVariablesInComposedTypeRef") + stringRepForEnv(G) + " |- " + stringRep(typeRef) + " ~> " + "ComposedTypeRef", SUBSTTYPEVARIABLESINCOMPOSEDTYPEREF, e_applyRuleSubstTypeVariablesInComposedTypeRef, typeRef, new ErrorInformation[] { new ErrorInformation(typeRef) });
        return null;
    }
}

Example 38 with RuleApplicationTrace

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

the class InternalTypeSystem method upperBoundImpl.

protected Result<TypeRef> upperBoundImpl(final RuleEnvironment G, final RuleApplicationTrace _trace_, final UnionTypeExpression U) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleUpperBoundUnionTypeExpression(G, _subtrace_, U);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("upperBoundUnionTypeExpression") + stringRepForEnv(G) + " |~ " + stringRep(U) + " /\\ " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleUpperBoundUnionTypeExpression) {
        upperBoundThrowException(ruleName("upperBoundUnionTypeExpression") + stringRepForEnv(G) + " |~ " + stringRep(U) + " /\\ " + "TypeRef", UPPERBOUNDUNIONTYPEEXPRESSION, e_applyRuleUpperBoundUnionTypeExpression, U, new ErrorInformation[] { new ErrorInformation(U) });
        return null;
    }
}

Example 39 with RuleApplicationTrace

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

the class InternalTypeSystem method typeImpl.

protected Result<TypeRef> typeImpl(final RuleEnvironment G, final RuleApplicationTrace _trace_, final FormalParameter fpar) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleTypeFormalParameter(G, _subtrace_, fpar);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("typeFormalParameter") + stringRepForEnv(G) + " |- " + stringRep(fpar) + " : " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleTypeFormalParameter) {
        typeThrowException(ruleName("typeFormalParameter") + stringRepForEnv(G) + " |- " + stringRep(fpar) + " : " + "TypeRef", TYPEFORMALPARAMETER, e_applyRuleTypeFormalParameter, fpar, new ErrorInformation[] { new ErrorInformation(fpar) });
        return null;
    }
}

Example 40 with RuleApplicationTrace

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

the class InternalTypeSystem method subtypeImpl.

protected Result<Boolean> subtypeImpl(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeArgument left, final TypeArgument right) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<Boolean> _result_ = applyRuleSubtypeTypeArgument(G, _subtrace_, left, right);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("subtypeTypeArgument") + stringRepForEnv(G) + " |- " + stringRep(left) + " <: " + stringRep(right);
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleSubtypeTypeArgument) {
        subtypeThrowException(ruleName("subtypeTypeArgument") + stringRepForEnv(G) + " |- " + stringRep(left) + " <: " + stringRep(right), SUBTYPETYPEARGUMENT, e_applyRuleSubtypeTypeArgument, left, right, new ErrorInformation[] { new ErrorInformation(left), new ErrorInformation(right) });
        return null;
    }
}