Declare the options of the function f:

Separate the arguments to f into exactly one positional argument and options:

Appropriate messages are issued if the arguments to f are invalid:

Separate the positional arguments and options for a function that takes between 1 and 3 positional arguments:

Require at least 2 positional arguments:

Calling f with 1 argument is invalid:

Require exactly 3 positional arguments:

Allow "hidden" options that do not appear in Options[f]:

The option a0 is not a known option for f:

Allow the option named hidden as well as any option of Graphics to be set:

Treat unknown trailing options in positions min+1 though max as positional arguments rather than options for f:

The rule b1 is treated as a positional argument:

With the default "OptionsMode""Longest", a message is issued for unknown options:

A known option is still treated as an option for f with "OptionsMode""Shortest":

Treat all elements as positional arguments rather than options for f:

Separate the arguments without evaluating them:

Define a function that calls a helper function if called with one or two positional arguments:

When called with one or two positional arguments, the helper function is called:

When called with more than two positional arguments, f returns unevaluated and issues a message:

Use "OptionsMode""Shortest" to treat trailing empty lists as positional arguments:

ArgumentsOptions[f[…],…] issues a message and returns Failure[…] for invalid input to f:

If f does not accept options, all arguments are assumed to be positional:

Options are always returned as a flat list, irrespective of how they appeared in the input expression:

ArgumentsOptions[…,{min,max}] will always treat the first min arguments as positional:

Here, even though a0 matches OptionsPattern[], it is treated as a positional argument:

If the rule a0 is given after the positional arguments, it is treated as an option:

Only trailing options are considered when collecting options:

Trailing rules matching OptionsPattern[] are treated as options if they are known options for f:

This is true even if "OptionsMode""Shortest" is given:

An option specification that contains both known and unknown options generates a message:

In "OptionsMode""Shortest", a list with known and unknown options is treated as a positional argument if possible:

An unknown option past the maximum number of positional arguments still generates a message:

Only rules matching OptionsPattern[] can be valid option specifications:

The rule 12 does not match OptionsPattern[]:

Thus it is treated as a positional argument:

If 12 is given after the positional arguments, it is treated as an invalid option specification:

ArgumentsOptions returns Failure[…] when CheckArguments returns False:

If f accepts options, trailing empty lists are ignored by default because {} matches OptionsPattern[]:

Use "OptionsMode""Shortest" to treat a trailing empty list as a positional argument:

All arguments at or before the minimum argument count are considered positional arguments:

ArgumentsOptions does not check whether the option values are correct:

Infinity is not a valid value for Heads: