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;
}
}
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;
}
}
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;
}
}
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;
}
}
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;
}
}
Aggregations