/*
 * --- GSMP-COPYRIGHT-NOTE-BEGIN ---
 * 
 * This copyright note is auto-generated by ./scripts/Create-CopyPatch.
 * Please add additional copyright information _after_ the line containing
 * the GSMP-COPYRIGHT-NOTE-END tag. Otherwise it might get removed by
 * the ./scripts/Create-CopyPatch script. Do not edit this copyright text!
 * 
 * GSMP: dam/example/regtester/test.spec
 * General Sound Manipulation Program is Copyright (C) 2000 - 2004
 *   Valentin Ziegler and René Rebe
 * 
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; version 2. A copy of the GNU General
 * Public License can be found in the file LICENSE.
 * 
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANT-
 * ABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
 * Public License for more details.
 * 
 * --- GSMP-COPYRIGHT-NOTE-END ---
 */
prelude {%
#include "library.hh"
#include "Tests.hh"

Container TestContainer;
%}

global {
  X false
  Y true   {% (TestContainer.y () == 4) %}
  Z false
}

multiple 3 Obj {%
  Object TestObject ( __number__ );
%}{
  INS false
  STATE $((# + 4) % 2) == 3$ | $# == 0$ {% c-block (); %} 
}

startup {%
  TestContainer.Init ();
%}

/*

check (Obj X)
{
  Z && X.inserted
}{%
  if (X.foo ())
	__error__ ("No Foo")
%}

check ()
{
  A ^ B
}{%
  // if
%}{%
  // else
%}

*/


action Insert ( Obj A , Obj B )
{
  !X | !(A.inserted & B.inserted) | Z
}{%
  A.Testobject.X();
  if (B.__number__ != 3)
    __error__ (" blablabla ");
%}{
  X false
  Z !(Y | A.inserted)
}