next up previous
Next: Types and type identifiers Up: The Java type model Previous: Arrays

void

Void is not a type in Java. Nevertheless, a method that does not return a result is declared using the keyword void in place of the result type. In order to allow a uniform representation of methods, it is useful to define a ``void'' type as the result type in those cases. Since this fictitious type does not participate in any normal Java operations, we define a bogus operator in order to get OIL to regard voidType as a legitimate type:

void[13]:
OPER voidOp(voidType): voidType;
This macro is invoked in definition 4.



2008-09-11