Examples with BoundThisTypeRef org.eclipse.n4js.ts.typeRefs.BoundThisTypeRef used on opensource projects

Example 16 with BoundThisTypeRef

use of org.eclipse.n4js.ts.typeRefs.BoundThisTypeRef in project n4js by eclipse.

the class InternalTypeSystem method lowerBoundImpl.

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

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