diff options
Diffstat (limited to '1415/fp2/week3')
-rw-r--r-- | 1415/fp2/week3/camil/StdDynSet.dcl | 24 | ||||
-rw-r--r-- | 1415/fp2/week3/camil/StdDynSet.icl | 62 | ||||
-rw-r--r-- | 1415/fp2/week3/camil/StdDynSet.prj | 569 | ||||
-rw-r--r-- | 1415/fp2/week3/camil/StdDynSet.prp | 217 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/GetallenRaden.icl | 52 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/GetallenRaden.prj | 1594 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/GetallenRaden.prp | 543 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/NotatieDynamics.icl | 25 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/StdDynSet.dcl | 24 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/StdDynSet.icl | 54 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/StdDynSet.prj | 569 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/StdDynSet.prp | 193 | ||||
-rw-r--r-- | 1415/fp2/week3/mart/fib.dyn | 1 | ||||
-rw-r--r-- | 1415/fp2/week3/week3.tar.gz | bin | 0 -> 1717 bytes |
14 files changed, 3927 insertions, 0 deletions
diff --git a/1415/fp2/week3/camil/StdDynSet.dcl b/1415/fp2/week3/camil/StdDynSet.dcl new file mode 100644 index 0000000..160af6c --- /dev/null +++ b/1415/fp2/week3/camil/StdDynSet.dcl @@ -0,0 +1,24 @@ +definition module StdDynSet + +import StdOverloaded + +class Set a | TC, ==, toString a + +:: Set + +instance zero Set +instance toString Set +instance == Set + +toSet :: a -> Set | Set a + +nrOfElts :: Set -> Int +isEmptySet :: Set -> Bool + +memberOfSet :: a Set -> Bool | Set a +isSubset :: Set Set -> Bool +isStrictSubset :: Set Set -> Bool + +union :: Set Set -> Set +intersection :: Set Set -> Set +without :: Set Set -> Set diff --git a/1415/fp2/week3/camil/StdDynSet.icl b/1415/fp2/week3/camil/StdDynSet.icl new file mode 100644 index 0000000..576bec9 --- /dev/null +++ b/1415/fp2/week3/camil/StdDynSet.icl @@ -0,0 +1,62 @@ +// Mart Lubbers s4109503, Camil Staps s4498062 + +implementation module StdDynSet + +import StdEnv +import StdMaybe +import StdDynamic + +isEqual:: Dynamic t -> Bool | Set t +isEqual (x :: t^) a = x == a +isEqual _ _ = False + +class Set a | TC, ==, toString a + +:: Set = Set [(Dynamic, Dynamic -> Bool, String)] + +instance zero Set +where zero = Set [] + +instance toString Set +where toString (Set [(_,_,a):as]) = "{" +++ a +++ (foldl (+++) "" ["," +++ s \\ (_,_,s) <- as]) +++ "}" + +instance == Set +where == a b = nrOfElts a == nrOfElts b && isSubset a b + +toSet :: a -> Set | Set a +toSet e = Set [(dynamic e, \x = isEqual x e, toString e)] + +nrOfElts :: Set -> Int +nrOfElts (Set a) = length a + +isEmptySet :: Set -> Bool +isEmptySet a = (nrOfElts a) == 0 + +memberOfSet :: a Set -> Bool | Set a +memberOfSet _ (Set []) = False +memberOfSet x (Set [(y,_,_):ys]) = isEqual y x || memberOfSet x (Set ys) + +dynMemberOfSet :: Dynamic Set -> Bool +dynMemberOfSet _ (Set []) = False +dynMemberOfSet x (Set [(_,eq,_):ys]) = eq x || dynMemberOfSet x (Set ys) + +isSubset :: Set Set -> Bool +isSubset a b = (nrOfElts a) == (nrOfElts (intersection a b)) + +isStrictSubset :: Set Set -> Bool +isStrictSubset a b = isSubset a b && nrOfElts a < nrOfElts b + +union :: Set Set -> Set +union (Set a) (Set b) = Set (a ++ (fromSet (without (Set b) (Set a)))) +where + fromSet :: Set -> [(Dynamic, Dynamic -> Bool, String)] + fromSet (Set x) = x + +intersection :: Set Set -> Set +intersection as (Set []) = as +intersection (Set as) (Set bs) = Set [(a,eq,ts) \\ (a,eq,ts) <- as | dynMemberOfSet a (Set bs)] + +without :: Set Set -> Set +without (Set as) (Set bs) = Set [(a,eq,ts) \\ (a,eq,ts) <- as | not (dynMemberOfSet a (Set bs))] + +Start = toString (union (toSet 1) (toSet 2)) diff --git a/1415/fp2/week3/camil/StdDynSet.prj b/1415/fp2/week3/camil/StdDynSet.prj new file mode 100644 index 0000000..4328042 --- /dev/null +++ b/1415/fp2/week3/camil/StdDynSet.prj @@ -0,0 +1,569 @@ +Version: 1.4
+Global
+ ProjectRoot: .
+ Built: True
+ Target: Experimental
+ Exec: {Project}\StdDynSet.exe
+ CodeGen
+ CheckStacks: False
+ CheckIndexes: True
+ Application
+ HeapSize: 2097152
+ StackSize: 512000
+ ExtraMemory: 81920
+ IntialHeapSize: 204800
+ HeapSizeMultiplier: 4096
+ ShowExecutionTime: False
+ ShowGC: False
+ ShowStackSize: False
+ MarkingCollector: False
+ StandardRuntimeEnv: True
+ Profile
+ Memory: False
+ MemoryMinimumHeapSize: 0
+ Time: False
+ Stack: False
+ Output
+ Output: ShowConstructors
+ Font: Courier
+ FontSize: 9
+ WriteStdErr: False
+ Link
+ LinkMethod: Static
+ GenerateRelocations: False
+ GenerateLinkMap: False
+ LinkResources: False
+ ResourceSource:
+ GenerateDLL: False
+ ExportedNames:
+ Paths
+ Path: {Project}
+ Precompile:
+ Postlink:
+MainModule
+ Name: StdDynSet
+ Dir: {Project}
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: read_function.obj
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: mem.obj
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: low.obj
+ NeededLibraries
+ Library: StdDynamic_kernel32_library
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
diff --git a/1415/fp2/week3/camil/StdDynSet.prp b/1415/fp2/week3/camil/StdDynSet.prp new file mode 100644 index 0000000..87899a5 --- /dev/null +++ b/1415/fp2/week3/camil/StdDynSet.prp @@ -0,0 +1,217 @@ +Version: 1.4
+MainModule
+ Name: StdDynSet
+ Dir: {Project}
+ Dcl
+ WindowPosition
+ X: 65
+ Y: 47
+ SizeX: 800
+ SizeY: 640
+ DclOpen: False
+ Icl
+ WindowPosition
+ X: 10
+ Y: 10
+ SizeX: 800
+ SizeY: 600
+ IclOpen: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ Dcl
+ WindowPosition
+ X: 10
+ Y: 10
+ SizeX: 800
+ SizeY: 600
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ Dcl
+ WindowPosition
+ X: 276
+ Y: 168
+ SizeX: 800
+ SizeY: 600
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ Dcl
+ WindowPosition
+ X: 10
+ Y: 10
+ SizeX: 800
+ SizeY: 600
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ DclOpen: False
+ IclOpen: False
diff --git a/1415/fp2/week3/mart/GetallenRaden.icl b/1415/fp2/week3/mart/GetallenRaden.icl new file mode 100644 index 0000000..c1b2bb0 --- /dev/null +++ b/1415/fp2/week3/mart/GetallenRaden.icl @@ -0,0 +1,52 @@ +// Mart Lubbers s4109503, Camil Staps s4498062
+
+module GetallenRaden
+
+import StdEnv
+import StdDynamic, StdDynamicFileIO
+import StdFileSelect
+
+// Example generation program
+//fib :: [Int]
+//fib = [fib` i \\ i <- [0..]]
+// where
+// fib` 0 = 0
+// fib` 1 = 1
+// fib` n = fib` (n-1) + fib` (n-2)
+//
+//Start :: *World -> (Bool, *World)
+//Start world = writeDynamic "fib" (dynamic fib) world
+
+makeSeq :: Dynamic -> [Int]
+makeSeq (x :: [Int]) = x
+makeSeq _ = abort "You selected a file not containing a sequence"
+
+basename :: String Int -> String
+basename s 0 = toString s.[0]
+basename s n = let c = toString s.[n] in if (c == "\\") "" ((basename s (n-1)) +++ c)
+
+loadSeq :: String *World -> *([Int], String, *World)
+loadSeq s world
+# s = let l = size s in s % (0, l-5)
+# (ok, dyn, world) = readDynamic s world
+| not ok = abort "You didn't select a dynamic file"
+| otherwise = (makeSeq dyn, basename s ((size s)-1), world)
+
+play :: *File String [Int] Int Int -> *File
+play io _ _ _ 5 = io <<< "Congratulations, you had 5 correct answers\n"
+play io seqname [nextnum:sequence] currentnum correct
+# io = io <<< (seqname +++ "[" +++ toString currentnum +++ "] = " +++ toString nextnum +++ "\n")
+# (ok, guessednumber, io) = freadi io
+| not ok = play (snd (freadline io)) seqname sequence (currentnum + 1) correct
+# (io, correct) = if (guessednumber == hd sequence) (io, correct+1) (io <<< "Incorrect...\n", correct)
+= play (snd (freadline io)) seqname sequence (currentnum + 1) correct
+
+Start :: *World -> *World
+Start world
+# (inputfilepath, world) = selectInputFile world
+| isNothing inputfilepath = abort "Please select a file"
+# (sequence, sequencename, world) = loadSeq (fromJust inputfilepath) world
+# (io, world) = stdio world
+# io = (play io sequencename sequence 0 0) <<< "Press any key to close"
+# (_, world) = fclose io world
+= world
diff --git a/1415/fp2/week3/mart/GetallenRaden.prj b/1415/fp2/week3/mart/GetallenRaden.prj new file mode 100644 index 0000000..e857306 --- /dev/null +++ b/1415/fp2/week3/mart/GetallenRaden.prj @@ -0,0 +1,1594 @@ +Version: 1.4
+Global
+ ProjectRoot: .
+ Built: True
+ Target: Object IO
+ Exec: {Project}\GetallenRaden.exe
+ CodeGen
+ CheckStacks: False
+ CheckIndexes: True
+ Application
+ HeapSize: 2097152
+ StackSize: 512000
+ ExtraMemory: 81920
+ IntialHeapSize: 204800
+ HeapSizeMultiplier: 4096
+ ShowExecutionTime: False
+ ShowGC: False
+ ShowStackSize: False
+ MarkingCollector: False
+ StandardRuntimeEnv: True
+ Profile
+ Memory: False
+ MemoryMinimumHeapSize: 0
+ Time: False
+ Stack: False
+ Output
+ Output: NoReturnType
+ Font: Courier
+ FontSize: 9
+ WriteStdErr: False
+ Link
+ LinkMethod: Dynamic
+ GenerateRelocations: False
+ GenerateLinkMap: False
+ LinkResources: False
+ ResourceSource:
+ GenerateDLL: False
+ ExportedNames:
+ Paths
+ Path: {Project}
+ Path: {Application}\Libraries\Dynamics
+ Path: {Application}\Libraries\Dynamics\implementation
+ Path: {Application}\Libraries\Dynamics\implementation\windows
+ Path: {Application}\Libraries\Dynamics\general
+ Path: {Application}\Libraries\Directory
+ Precompile:
+ Postlink:
+MainModule
+ Name: GetallenRaden
+ Dir: {Project}
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicFileIO
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynID
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: read_function.obj
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: mem.obj
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: low.obj
+ NeededLibraries
+ Library: StdDynamic_kernel32_library
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: md5
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: Directory
+ Dir: {Application}\Libraries\Directory
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cDirectory.
+ Module
+ Name: StdBitmap
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdControlDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFileSelect
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdIOBasic
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdIOCommon
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdId
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdKey
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMenuDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdPSt
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdPicture
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdPictureDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdProcessAttribute
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdProcessDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdTimerDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdWindowDef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: cast
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: commondef
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: device
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: deviceevents
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: devicefunctions
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: devicesystemstate
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: id
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: iostate
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: keyfocus
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: menuhandle
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: processhandle
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: processstack
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: receiverhandle
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: receivermessage
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: receivertable
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: roundrobin
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: scheduler
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: semidynamic
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: systemid
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: timerhandle
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: timertable
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: windowhandle
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: world
+ Dir: {Application}\Libraries\ObjectIO
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: clCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: util_121.
+ ObjectFile: cpicture_121.
+ ObjectFile: cdebug_121.
+ ObjectFile: cCrossCall_121.
+ ObjectFile: cCrossCallWindows_121.
+ ObjectFile: cCCallWindows_121.
+ ObjectFile: cCCallSystem_121.
+ Module
+ Name: clCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cCrossCallWindows_121.
+ ObjectFile: cCrossCallProcedureTable_121.
+ ObjectFile: cCrossCallCursor_121.
+ ObjectFile: cCrossCall_121.
+ ObjectFile: cCCallSystem_121.
+ ObjectFile: cCCallWindows_121.
+ ObjectFile: cAcceleratorTable_121.
+ NeededLibraries
+ Library: userExt_library
+ Library: gdiExt_library
+ Library: kernelExt_library
+ Library: winspool_library
+ Library: winmm_library
+ Library: shell32_library
+ Library: ole32_library
+ Library: kernel32_library
+ Library: comctl32_library
+ Library: advapi32_library
+ Module
+ Name: menuCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cCrossCallMenus_121.
+ Module
+ Name: menuCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osactivaterequests
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osbeep
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osbitmap
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osdocumentinterface
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cCrossCallxDI_121.
+ Module
+ Name: osevent
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osfileselect
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cCrossCallFileSelectors_121.
+ Module
+ Name: osfont
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osguishare
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: oskey
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osmenu
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osmouse
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: ospicture
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: osrgn
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: ossystem
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: ostime
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: ostoolbar
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: ostoolbox
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cCrossCallFont_121.
+ Module
+ Name: ostypes
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: pictCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: rgnCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: windowCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: cpicture_121.
+ ObjectFile: cCCallWindows_121.
+ Module
+ Name: windowCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdArrayExtensions
+ Dir: {Application}\Libraries\StdLib
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdLibMisc
+ Dir: {Application}\Libraries\StdLib
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
diff --git a/1415/fp2/week3/mart/GetallenRaden.prp b/1415/fp2/week3/mart/GetallenRaden.prp new file mode 100644 index 0000000..cc79889 --- /dev/null +++ b/1415/fp2/week3/mart/GetallenRaden.prp @@ -0,0 +1,543 @@ +Version: 1.4
+MainModule
+ Name: GetallenRaden
+ Dir: {Project}
+ DclOpen: False
+ Icl
+ WindowPosition
+ X: 10
+ Y: 10
+ SizeX: 800
+ SizeY: 600
+ IclOpen: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicFileIO
+ Dir: {Application}\Libraries\Dynamics
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynID
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: md5
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: Directory
+ Dir: {Application}\Libraries\Directory
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdBitmap
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdControlDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFileSelect
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdIOBasic
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdIOCommon
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdId
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdKey
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMenuDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdPSt
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdPicture
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdPictureDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdProcessAttribute
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdProcessDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdTimerDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdWindowDef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: cast
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: commondef
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: device
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: deviceevents
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: devicefunctions
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: devicesystemstate
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: id
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: iostate
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: keyfocus
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: menuhandle
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: processhandle
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: processstack
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: receiverhandle
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: receivermessage
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: receivertable
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: roundrobin
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: scheduler
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: semidynamic
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: systemid
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: timerhandle
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: timertable
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: windowhandle
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: world
+ Dir: {Application}\Libraries\ObjectIO
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: clCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: clCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: menuCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: menuCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osactivaterequests
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osbeep
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osbitmap
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osdocumentinterface
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osevent
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osfileselect
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osfont
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osguishare
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: oskey
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osmenu
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osmouse
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ospicture
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: osrgn
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ossystem
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ostime
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ostoolbar
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ostoolbox
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: ostypes
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: pictCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: rgnCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: windowCCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: windowCrossCall_12
+ Dir: {Application}\Libraries\ObjectIO\OS Windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdArrayExtensions
+ Dir: {Application}\Libraries\StdLib
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdLibMisc
+ Dir: {Application}\Libraries\StdLib
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ DclOpen: False
+ IclOpen: False
diff --git a/1415/fp2/week3/mart/NotatieDynamics.icl b/1415/fp2/week3/mart/NotatieDynamics.icl new file mode 100644 index 0000000..da90675 --- /dev/null +++ b/1415/fp2/week3/mart/NotatieDynamics.icl @@ -0,0 +1,25 @@ +module NotatieDynamics
+
+import StdEnv
+import StdDynamic, StdDynamicFileIO
+
+Start = f4 f3
+
+f1 :: Int Int -> Int
+f1 (x :: Int) y = x + y
+
+f2 :: Bool a a -> a
+f2 (b :: Bool) (e1 :: a) (e2 :: a) = dynamic if b e1 e2 :: a
+
+f3 :: [Int]
+f3 = dynamic map fib [1 ..]
+
+fib 0 = 1
+fib 1 = 1
+fib n = fib (n-1) + fib (n-2)
+
+f4 :: [Int] -> [Int]
+f4 (xs :: [Int]) = take 10 xs
+
+f5 :: [Int] -> [Int]
+f5 = f4 f3
diff --git a/1415/fp2/week3/mart/StdDynSet.dcl b/1415/fp2/week3/mart/StdDynSet.dcl new file mode 100644 index 0000000..de9a9b7 --- /dev/null +++ b/1415/fp2/week3/mart/StdDynSet.dcl @@ -0,0 +1,24 @@ +definition module StdDynSet
+
+import StdOverloaded
+
+class Set a | TC, ==, toString a
+
+:: Set
+
+instance zero Set
+instance toString Set
+instance == Set
+
+toSet :: a -> Set | Set a
+
+nrOfElts :: Set -> Int
+isEmptySet :: Set -> Bool
+
+memberOfSet :: a Set -> Bool | Set a
+isSubset :: Set Set -> Bool
+isStrictSubset :: Set Set -> Bool
+
+union :: Set Set -> Set
+intersection :: Set Set -> Set
+without :: Set Set -> Set
diff --git a/1415/fp2/week3/mart/StdDynSet.icl b/1415/fp2/week3/mart/StdDynSet.icl new file mode 100644 index 0000000..1202ce2 --- /dev/null +++ b/1415/fp2/week3/mart/StdDynSet.icl @@ -0,0 +1,54 @@ +implementation module StdDynSet
+
+import StdEnv
+import StdDynamic
+
+class Set a | TC, ==, toString a
+
+:: Set = Set [Dynamic]
+
+instance zero Set
+where zero = Set []
+
+instance toString Set
+where toString (Set a) = abort "toString not implemented"
+
+instance == Set
+where
+ (==) (Set []) (Set []) = True
+ (==) (Set []) _ = False
+ (==) _ (Set []) = False
+
+toSet :: a -> Set | Set a
+toSet a = Set [dynamic a]
+
+nrOfElts :: Set -> Int
+nrOfElts (Set a) = length a
+
+isEmptySet :: Set -> Bool
+isEmptySet (Set []) = True
+isEmptySet _ = False
+
+memberOfSet :: a Set -> Bool | Set a
+memberOfSet _ (Set []) = False
+memberOfSet x (Set [y:xs])
+| isEqual x y = True
+| otherwise = memberOfSet x xs
+
+isSubset :: Set Set -> Bool
+isSubset a b = abort "isSubset nog niet geimplementeerd.\n"
+
+isStrictSubset :: Set Set -> Bool
+isStrictSubset a b = abort "isStrictSubset nog niet geimplementeerd.\n"
+
+union :: Set Set -> Set
+union a b = abort "union nog niet geimplementeerd.\n"
+
+intersection :: Set Set -> Set
+intersection a b = abort "intersection nog niet geimplementeerd.\n"
+
+without :: Set Set -> Set
+without a b = abort "without nog niet geimplementeerd.\n"
+
+Start :: Set
+Start = toSet 1
diff --git a/1415/fp2/week3/mart/StdDynSet.prj b/1415/fp2/week3/mart/StdDynSet.prj new file mode 100644 index 0000000..4328042 --- /dev/null +++ b/1415/fp2/week3/mart/StdDynSet.prj @@ -0,0 +1,569 @@ +Version: 1.4
+Global
+ ProjectRoot: .
+ Built: True
+ Target: Experimental
+ Exec: {Project}\StdDynSet.exe
+ CodeGen
+ CheckStacks: False
+ CheckIndexes: True
+ Application
+ HeapSize: 2097152
+ StackSize: 512000
+ ExtraMemory: 81920
+ IntialHeapSize: 204800
+ HeapSizeMultiplier: 4096
+ ShowExecutionTime: False
+ ShowGC: False
+ ShowStackSize: False
+ MarkingCollector: False
+ StandardRuntimeEnv: True
+ Profile
+ Memory: False
+ MemoryMinimumHeapSize: 0
+ Time: False
+ Stack: False
+ Output
+ Output: ShowConstructors
+ Font: Courier
+ FontSize: 9
+ WriteStdErr: False
+ Link
+ LinkMethod: Static
+ GenerateRelocations: False
+ GenerateLinkMap: False
+ LinkResources: False
+ ResourceSource:
+ GenerateDLL: False
+ ExportedNames:
+ Paths
+ Path: {Project}
+ Precompile:
+ Postlink:
+MainModule
+ Name: StdDynSet
+ Dir: {Project}
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: read_function.obj
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: mem.obj
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ NeededObjFiles
+ ObjectFile: low.obj
+ NeededLibraries
+ Library: StdDynamic_kernel32_library
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ Compiler
+ NeverMemoryProfile: False
+ NeverTimeProfile: False
+ StrictnessAnalysis: True
+ ListTypes: StrictExportTypes
+ ListAttributes: True
+ Warnings: True
+ Verbose: True
+ ReadableABC: False
+ ReuseUniqueNodes: True
+ Fusion: False
diff --git a/1415/fp2/week3/mart/StdDynSet.prp b/1415/fp2/week3/mart/StdDynSet.prp new file mode 100644 index 0000000..f2a25e4 --- /dev/null +++ b/1415/fp2/week3/mart/StdDynSet.prp @@ -0,0 +1,193 @@ +Version: 1.4
+MainModule
+ Name: StdDynSet
+ Dir: {Project}
+ DclOpen: False
+ Icl
+ WindowPosition
+ X: 10
+ Y: 10
+ SizeX: 800
+ SizeY: 600
+ IclOpen: False
+OtherModules
+ Module
+ Name: StdCleanTypes
+ Dir: {Application}\Libraries\Dynamics
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamic
+ Dir: {Application}\Libraries\Dynamics
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: BitSet
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DefaultElem
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: EnDecode
+ Dir: {Application}\Libraries\Dynamics\general
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynIDMacros
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicUtilities
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicLowLevelInterface
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicTypes
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdDynamicVersion
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemDynamic
+ Dir: {Application}\Libraries\Dynamics\implementation
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicGraphConversion
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: DynamicLinkerInterface
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: memory_mapped_files
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: shared_buffer
+ Dir: {Application}\Libraries\Dynamics\implementation\windows
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdBool
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdChar
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdCharList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdClass
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdEnv
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFile
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdFunc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdInt
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMisc
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOrdList
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdOverloaded
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdReal
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdString
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdTuple
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemArray
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: _SystemEnum
+ Dir: {Application}\Libraries\StdEnv
+ DclOpen: False
+ IclOpen: False
+ Module
+ Name: StdMaybe
+ Dir: {Application}\Libraries\StdLib
+ DclOpen: False
+ IclOpen: False
diff --git a/1415/fp2/week3/mart/fib.dyn b/1415/fp2/week3/mart/fib.dyn new file mode 100644 index 0000000..8b8335a --- /dev/null +++ b/1415/fp2/week3/mart/fib.dyn @@ -0,0 +1 @@ +0a49c9db651c81d64bfc61520d7cfd6b diff --git a/1415/fp2/week3/week3.tar.gz b/1415/fp2/week3/week3.tar.gz Binary files differnew file mode 100644 index 0000000..84c7697 --- /dev/null +++ b/1415/fp2/week3/week3.tar.gz |