wehub-resource-sync
78 lines
1.5 KiB
Plaintext
78 lines
1.5 KiB
Plaintext
================
|
|
Simple function
|
|
================
|
|
|
|
function Factorial(n)
|
|
if n le 1 then
|
|
return 1;
|
|
end if;
|
|
return n * Factorial(n - 1);
|
|
end function;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(function_definition
|
|
name: (identifier)
|
|
(parameter_list
|
|
(parameter (identifier)))
|
|
(if_statement
|
|
(binary_expression
|
|
(identifier)
|
|
(number))
|
|
(return_statement (number)))
|
|
(return_statement
|
|
(binary_expression
|
|
(identifier)
|
|
(call_expression
|
|
name: (identifier)
|
|
(binary_expression
|
|
(identifier)
|
|
(number)))))))
|
|
|
|
================
|
|
Procedure with tilde
|
|
================
|
|
|
|
procedure Swap(~x, ~y)
|
|
t := x;
|
|
x := y;
|
|
y := t;
|
|
end procedure;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(procedure_definition
|
|
name: (identifier)
|
|
(parameter_list
|
|
(parameter (identifier))
|
|
(parameter (identifier)))
|
|
(assignment_statement (identifier) (identifier))
|
|
(assignment_statement (identifier) (identifier))
|
|
(assignment_statement (identifier) (identifier))))
|
|
|
|
================
|
|
Intrinsic with type
|
|
================
|
|
|
|
intrinsic MyAdd(x::RngIntElt, y::RngIntElt) -> RngIntElt
|
|
{ Returns x+y }
|
|
return x + y;
|
|
end intrinsic;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(intrinsic_definition
|
|
name: (identifier)
|
|
(parameter_list
|
|
(parameter (identifier) (identifier))
|
|
(parameter (identifier) (identifier)))
|
|
(identifier)
|
|
(doc_string)
|
|
(return_statement
|
|
(binary_expression
|
|
(identifier)
|
|
(identifier)))))
|