This summary list of Gilda Statements is useful as a quick reference.

Declarations

class Name [(Generic)]
class Name [(Generic)]  is  {[@]  Field [(Range)]  [= Static]  Type}, ...
class Name [(Generic)]  in  [0,]  Name, ...
class Name [(Generic)]  in  0  to  Integer

function  Name
method    Name  [pure]
sequence  Name  [pure]

entry      {Parameter [(Range)]  [= Static]  Type}, ...
change     {Parameter [(Range)]  [= Static]  Type}, ...
exit   [@] {Parameter [(Range)]  [= Static]  Type}, ...

global   {[@] Variable [=  Static]  Type}
       | {Micro |=  Static} 
       | {Macro( Argument, ...)  =>  Comparison}, ...

local    {[@] Variable [=  Static]  Type}
       | {Micro |=  Static} 
       | {Macro( Argument, ...)  =>  Comparison}, ...

use      Class {* | [/  Global ...,]} ...
alter    Class {* | [/  Global ...,]} ...

Assignment

Primitive [(Subcript)]  [Op]=  Expression
User.Tye  [(Subcript)]  =  User

Pointer  =  @Variable
Pointer  =  @Variable( Subcript )
Pointer  =  @Function( [Argument, ...] )
Pointer  =  @parcel( Integer )
Pointer  =  @cast( Variable )


Destination  [Op]=  if Condtion  [, Expression  [, Expression]]

Procedure Invokation

Procedure  [[Parameter =]  {Variable | Array | Expression}, ...]

CHURN  from  Container   with  It
CHURN  from  Sequence( Argument, ...)   with  It
CHURN  [@]Result  from  It
CHURN  [@]Result  from  Container   with  It
CHURN  [@]Result  from  Sequence( Argument, ...)   with  It
CHURN  end [It]

YIELD

CLEAN  Subject, ...
DRAIN  Subject, ...  

Control

preconditon
   Condition
   Condition  error  [Context [| Form]] 
   Condition  fault  [Context [| Form]] 
   Condition  catch  Handler
.

assert  Condition
assert  Condition  error  [Context [| Form]]
assert  Condition  fault  [Context [| Form]]
assert  Condition  catch  Handler

DO always
DO while  Condition
DO until  Condition
DO Expression  times
DO Variable [= Numeric]  to  Numeric  [by Numeric]
DO Variable  from  Sequence( Argument.List )

UNDO  IF  Condition
UNDO  '-'*
-

IF Condition
ELSE IF Condition
ELSE
.

IF Expression  is  Value.List
ELSE IS Value.List
ELSE
.

postcondition
return  [raise]

Input and Output

OPEN   {`in | `out | `append | `direct}  [`big | `little]  File '<>'  String.Expression
CLOSE   `file   File

INPUT  File         '<>'  {Variable | Quote}, ...
INPUT  File(Index)  '<>'  {Variable | Quote}, ...
INPUT  `seek  File(Index)  "<>"  Type

PRINT  [`#]  [`err]     [Expression ['|' Form], ...]  [flush]
PRINT  [`#]  File  '<>'  Expression ['|' Form], ...   [flush]
PRINT  [`#]  File(Index)  '<>'  Expression ['|' Form], ... [flush]

trace      [`log | `err | `if | `on | `off]  '/'  <trace arguments>
trace       {Quote | {[@] Name [Subscript]  ['|' Format]}} , ...
trace`err  [{Quote | {[@] Name [Subscript]  ['|' Format]}} , ...]
trace`log  [ Path ]

trace`if    Condition  {Quote | {[@] Name [Subscript] ['|' Form]}} , ...
trace`on   [Condition]
trace`off  [Condition]