Language Name
|
Definition
|
Implemented by
|
text
|
natural language text
|
-
|
identifier
|
| identifer |
::= |
name { '.' name }* |
| name |
::= |
legal-char {legal-char | digit}* |
| legal-char |
::= |
{letter | '_'} |
| letter |
::= |
{'a'..'z' | 'A'..'Z'} |
| digit |
::= |
{'0'..'9'} |
|
- |
| casa.* |
| serial-obj |
::= |
null | hashtable | array | quoted-string |
integer | collection | simple-object
|
| null |
::= |
"null" |
| hashtable |
::= |
"{" { serial-obj "=" serial-obj } { ","
serial-obj "=" serial-obj }* "}" |
| array |
::= |
"[" { serial-obj } { "," serial-obj }* "]" |
| quoted-string |
::= |
'"' text-with-escaped-quotes '"' |
| integer |
::= |
{digit}+ |
| collection |
::= |
"(" class-name ")" array |
| simple-object |
::= |
"(" class-name ")" quoted-string |
|
serialize(Object),
serialize(Map),
serialize(Collection),
serialize(Object[]),
toQuotedString(String),
and unserialize(String,
int), unserializeArray(String,
int), unserializeHashtable(String,
int), fromQuotedString(String,
int) |
| casa.DataStorageDescriptor |
|
|
casa.Status
|
| casa.Status |
::=
|
'(' status-value explanation ')'
|
| status-value |
::=
|
an integer
|
| explanation |
::=
|
'"' text '"'
|
|
Status.toString(),
Status.fromString
(TokenParser)
|
| casa.StatusMLMessageList |
|
|
| casa.StatusString |
| casa.StatusString |
::=
|
'(' status-value explanation data ')' |
| status-value |
::= |
an integer |
| explanation |
::= |
'"' text '"' |
data
|
::= |
'"' text '"' |
|
Status.toString(),
Status.fromString
(TokenParser) and StatusString.toString_extension(),
StatusString.fromString_extension
(TokenParser)
|
| casa.StatusURL |
| casa.StatusURL |
|
::=
|
'(' status-value explanation URL ')' |
| status-value |
::= |
an integer |
| explanation |
::= |
'"' text '"' |
| URL |
::= |
casa.URLDescriptor
|
|
Status.toString(), Status.fromString
(TokenParser) and StatusURL.toString_extension(),
StatusURL.fromString_extension
(TokenParser) |
| casa.StatusURLandFile |
| casa.StatusURLandFile |
|
::=
|
'(' status-value explanation URL file ')' |
| status-value |
::= |
an integer |
| explanation |
::= |
'"' text '"' |
| URL |
::= |
casa.URLDescriptor
|
file
|
::=
|
file-path-name
|
|
Status.toString(), Status.fromString
(TokenParser) and StatusURLandFile.toString_extension(),
StatusURLandFile.fromString_extension
(TokenParser) |
| casa.StatusURLDescriptorList |
| casa.StatusURLDescriptorList |
|
::=
|
'(' status-value explanation URL-list ')' |
| status-value |
::= |
an integer |
| explanation |
::= |
'"' text '"' |
| URL-list |
::= |
{casa.URLDescriptor}*
|
|
Status.toString(), Status.fromString
(TokenParser) and StatusURLDescriptorList.toString_extension(),
StatusURLDescriptorList.fromString_extension
(TokenParser) |
| casa.URLDescriptor |
| casa.URLDescriptor |
|
::= |
"casa://" {user '@'} host {':' port} {'/'
{ {dir '/'}* {file} } {'#' key {'=' value} {'&' key {'=' value} }*
} }
|
| user |
::= |
an alphanumeric local identifier for an
individual user |
| host |
::= |
an IP address or host name |
| port |
::= |
a numeric value |
| dir |
::= |
an alphanumeric string |
| file |
::= |
an alphanumeric string that is part of
a path |
| key |
::= |
a key string (case sensitive) to
retrieve the associated value |
| value |
::= |
an alphanumeric string
|
|
Status.toString(),
Status.fromString
(TokenParser) and StatusURLDescriptor.toString_extension(),
StatusURLDescriptor.fromString_extension
(TokenParser) |
|
|
|