ClearStack>
ClearStack> operator takes no operands and returns no results.
]]>
ClearStack>演算子は、オペランドをとらず、結果を返さない。
ClearStack>演算子は、スタックからすべての値を削除する。
ClearToMark>
ClearToMark> operator takes no operands and returns no results.
]]>
ClearToMark>演算子は、オペランドをとらず、結果を返さない。
ClearToMark> operator is to remove from the stack all values above the highest Mark, and to remove the Mark as well.
]]>
ClearToMark>演算子は、最上位のマークより上のすべての値をスタックから削除し、さらにそのマークを削除する。
RaiseError> shall be invoked with UnmatchedMark as its operand.
]]>
スタック上にマークオブジェクトがない場合、UnmatchedMarkをオペランドとしてRaiseError> を実行する。
ConvertToExecutable>
ConvertToExecutable> operator takes a single operand,
]]>
ConvertToExecutable>演算子は、次に示す1個のオペランドをとる。
<
そして、次に示す1個の結果を返す。
<
for a discussion of the executability attribute).
]]>
ここで、結果を参照)。
実行可能性属性が実行可能であるベクタ参照を、手続き型とよぶ。
ConvertToIdentifier>
ConvertToIdentifier> operator takes a single operand,
]]>
ConvertToIdentifier>演算子は、次に示す1個のオペランドをとる。
<
そして、次に示す1個の結果を返す。
<
オペランドが名前型の値である場合、それがそのまま返される。
).
]]>
オペランドがオクテット列参照型の値である場合、被参照オクテット列は、 ISO 646符号化オクテット列として解釈され、その結果はこのオクテット列に対応する一意な識別子となる(参照)。
ConvertToInteger>
ConvertToInteger> operator takes a single operand,
]]>
ConvertToInteger>演算子は、次に示す1個のオペランドをとる。
<
そして、次に示す1個の結果を返す。
<
オペランドが整数型の値である場合、それはそのまま返される。
Truncate> operator and the resultant integer value returned.
]]>
オペランドが実数型の値である場合、その値は、Truncate>演算子による場合と同様に、結果として得られる整数値が返される。
オペランドがオクテット列参照型の値である場合、被参照オクテット列中の各オクテットはISO 646の文字符号として解釈される。
それらの文字の列は、平文内容中に現れた場合と同様に数値として解釈され、その結果得られる実数又は整数のオペランドは上述のとおりに解釈される。
このオクテット列が、内容表現、及び、交換様式で規定する実数又は整数として正しく符号化されていない場合、RaiseError>を実行する。
ConvertToReal>
ConvertToReal> operator takes a single operand,
]]>
ConvertToReal>演算子は、次に示す1個のオペランドをとる。
<
そして、次に示す1個の結果を返す。
<
オペランドが整数型の値である場合、実数に変換した値が返される。
オペランドが実数型の値である場合、それをそのまま返す。
オペランドがオクテット列参照型の値である場合、被参照オクテット列中の各オクテットは、ISO 646符号化オクテット列として解釈される。
それらの文字の列は、平文内容中に現れた場合と同様に数値として解釈され、その結果得られる実数又は整数のオペランドは上述のとおりに解釈される。
このオクテット列が、内容表現、及び、交換様式で規定する実数又は整数として正しく符号化されていない場合、RaiseError>を実行する。
ConvertToString>
ConvertToString> operator takes two operands,
]]>
ConvertToString>演算子は、次に示す2個のオペランドをとる。
<<
そして、次に示す1個の結果を返す。
<
ConvertToString> operator overwrites the operand S with an OctetString representation of the operand x; the return value newS is a new OctetStringReference that references the portion of the operand S that was overwritten.
]]>
ConvertToString>演算子は、オペランド
オペランド using a lower case e.
]]>
実数型のオペランドは、中で述べる、小文字
オペランドが識別子型の値である場合、
オペランドが演算子型の値である場合、演算子は
オペランドがオクテット列参照型の値である場合、その被参照オクテット列を
オペランドが論理型の値である場合、
オペランドが他の型の値である場合、Copy>
演算スタック上の要素n個の複写
Copy> operator takes n+1 operands, where n is the value on the top of the operand stack:
]]>
Copy>演算子は、次に示すn+1>個のオペランドをとる。ここで、nは、演算スタックの先最上位にある値とする。
n-1: Any>
. . .
<x1:Any>
<x0:Any>
]]>
<<n-1/: . . .
<1/: <0/:
そして、次に示すn-1:Any>
. . .
<x1:Any>
<x0:Any>
<xn-1:Any>
. . .
<x1:Any>
<x0:Any>
]]>
<n-1/: . . .
<1/: <0/: <n-1/: . . .
<1/: <0/:
一番先頭のオペランド
ベクタ、辞書及びオクテット列の複写
Copy> operator takes two operands
]]>
Copy>演算子は、次に示す2個のオペランドをとる。
1:VectorReference, DictionaryReference, or OctetStringReference>
<x0:VectorReference, DictionaryReference,
or OctetStringReference>
]]>
<1/: <0/:
そして、次に示す1個の結果を返す。
2:VectorReference, DictionaryReference, or OctetStringReference>
]]>
<2/:
ここで、両方のオペランドは、同一の型でなければならない。
0 are copied into the object referenced by x.
]]>
が参照するオブジェクトのすべての要素が、1が参照するオブジェクト中に複写される。
shall be at least large enough to contain all the elements of the object referenced by x0.
]]>
が参照するオブジェクトは、少なくとも0が参照するオブジェクトのすべての要素を含むのに十分な大きさでなければならない。
1 shall be empty, and the returned value is the DictionaryReference operand x1.
]]>
オペランドが辞書参照の場合、1が参照する辞書は、空でなければならない。この場合、返される値は、辞書参照オペランド1となる。
1 not overwritten by elements from x0 remain unaffected, and the returned value is a OctetStringReference or VectorReference to a newly-created OctetString or Vector whose length is the same as the length of the object referenced by x0, and whose contents are identical to those of x0.
]]>
オペランドがオクテット列参照又はベクタ参照の場合、1の要素のうち0の要素により上書きされなかったものは、変更を受けずに残る。そして、返される値は、新たに生成されたオクテット列又はベクタへの、オクテット列参照、さらにはベクタ参照となる。オクテット列又はベクタの長さは、0によって参照されるオブジェクトの長さに等しい。又それらの内容は、0に等しい。
Count>
Count> operator takes no operands and returns a single result
]]>
Count>演算子は、オペランドをとらず、次に示す1個の結果を返す。
<
ここで、CountToMark>
CountToMark> operator takes no operands and returns a single result
]]>
CountToMark>演算子は、オペランドをとらず、次に示す1個の結果を返す。
<
ここで、RaiseError> shall be invoked with UnmatchedMark as its operand.
]]>
スタック上にマークオブジェクトがない場合、RaiseError>を実行する。
Dup>
Dup> operator takes a single operand,
]]>
Dup>演算子は、次に示す1個のオペランドをとる。
<
そして、次に示す2個の結果を返す。
<<
スタックの一番上にある要素が他の作用を伴わずに複製される。
Exchange>
Exchange> operator takes two operands,
]]>
Exchange>演算子は、次に示す2個のオペランドをとる。
<<
そして、次に示す2個の結果を返す。
<<
スタックの一番上にある二つの要素が他の作用を伴わずに交換される。
Index>
Index
operator takes n+2> operands, where n is the value on the top of the Operand Stack:
]]>
Index>演算子は、次に示すn+2>個のオペランドをとる。ここで、n:Any>
<xn-1:Any>
<xn-2:Any>
. . .
<x1:Any>
<x0:Any>
]]>
<<n/: <n-1/: <n-2/: . . .
<1/: <0/:
そして、次に示す0/:Any>
<xn:Any>
<xn-1:Any>
<xn-2:Any>
. . .
<x1:Any>
<x0:Any>
]]>
<0/: <n/: <n-1/: <n-2/: . . .
<1/: <0/:
結果は、
{<0/: Index>}は、{<0/: Dup>}と等価とする。
Mark>
Mark> operator takes no operands and returns a single result
]]>
Mark>演算子は、オペランドをとらず、 次に示す1個の結果を返す。
<
Mark> operator is to push a Mark object on the stack.
]]>
Mark>演算子の効果は、単にスタック上にマークを積むだけとする。
Pop>
Pop> operator takes a single operand,
]]>
Pop>演算子は、次に示す1個のオペランドをとり、結果を返さない。
<
その効果は、スタックの一番上にある要素をスタックから削除する。
Roll>
Roll> operator takes n+2 operands, where n is the value on the top of the Operand Stack:
]]>
Roll>演算子は、次に示す
n-1:Any>
. . .
<xn-2:Any>
<x1:Any>
<x0:Any>
]]>
<<<n-1/: <n-2/: . . .
<1/: <0/:
そして、
まず、一番上の2個のオペランド