fのオプションを宣言する：

fが厳密に1つの位置引数と既知のオプションで呼ばれていることを確認する：

fの引数が無効のときは適切なメッセージが出される：

1つから3つの位置引数を取る関数の引数をチェックする：

少なくとも2つの位置引数が必要である：

fを1つの引数で呼んでも無効である：

厳密に3つの位置引数が必要である：

Options[f]には現れない「隠れた(hidden)」オプションが使えるようにする：

オプション a0はfの既知のオプションではない：

hiddenという名前のオプションをGraphicsの任意のオプションと同様に設定できるようにする：

位置 min+1から max までにある任意の末尾のオプションを，fのオプションとしてではなく位置引数として扱う：

規則b2は位置引数として扱われる：

デフォルトの"OptionsMode""Longest"のときは，未知のオプションに対してメッセージが出される：

既知のオプションは，"OptionsMode""Shortest"としても f のオプションとして扱われる：

すべての要素を，f のオプションではなく位置引数として扱う：

2つの引数を取る関数を定義する：

それ以外の数の引数があるときはメッセージが出され，関数は未評価で返される：

以下は正常に評価される：

引数の数が不正なときはメッセージが出される：

最大で1個の引数で呼ばれたときはヘルパー関数を呼び出す関数を定義する：

最大で1個の引数で呼ばれると，ヘルパー関数が呼び出される：

fは，2つ以上の引数で呼ばれると未評価のまま返され，メッセージが出される：

CheckArguments[f[…],…]は，f についての無効な入力に対しては，f についてのメッセージを出してFalseを返す：

f がオプションを取らないときは，すべての引数が位置引数であると仮定される：

CheckArguments[…,{min,max}]は，常に最初の min 個の引数を位置引数として扱う：

以下では，b0はOptionsPattern[]と一致しているにもかかわらず，位置引数として扱われている：

規則b0は，位置引数の後で与えらると未知のオプションとして扱われる：

OptionsPattern[]と一致する末尾の規則は，f にとって既知のオプションの場合はオプションとして扱われる：

これは，たとえ"OptionsMode""Shortest"が与えられていても真である：

オプション指定に未知と既知の両方のオプションが含まれているとメッセージが出される：

"OptionsMode""Shortest"とすると，未知と既知のオプションのリストは，可能な場合は位置引数として扱われる：

位置引数の最大数を超える未知のオプションがあってもメッセージが出される：

OptionsPattern[]と一致する規則だけが有効なオプション指定である：

規則12はOptionsPattern[]とは一致しない：

したがって，これは位置引数として扱われる：

12は，位置引数の後で与えられた場合は無効なオプション指定として扱われる：

CheckArgumentsは，ArgumentsOptionsがFailure[…]を返すときはFalseを返す：

最少数の引数の位置あるいはその前にある引数はすべて位置引数として扱われる：

IgnoreCaseTrueはStringCasesのオプションであるにもかかわらず引数として扱われる：

CheckArgumentsはオプション値が正しいかどうかはチェックしない：

InfinityはHeadsの有効な値ではない：