1 /******************************************************************************
2 * Copyright (c) 2000-2015 Ericsson Telecom AB
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * which accompanies this distribution, and is available at
6 * http://www.eclipse.org/legal/epl-v10.html
7 ******************************************************************************/
13 testcase tc1( in template integer iti ) runs on C0
18 testcase tc0( in integer ii ) runs on C0
26 execute(tc0(ii := 42));
28 template integer prime := ( 2,3,5,7 );
29 template integer notprime modifies prime := 42;
30 execute( tc1( prime ) );
31 execute( tc1( notprime ) );
32 execute( tc1( modifies prime := 42 ) );
33 execute( tc1( iti := notprime ) );
37 iti // testcase parameter name
39 modifies prime := 42 // inline template