Test1.leac

MODULE TestDefinition
	CONST
		aT+
		x+ = 1
		z+ = x + 0.4

	VAR
		len+ INTEGER
		count- INTEGER

	PROCEDURE Do+
		VAR x, i INTEGER
		VAR count- INTEGER
		VAR result+ INTEGER
	BEGIN
	END Do

	PROCEDURE Do2+
		VAR x+, i-, j- INTEGER
		INFIX x i j
		PRE i # 0
		POST j > 0
		PRE j # 0
		POST x # 0
	BEGIN
	END Do2
END TestDefinition

MODULE TestService

	CONST au+ = 149597870700

	VAR
		x+ INTEGER
		hidden- STRING

	PROCEDURE Calc+
		VAR n- INTEGER; res+ INTEGER
	BEGIN
		res := au * n
	END Calc

	PROCEDURE Get+
		VAR res+ STRING
	BEGIN
		res := res + "got it"
	END Get

	PROCEDURE Init+
	BEGIN
		hidden := "init"
	END Init

	PROCEDURE Do+
		VAR x-, y-, z+ INTEGER
		INFIX z x y
	BEGIN
		z := (x + y) * au
	END Do

	PROCEDURE Do0+
		VAR x-, z+ INTEGER
		INFIX z x
	BEGIN
		z := x * au
	END Do0

END TestService

MODULE TestClient

	IMPORT TestService Service := TestService

	VAR
		x, z INTEGER
		hidden, res STRING
BEGIN
	Service.Init
	x:=0
	WHILE x<4 DO hidden := hidden + Service.hidden[x]; x := x+1 END
	res := "give me that... "
	Service.Get(res<- res)
CLOSE
	Service.x := 5 * TestService.au
	Service.x := Service.x + TestService.x + 5 *Service.au
	Service.Calc(n: 5, res<- x)
	Service.Calc(n: 10, res<- Service.x)
	z:= 6 \Service.Do 4
	z:= \TestService.Do0 4
END TestClient