/******************************************************************************
 * Copyright (c) 2000-2014 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 ******************************************************************************/
module templates
{
    type component C0
    {}

    testcase tc1( in template integer iti ) runs on C0
    {
      setverdict(pass);
    }

    testcase tc0( in integer ii ) runs on C0
    {
      setverdict(pass);
    }

    control
    {
    	execute(tc0(17));
    	execute(tc0(ii := 42));

        template integer prime := ( 2,3,5,7 );
        template integer notprime modifies prime := 42;
        execute( tc1( prime ) );
        execute( tc1( notprime ) );
        execute( tc1( modifies prime := 42 ) );
        execute( tc1( iti := notprime ) );
        /*
        execute(
          tc1(
             iti // testcase parameter name
             :=  // assignmet
             modifies prime := 42 // inline template
             )
        );
		*/
    }

}