These are the top level blocks in an ocean file. Note that in sharp contrast to the rest of the language these blocks are implicitely 'the public' as they would otherwise not be visible (and thus usuable) by other parts of the program.

There is either one program module per program (sic) or one 'library'. The program module declares the contract to the environment.

A Library module like a program module declares the contract with the environment, only in the case of a library the environment are other programs which use this as a dynamic loading library A library has an automatic 'switch := 'forbidden''

Modules are the generic way to group both data and code. They create their own namespace, but have no further overhead.

...

A concrete is a class which can be instantiated, and thus cannot have any defered parts.

A concept is a class which will never be instantiated. Concept classes define generic methods working on generic properties.

An interface defines, but usually doesn't implement, a set of calls. Most important is that an interface has no instances as it cannot have any content. It is used to define an API.

A mixin class

A concept delegate

A concrete delegate

...

The conditions in this paragraph must be true throughout the whole section

The conditions in this paragraph must be true at the entrance of this section

The conditions in this paragraph must be true at the exit (end of finally) of this section

...

True inheritance; in principle all contained classes should be concepts, because is represents a taxonomy. All public and restricted methods/fields are passed on to the world/descendants. Multiple occurences of a ancestor class are folded to a single occurance: this is an is-a relation, not an is-two!

Hidden inheritance; In principle all contained classes must be concrete, because wraps represents a shift of metaphore, and none of the defered methods can be implemented. None of the the public and restricted are visible outside this wrapping class. Multiple occurences of an ancestor class are folded to a single occurance, but for any descendents this rule no longer applies.

Functional inheritance; All public and restricted methods/fields are passed on to the world/descendants. Multiple occurences of a ancestor class are not folded to a single occurance.

Defines the properties of this class.

Defines, but doesn't implement the containing calls. See implements.

Implementations of the containing calls, some of which may be defer'ed from a parent class.

...

...

...

...

...

...

...

...

definations of errands

...

...

...

...

A statement which can have multiple parts and is used for looping or choices.

With is a break of the part-blocks, as anything declared within it is visible in the following compound statement. The reason for its existence is purely based on readability: to stop unnecessary indenting.

has no preferences for success or failure

assumes that the expression will fail, this part of the statement will be placed 'out-of-line'

assumes that the expression will succeed, all other parts of this statement, except for the finally part will be placed 'out-of-line'

repeats until the expression fails. While is best suited for loops repeating at least once.

repeats while the expression fails. Until is best suited for loops that probably won't.

A statement which either computes or transfers control.

returns the (optional) value to the caller, but the generator will continue after this statement when called again

returns the (optional) value to the caller

returns the (optional) value to the caller

switches to next available fibre

transfers control to the continue clause or the begining of the loop if no continue clause is present

transfers control to the else clause

transfers control to the finally clause or the end if no finally clause is present

transfers control to the begining of the loop

Please note that the else condition has inversed logic: where all other conditions are called before their dependent statements (which cannot fail), else is called if its dependent statement fails. An else condition leaves any variables defined in the dependent statement undefined, so in that case the else expression must be a 'final' function or statement.

my

by reference and give ownership to callee

your

by reference but ownership stays with caller

our

by reference shared ownership

give

return by reference and ownerships is transfered to the caller

show

...

...