/usr/share/axiom-20140801/input/aseg7.as is in axiom-test 20140801-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | #include "axiom.as"
L ==> List;
Test2(R:EuclideanDomain) : with {
constPtrs? :() -> R;
set : R->R;
resetConstPtrs :()->R;
} == add {
import from R;
local constantPtrs:R:=0;
constPtrs?():R == {
free constantPtrs;
constantPtrs;
}
set(c:R):R == {
free constantPtrs;
constantPtrs := c;
}
resetConstPtrs():R == {
free constantPtrs;
constantPtrs := 0;
}
}
Test3 : with {
constPtrs? : ()-> Integer;
set: Integer->Integer;
resetConstPtrs: () ->Integer;
} == add {
import from Integer;
constantPtrs:Integer:=0;
constPtrs?():Integer == {
free constantPtrs;
constantPtrs;
}
set(c:Integer):Integer == {
free constantPtrs;
constantPtrs := c;
}
resetConstPtrs():Integer == {
free constantPtrs;
constantPtrs := 0;
}
}
foo2 : with {constPtrs? : ()-> Integer; set: Integer->Integer; resetConstPtrs: () ->Integer } == Test2(Integer) add {}
|