type0 != Type.UNTYPED_ATOMIC_TYPE &&
type0 != Type.ANY_ATOMIC_TYPE &&
Type.isSubType(type1, Type.ANY_ATOMIC_TYPE) &&
type1 != Type.UNTYPED_ATOMIC_TYPE &&
type1 != Type.ANY_ATOMIC_TYPE) {
StaticError err = new StaticError("Unsuitable operands for arithmetic operation (" +
type0.toString(env.getNamePool()) + ", " +
type1.toString(env.getNamePool()) + ')');
err.setIsTypeError(true);
throw err;
}
return e;
}
ExpressionTool.copyLocationInfo(this, e);