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

Example 31 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 IdentifierRef idref) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleTypeIdentifierRef(G, _subtrace_, idref);
        addToTrace(_trace_, new Provider<Object>() {

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

Example 32 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 ThisLiteral t) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleTypeThisKeyword(G, _subtrace_, t);
        addToTrace(_trace_, new Provider<Object>() {

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

Example 33 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 FunctionTypeExprOrRef F) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleLowerBoundFunctionTypeExprOrRef(G, _subtrace_, F);
        addToTrace(_trace_, new Provider<Object>() {

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

Example 34 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 TemplateSegment l) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleTypeTemplateSegment(G, _subtrace_, l);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("typeTemplateSegment") + stringRepForEnv(G) + " |- " + stringRep(l) + " : " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleTypeTemplateSegment) {
        typeThrowException(ruleName("typeTemplateSegment") + stringRepForEnv(G) + " |- " + stringRep(l) + " : " + "ParameterizedTypeRef", TYPETEMPLATESEGMENT, e_applyRuleTypeTemplateSegment, l, new ErrorInformation[] { new ErrorInformation(l) });
        return null;
    }
}

Example 35 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 ArrayPadding p) throws RuleFailedException {
    try {
        final RuleApplicationTrace _subtrace_ = newTrace(_trace_);
        final Result<TypeRef> _result_ = applyRuleTypeArrayPadding(G, _subtrace_, p);
        addToTrace(_trace_, new Provider<Object>() {

            public Object get() {
                return ruleName("typeArrayPadding") + stringRepForEnv(G) + " |- " + stringRep(p) + " : " + stringRep(_result_.getFirst());
            }
        });
        addAsSubtrace(_trace_, _subtrace_);
        return _result_;
    } catch (Exception e_applyRuleTypeArrayPadding) {
        typeThrowException(ruleName("typeArrayPadding") + stringRepForEnv(G) + " |- " + stringRep(p) + " : " + "ParameterizedTypeRef", TYPEARRAYPADDING, e_applyRuleTypeArrayPadding, p, new ErrorInformation[] { new ErrorInformation(p) });
        return null;
    }
}