Module DB_TABLES

  Define Type DB_ATTR
    Keyword ATTRIBUTES, Nonnegatable

  Define Type DB_ATTRS_TYPE
    Keyword FAX_ADDRESS, Nonnegatable
    Keyword NON_FAX_ADDRESS, Nonnegatable
    Keyword MAIL_ADDRESS, Nonnegatable
    Keyword NON_MAIL_ADDRESS, Nonnegatable
    Keyword PUBLIC, Nonnegatable
    Keyword PRIVATE, Nonnegatable
    Keyword EXPAND, Nonnegatable
    Keyword NO_EXPAND, Nonnegatable
    Keyword PASS_RECEIPTS, Nonnegatable
    Keyword BLOCK_RECEIPTS, Nonnegatable

  Define Type DB_FORMAT
    Keyword ALIAS, Nonnegatable
    Keyword PINE, Nonnegatable

  Define Type DB_SIZE
    Keyword SHORT, Nonnegatable
    Keyword LONG, Nonnegatable

  Define Type DB_SWITCH
    Keyword ON, Nonnegatable
    Keyword OFF, Nonnegatable

  Define Type DB_WILD
    Keyword IGNORE, Nonnegatable
    Keyword INTERPRET, Nonnegatable

  Define Verb ADD
    Routine ADD
    Parameter P1, Label = KEY, Value (Required)
    Parameter P2, Label = NAME, Value (Required)
    Parameter P3, Label = ATTRS, Value (List, Type = DB_ATTRS_TYPE)

  Define Verb CLOSE
    Routine CLOSE

  Define Verb COPY
    Routine COPY
    Parameter P1, Label = FROM_ALIAS, Value (Required)
    Parameter P2, Label = TO_ALIAS, Value (Required)

  Define Verb EXIT
    Routine EXIT

  Define Verb HELP
    Routine HELP
    Parameter P1, Label = TOPIC, Value (Type = $REST_OF_LINE)

  Define Verb MODIFY
    Routine MODIFY
    Parameter P1, Label = KEY, Value (Required)
    Parameter P2, Label = NAME, Value (Required)

  Define Verb OPEN
    Routine OPEN
    Parameter P1, Label = INFILE, Value (Required)
    Parameter P2, Label = SIZE, Value (Type = DB_SIZE)

  Define Verb OVERRIDE
    Routine OVERRIDE
    Parameter P1, Label = OVERRIDE_ONOFF, Value (Required, Type = DB_SWITCH)

  Define Verb QUIT
    Routine EXIT

  Define Verb REMOVE
    Routine REMOVE
    Parameter P1, Label = KEY, Value (Required)

  Define Verb RENAME
    Routine RENAME
    Parameter P1, Label = OLD_KEY, Value (Required)
    Parameter P2, Label = NEW_KEY, Value (Required)

  Define Verb RUN
    Routine RUN
    Parameter P1, Label = INFILE, Value (Required)
    Qualifier IGNORE, Negatable
    Qualifier LOG, Negatable, Default

  Define Verb SET
    Routine SET
    Parameter P1, Label = KEY, Value (Required)
    Parameter P2, Label = ATTRS, Value (Required, List, Type = DB_ATTRS_TYPE)

  Define Verb SHOW
    Routine SHOW
    Parameter P1, Label = KEY, Value
    Parameter P2, Label = ATTRS, Value (Type = DB_ATTR)

  Define Verb WILDCARDS
    Routine WILD
    Parameter P1, Label = WILD_IGNINT, Value (Required, Type = DB_WILD)
    
  Define Verb WRITE
    Routine WRITE
    Parameter P1, Label = OUTFILE, Value (Required)
    Parameter P2, Label = FORMAT, Value (Type = DB_FORMAT)






