
AviSynth Syntax - Control structures
====================================

In the strict sense, :doc:`AviSynth Syntax <syntax>` provides only one control structure
(actually two, the other being the conditional :doc:`operator <syntax_operators>`, ``?:``, presented
elsewhere), the ``try..catch`` statement.

.. toctree::
    :maxdepth: 2

.. contents:: Table of contents
    


The ``try..catch`` statement
----------------------------

The ``try..catch`` statement permits the execution of code that **may**
generate a run-time error and the handling of the error, if it actually
arises.

The full syntax of the ``try..catch`` statement is:

::

    try {
        ...
        statements
        ...
    }
    catch(err_msg) {
        ...
        statements
        ...
    }

The ``err_msg`` string in the ``catch`` block contains the text generated by
AviSynth when the error inside the ``try`` block was encountered. This text
is the same that would appear in the familiar MessageBox that shows up when a
fatal script error occures.

You can query the text (it is a normal string :doc:`variable <syntax_script_variables>`) to find specific
substrings inside that indicate the error that has been encountered. This is
a technique that can produce many useful results (for an example, see
`here`_).


Other control structures (in the broad sense)
---------------------------------------------

In the broad sense, there are many elements inside :doc:`AviSynth Syntax <syntax>` that
although not control structures by themselves, together they allow the
creation of language constructs equivalent to a control structure. Those
constructs in turn allow the performance of complex programming tasks.

The elements under consideration are the following:

1.  The ``Eval()`` statement that allows execution of arbitrary script
    language statements (and its cousin ``Apply`` that simplifies calling
    functions by name).
2.  Multiline strings and in particular multiline strings surrounded by
    triple double quotes (the ``"""`` sequence of chars), since they allow to
    write string literals inside them naturally, as one would do in a normal
    AviSynth script.
3.  The ``Import()`` statement that allows execution of arbitrary
    scripts, which can return a value (not necessarily a clip; a script can
    return a value of any type, which can be assigned to a :doc:`variable <syntax_script_variables>` of the
    calling script).
4.  Recursion (the ability to create recursive functions).
5.  Control functions, in particular Assert, Select, Default, NOP.

The first three allow one to create simple :doc:`Block statements <../script_ref/script_ref_block_statements>`, such as
branching blocks (the analogous of the ``if..elseif..else`` control structure
commonly encountered in programming and scripting languages). A basic example
is presented below (see the link above for more):

::

    # define different filtering based on this flag
    heavy_filtering = true
    AviSource("c:\sources\mysource.avi")
    # assign result of Eval() to a variable to preserve the value of the
    last special variable
    dummy = flag ? Eval("""
        Levels(0, 1.2, 255, 20, 235)
        stext = "heavily filtered"
        Spline36Resize(720, 400)
    """) : Eval("""
        stext = "lightly filtered"
        BicubicResize(720, 400)
    """
    AddBorders(0, 40, 0, 40)
    Subtitle(stext)

The fourth is the general tool provided by the :doc:`AviSynth syntax <syntax>` for operating on
collections and calculating expressions of any complexity. It is also,
currently, **the only** tool.

This does not mean that there is something that you can't do inside the
AviSynth script language; in fact recursion together with assignment can
achieve everything an imperative language with looping constructs can do. It
just does it in a way that most people without special programming skills are
not familiar, since functional programming is not a major ICT course but
rather a specialised topic.

The fifth are more or less necessary tools inside the above constructs for
controlling input, setting values and facilitating proper execution of the
construct.

Lets look at some examples of recursion, to grasp the general pattern that
one must follow to master it for its purposes.


Example 1: Create a function that returns a n-times repeated character sequence
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

We will use an existing implementation, from `AVSLib`_ as our example:

::

    Function StrFill(string s, int count, bool "strict") {
        strict = Default(strict, true)
        Assert((strict ? count >= 0 : true), "StrFill: 'count'
        cannot be negative")
        return count > 0 ? s + StrFill(s, count - 1) : ""
    }

The recursion is the call that the function makes to itself at the ``return``
statement. In order to be done properly, the sequence of recursive calls must
eventually end to a single return value. Thus a recursive function's return
statement will always use the conditional :doc:`operator <syntax_operators>`, ``?:``.

This is all that is about recursion, the other two lines (where the fifth
element, control functions are used) are simply for ensuring that proper
arguments are passed in. The "strict" argument is just and add-on for using
the functions in case where it should quietly (without throwing an error)
return an empty string.


Example 2: Create a function that selects frames of a clip in arbitrary intervals
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Filters like :doc:`SelectEvery <../corefilters/selectevery>` allow the efficient selection of arbitrary sets
of frames. They require though that each set of frames has a constant frame
separation with its successor and predecessor set (in other words, the sets
are periodic on frame number). In order to select frames with varying
separation (that is non-periodic) we have to resort to script functions that
use recursion.

The function below is a generic frame selection filter, which in order to
select arbitrary frames uses a user-defined function (the ``func`` argument
must contain its name) that maps the interval ``[s_idx..e_idx)`` to the set
of frames that will be selected. ``func`` must accept a single integer as
argument and return the corresponding mapped frame number.

::

    Function FSelectEvery(clip c, string func, int s_idx, int e_idx) {
        Assert(s_idx >= 0, "FSelectEvery: start frame index
        (s_idx) is negative")
        f = Apply(func, s_idx)
        return (s_idx < e_idx && f >= 0 && f < c.Framecount) \
           ? c.Trim(f, -1) + FSelectEvery(c, func, s_idx + 1,
           e_idx) \
           : c.BlankClip(length=0)
    }

The recursive step (first conditional branch in the ``return`` statement) is
again an expression that involves the function as a subpart. This is not
necessary in the general case (depending on the specific task, it could also
be just the function call) but it is the most usual case when building
complex constructs.

``Apply`` calls the user function to calculate the frame number (a more
robust implementation would enclose this call in a ``try...catch`` block). If
the frame number is within the clip's frames then the associated frame is
appended to the result else recursion ends.

The following example will clarify the design:

::

    # my custom selector (x^2)
    Function CalcFrame(int idx) { return Int(Pow(idx, 2)) }

    AviSource("my_200_frames.avi")
    # select up to 20 frames, mapped by CalcFrame
    # in this case: 0, 1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144,
    169, 196
    FSelectEvery(last, "CalcFrame", 0, 20)

$Date: 2008/04/21 20:31:23 $

.. _here: http://forum.doom9.org/showthread.php?t=66627
.. _AVSLib: http://avslib.sourceforge.net/
