Check out the new USENIX Web site. next up previous
Next: Specifications for Messages Up: Specification Methodology and IBDL Previous: Exceptions

Types

The primitive types available are the usual int, boolean, char and String types. A message that does not return a value has void as the return type.



Sreenivas Viswanadha
1998-03-17