@@ -1,8 +1,8 @@
Integer function fib(param : Integer):
if (int_lt(param, 2)):
- return 0
+ return 0!
else:
- return fib(param - 1) + fib(param - 2)
+ return fib(param - 1) + fib(param - 2)!
Void function main():
fib(5)
@@ -1,2 +1,2 @@
Void function test():
- a = return 1
+ a = return 1!
@@ -6,9 +6,9 @@ include "io.alh"
Integer function factorial(n : Integer):
if(integer_lte(n, 1)):
- return 1
+ return 1!
- return integer_multiplication(n, factorial(integer_subtraction(n, 1)))
+ return integer_multiplication(n, factorial(integer_subtraction(n, 1)))!
while(True):
if (integer_lte(param, 2)):
- return integer_addition(fib(integer_subtraction(param, 1)), fib(integer_subtraction(param, 2)))
+ return integer_addition(fib(integer_subtraction(param, 1)), fib(integer_subtraction(param, 2)))!
@@ -15,7 +15,7 @@ Integer function fib(param : Integer):
while (integer_gt(param, list_len(numbers))):
new = list_len(numbers)
list_append(numbers, integer_addition(dict_read(numbers, integer_subtraction(new, 2)), dict_read(numbers, integer_subtraction(new, 1))))
- return dict_read(numbers, integer_subtraction(param, 1))
+ return dict_read(numbers, integer_subtraction(param, 1))!
numbers = create_node()
@@ -2,7 +2,7 @@ Void function main():
a()
Integer function a():
- return b()
+ return b()!
Integer function b():
- return a()
+ return a()!
Integer function abc(a : Integer):
- return "def"
+ return "def"!
@@ -5,11 +5,11 @@ SCD PetriNets{
Class Natural {
$
if (bool_not(is_physical_int(self))):
- return "Natural has no integer value"
+ return "Natural has no integer value"!
elif (integer_lt(self, 0)):
- return "Natural does not have a positive or zero value"
+ return "Natural does not have a positive or zero value"!
- return "OK"
+ return "OK"!
}
Class Place{