ECLASSSUBTYPING,
e_applyRuleEClassSubtyping, candidate, superClass, new ErrorInformation[] {new ErrorInformation(candidate), new ErrorInformation(superClass)});
return null;
}
}
<BUG>protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
boolean _isSuperTypeOf = superClass.isSuperTypeOf(candidate);
if (!_isSuperTypeOf) {</BUG>
sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
}

ECLASSSUBTYPING,
e_applyRuleEClassSubtyping, candidate, superClass, new ErrorInformation[] {new ErrorInformation(candidate), new ErrorInformation(superClass)});
return null;
}
}
protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
if (!superClass.isSuperTypeOf(candidate)) {
sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
}
