=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/stackmachine.tex,v retrieving revision 1.5 retrieving revision 1.8 diff -u -p -r1.5 -r1.8 --- OpenXM/doc/OpenXM-specs/stackmachine.tex 2000/01/24 12:32:49 1.5 +++ OpenXM/doc/OpenXM-specs/stackmachine.tex 2000/09/08 20:01:38 1.8 @@ -1,3 +1,4 @@ +%% $OpenXM$ //&jp \section{ OX スタックマシン } //&eg \section{ OX stack machine } \label{sec:stackmachine} @@ -435,6 +436,38 @@ 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 @@ -459,6 +492,9 @@ Class.mathcap /*&jp mathcap は 3つの要素をもつリストである. まづ, 最初の要素を見よう. +最初の数字は OpenXM プロトコルのバージョンである. +現在では 1.1.3 等のバージョンが 001001003 と数字にエンコードされて +ここに格納される. Ox\_system は openXM システム名である. 読み込むライブラリがちがって いて, 関数名(または シンボル)の意味がちがうときはこの名前もかえる. た とえば, open math の basic content dictionary 対応の関数定義マクロを読 @@ -471,7 +507,8 @@ Ox\_system は openXM システム名である. 読み込むライブ */ /*&eg A mathcap has three components. The first one contains informations -to identify the system and hosts on which the application runs. +to identify the version number of the OpenXM protocol, +the system and hosts on which the application runs. In the above example, {\tt Ox\_system} denotes the system name. {\tt HOSTTYPE} represents the OS type and taken from \verb+$HOSTTYPE+ enviroment variable.