test/compiler/fixfree.a4c

REQUIRE "system.a4l";

MODEL test1;
	x,y,z IS_A solver_var;
	x = y + z;
METHODS
METHOD on_load;
	FIX y;
END on_load;
END test1;

MODEL test2;
	x,y,z IS_A solver_var;
	x = y + z;
METHODS
METHOD on_load;
	FIX x,a,b,z;
END on_load;
END test2;

MODEL test3;
	x,y[1..2], z IS_A solver_var;
	n IS_A integer_constant;
	x = y[1] + y[2] + z;
METHODS
METHOD on_load;
	FIX x,y[n],z;
END on_load;
END test3;

1	jpye	2397	REQUIRE "system.a4l";
2
3			MODEL test1;
4			x,y,z IS_A solver_var;
5			x = y + z;
6			METHODS
7			METHOD on_load;
8	jpye	2399	FIX y;
9	jpye	2397	END on_load;
10			END test1;
11
12			MODEL test2;
13			x,y,z IS_A solver_var;
14			x = y + z;
15			METHODS
16			METHOD on_load;
17			FIX x,a,b,z;
18			END on_load;
19			END test2;
20
21	jpye	2399	MODEL test3;
22			x,y[1..2], z IS_A solver_var;
23			n IS_A integer_constant;
24			x = y[1] + y[2] + z;
25			METHODS
26			METHOD on_load;
27			FIX x,y[n],z;
28			END on_load;
29			END test3;
30	jpye	2397