Contents | Prev | Next | Index


Procedure Types

Variables of a procedure type T may assume as their value a procedure P. The formal parameter lists of P and T must match. P must not be a generic standard procedure, nor must it be type-bound procedure, nor must it be nested in another procedure. A variable of a procedure type may also assume as its value the constant NIL. A procedure type declaration may be preceded by a Java modifier directive for this compiler.

procedure_type ::= procedure formal_parameters
               ::= procedure

procedure      ::= modifier PROCEDURE
modifier       ::= java_modifiers
               ::= <empty>


Contents | Prev | Next | Index

Canterbury Oberon-2 for JVM  (Last documentation update Jun 2, 2000)
Copyright © 1998 Mill Hill & Canterbury Corporation, Ltd. All rights reserved
Please send any comments or corrections to mhc@webcom.com