OpenXM/doc/OpenXM-specs/stackmachine.tex - diff

Return to stackmachine.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

-version 1.5, 2000/01/24 12:32:49
+version 1.6, 2000/02/02 02:03:41
 Line 435  Stack after the request:
 Line 435  Stack after the request:
 Line 435  Stack after the request:
  \end{tabular}
  Output: none.
+ \item
+ \begin{verbatim}
+ SM_pushCMOtag
+ \end{verbatim}
+ /*&jp
+ スタックの先頭オブジェクトが CMO に変換された場合の CMO tag を
+ {\tt CMO\_INT32} としてスタックへ push する.
+ 先頭オブジェクトはスタックに留まる.
+ 先頭オブジェクトをCMO へ変換する方法が無い場合は, エラー object を積む.
+ */
+ /*&eg
+ It requests a server to push the CMO tag of the top object on the server
+ stack. The tag is pushed as {\tt CMO\_INT32}.
+ The top object remains on the stack.
+ If there is no way to translate the object into CMO,
+ push an error object.
+ */
+ Request:
+ \begin{tabular}{|c|c|}  \hline
+ {\tt int32 OX\_COMMAND} & {\tt int32 SM\_pushCMOtag} \\
+ \hline
+ \end{tabular}
+ Stack after the request:
+ \begin{tabular}{|c|c|c|}  \hline
+ {\tt int32 OX\_DATA} & {\sl CMO\_INT32} \ tag\\
+ \hline
+ \end{tabular}
+ Output: none.
  \end{enumerate}
  \medbreak