* @exception IllegalActionException Not thrown in this base class.
*/
public static Type elementMultiplyReturnType(Type type1, Type type2)
throws IllegalActionException {
if (type1 instanceof ArrayType) {
return new ArrayType(TypeLattice.leastUpperBound(
((ArrayType) type1).getElementType(), type2));
} else {
return new ArrayType(BaseType.UNKNOWN);
}
}