next up previous
Next: The synchronized statement Up: Blocks and statements Previous: The continue statement

The return statement

The return statement[23]:
RULE: Statement ::= 'return' ';' COMPUTE
  IF(NE(
      FinalType(INCLUDING (MethodBody.ReturnType,
                           ConstructorDeclaration.ReturnType,
                           ClassInitializer.ReturnType)),
      voidType),
    message(ERROR,"Must return a value here",0,COORDREF));
END;
This macro is invoked in definition 14.



2008-09-11