... m^1.1

The redefined method must have exactly the same name and input and output types as the method m that would have been inherited.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... data.^1.2

Of course, any static method can be converted to an instance method in some class, but the conversion is gratuitous since the static method code ignores this.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... returns.^1.3

In Scheme, this statement is false in general; local variables continue to exist as long as a ``closure'' referring to them exists.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... definition;^1.4

The return types of arithmetic operators generally depend on the types of their arguments. For some operator applications, the table immediately reports a type error.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... alternative;^1.5

If neither arm of the conditional expression has a more general type, the program is not well-typed.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... loop:^2.1

With one minor exception involving the use of continue in the loop body. Since our Java subset does not include continue, it is not an issue.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... call^2.2

Taking care to avoid interference from side effects!

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.