Wiki

共通データ

ここでは，全てのシステムサービスが用いる，ステータスについてCafeOBJで記述する．

正常終了の場合に返されるステータス：

#!python

module NORMAL
{
  imports
  {
    ex(STATUS)
  }
  signature
  {
    [ Normal < Status ]
    op E-OK : -> Normal
  }
}

APIエラー時に返されるステータス：

#!python

module API-ERROR
{
  imports
  {
    ex(STATUS)
  }
  signature
  {
    [ APIError < Status ]
    op E-OS-ACCESS : -> APIError
    op E-OS-CALLEVEL : -> APIError
    op E-OS-ID : -> APIError
    op E-OS-LIMIT : -> APIError
    op E-OS-NOFUNC : -> APIError
    op E-OS-RESOURCE : -> APIError
    op E-OS-STATE : -> APIError
    op E-OS-VALUE : -> APIError
  }
}

内部エラー時に返されるステータス：

#!python

module OS-INTERNAL-ERROR
{
  imports
  {
    ex(STATUS)
  }
  signature
  {
    [ INTERNAL-ERROR < Status ]
  }
}