Barrett G.Occam 3 reference manual.1992

|

name

module[expression]

|

INSTANCE name( 0, actual )

|

[ 1, module ]

|

[module FROM base FOR count ]

|

[module FROM base ]

|

[module FOR count ]

|

[INSTANCE replicator : module ]

|

CONVERT(interface.specifier) module

INTERFACE

declaration

TO

specification

:

|

MODULE

MODULE interface.type

MODULE TYPE name( 0, formal )

declarations

:

|

INTERFACE TYPE name

declaration

:

EXPORT

export.item

FROM

specification

:

FROM name IMPORT

1, import.item

:

|

proc.heading :

function.heading :

|

VAL data.type name :

|

DATA TYPE name :

|

DATA TYPE NAME name :

|

MODULE TYPE name :

|

MODULE TYPE NAME name :

|

CHAN TYPE name :

|

CHAN TYPE NAME name :

|

PROTOCOL name :

|

PROTOCOL NAME name :

|

INTERFACE TYPE name :

|

INTERFACE TYPE NAME name :

PRI ALT

alternative

|

PRI ALT replicator

alternative

PRI PAR

process

|

PRI PAR replicator

process

|

placedpar

PLACED PAR

placedpar

|

PLACED PAR replicator

placedpar

|

PROCESSOR expression

process

|

PORT OF data.type

[expression]port.type

|

name

port[expression]

|

[port FROM base FOR count]

|

[port FROM base ]

|

[port FOR count]

declaration

definition

|

|

|

name IS variable :

| specifier name IS variable :

|

VAL name IS expression :

|

VAL specifier name IS expression :

|

RESULT name IS variable :

|

RESULT specifier name IS variable :

| name IS channel :

|

variable

channel

|

call.channel

|

timer

|

expression

|

module

ALT

alternative

|

ALT replicator

alternative

|

PRI ALT

alternative

|

PRI ALT replicator

|

expression

variable

|

name

call.channel[expression]

|

[ 1, call.channel ]

|

[CALL replicator : call.channel ]

|

[ call.channel FROM base FOR count ]

|

[ call.channel FROM base ]

|

[ call.channel FOR count ]

|

module[name]

|

data.type 1 , name

VAL data.type 1 , name

|

INITIAL data.type 1 , name

|

RESULT data.type 1 , name

|

CALL

[expression]call.type

channel ? CASE

variant

|

CHAN OF protocol

name

|

[expression]channel.type

|

name

channel[expression]

|

[channel FROM base FOR count]

|

[channel FROM base ]

|

[channel FOR count]

|

[ 1, channel ]

|

[CHAN replicator : channel]

|

module[name]

|

guarded.choice

conditional

|

specification

choice

IF

choice

|

IF replicator

choice

|

data.type operand

data.type ROUND operand

|

data.type TRUNC operand

|

BOOL

BYTE

|

INT

|

INT16

|

INT32

|

INT64

|

REAL32

|

REAL64

|

NONE

|

[ expression ] data.type

|

name

|

DATA TYPE name IS data.type :

DATA TYPE name

structured.type

:

|

CHAN TYPE name

RECORD

declaration

:

|

CHAN TYPE name

RECORD

declaration

:

|

PROTOCOL name

CASE

tagged.protocol

:

|

PROTOCOL name IS simple.protocol :

|

PROTOCOL name IS sequential.protocol :

|

PROC name (

0 , formal )

process

:

|

1 , data.type

FUNCTION name (

0 , formal ) IS expression.list :

|

1 , data.type

FUNCTION name (

0 , formal )

function.body

:

|

MODULE TYPE name( 0, formal )

declarations

:

|

INTERFACE TYPE name

declaration

:

|

FROM name IMPORT 1, import.item

:

| specifier name RETYPES variable :

|

VAL specifier name RETYPES expression :

|

WIDTH expression DATA TYPE name IS data.type :

|

WIDTH expression DATA TYPE name

structured.type

|

proc.heading :

function.heading :

|

VAL data.type name :

|

DATA TYPE name :

|

DATA TYPE NAME name :

|

MODULE TYPE name :

|

MODULE TYPE NAME name :

|

CHAN TYPE name :

|

CHAN TYPE NAME name :

|

PROTOCOL name :

|

PROTOCOL NAME name :

|

INTERFACE TYPE name :

|

INTERFACE TYPE NAME name :

|

name ( 0 , expression )

1 , expression

|

( value.process

)

|

operand

monadic.operator operand

|

operand dyadic.operator operand

|

MOSTPOS data.type

|

MOSTNEG data.type

|

expression[name]

|

conversion

|

WIDTHOF (data.type)