From e78c97852e0a99aa6b9e19e0b612a66926b0d579 Mon Sep 17 00:00:00 2001 From: charlie Date: Sat, 19 Dec 2015 22:22:29 +0100 Subject: [PATCH] clean tcp shizzle werkt nu, heeft aangepaste versie van gast nodig! --- a3/code/clean-tcptest/tcpiptest.icl | 16 +- a3/code/clean-tcptest/tcpiptest.prj | 2033 +++++++++++++++++++++++++++ a3/code/tcpmodel.icl | 63 +- a3/code/tcpmodel.prj | 113 +- a3/code/testOut.txt | 18 - 5 files changed, 2198 insertions(+), 45 deletions(-) diff --git a/a3/code/clean-tcptest/tcpiptest.icl b/a3/code/clean-tcptest/tcpiptest.icl index 2f88587..aac16e7 100644 --- a/a3/code/clean-tcptest/tcpiptest.icl +++ b/a3/code/clean-tcptest/tcpiptest.icl @@ -1,20 +1,24 @@ module tcpiptest import StdEnv +import StdIO import StdMaybe import TCPIP hostIP = "127.0.0.1" hostPort = 1203 -handleComs con world = (con``, world``) where - (con`, world`) = send "Hello World!\n" con world - (con``, world``) = send "More text here!\n" con` world` +:: *Val = String +:: *State :== PSt Val + +handleComs con st = (con``, st``) where + (con`, st`) = send "Hello World!\n" con st + (con``, st``) = send "More text here!\n" con` st` Start world = case to of - TR_Success = handleComs (toStringSChannel con.sChannel) world`` + TR_Success = handleComs (toStringSChannel con.sChannel) st` _ = abort "CONNECTION ERROR" where - (Just adr, world`) = lookupIPAddress hostIP world - (to, mcon, world``) = connectTCP_MT Nothing (adr,hostPort) world` + (Just adr, st) = lookupIPAddress hostIP world + (to, mcon, st`) = connectTCP_MT Nothing (adr,hostPort) st (Just con) = mcon diff --git a/a3/code/clean-tcptest/tcpiptest.prj b/a3/code/clean-tcptest/tcpiptest.prj index 923432a..e38e3eb 100644 --- a/a3/code/clean-tcptest/tcpiptest.prj +++ b/a3/code/clean-tcptest/tcpiptest.prj @@ -39,6 +39,8 @@ Global Path: {Project} Path: {Application}\Libraries\TCPIP Path: {Application}\Libraries\StdLib + Path: {Application}\Libraries\ObjectIO + Path: {Application}\Libraries\ObjectIO\OS Windows Precompile: Postlink: MainModule @@ -200,6 +202,20 @@ OtherModules 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 @@ -214,6 +230,2023 @@ OtherModules ReadableABC: False ReuseUniqueNodes: True Fusion: False + 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: StdClipboard + 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: StdControl + 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: StdControlAttribute + 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: StdControlClass + 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: StdControlReceiver + 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: StdIO + 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: StdMenu + 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: StdMenuAttribute + 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: StdMenuElement + 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: StdMenuElementClass + 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: StdMenuReceiver + 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: StdPStClass + 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: StdPrint + 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: StdPrintText + 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: StdProcess + 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: StdReceiver + 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: StdReceiverAttribute + 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: StdReceiverDef + 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: StdSystem + 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: StdTime + 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: StdTimer + 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: StdTimerAttribute + 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: StdTimerElementClass + 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: StdTimerReceiver + 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: StdWindow + 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: StdWindowAttribute + 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: controlaccess + 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: controlcreate + 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: controldraw + 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: controlinternal + 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: controllayout + 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: controlpos + 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: controlrelayout + 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: controlresize + 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: controlvalidate + 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: layout + 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: menuaccess + 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: menucreate + 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: menudefaccess + 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: menudevice + 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: menuinternal + 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: menuitems + 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: mstate + 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: processdevice + 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: receiveraccess + 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: receiverdefaccess + 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: receiverdevice + 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: receiverid + 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: relayout + 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: sdisize + 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: timeraccess + 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: timerdefaccess + 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: timerdevice + 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: toolbar + 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: windowaccess + 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: windowclipstate + 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: windowcontrols + 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: windowcreate + 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: windowdevice + 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: windowdispose + 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: windowdraw + 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: windowupdate + 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: windowvalidate + 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: wstate + 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: wstateaccess + 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: clipboardCrossCall_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: cCrossCallClipboard_121. + 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: menuevent + 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: menuwindowmenu + 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: osclipboard + 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: osprint + 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: cprinter_121. + ObjectFile: cCrossCallPrinter_121. + 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: ostick + 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: ostooltip + 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: 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: oswindow + 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: processevent + 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: receiverevent + 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: timerevent + 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: windowevent + 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 diff --git a/a3/code/tcpmodel.icl b/a3/code/tcpmodel.icl index f1d3100..439dde8 100644 --- a/a3/code/tcpmodel.icl +++ b/a3/code/tcpmodel.icl @@ -1,28 +1,40 @@ module tcpmodel -import gast +import gast, TCPIP derive bimap [] - derive gEq State derive gLess State derive genShow State - derive ggen Input derive genShow Input - derive gEq Output derive genShow Output +/* connection settings */ +hostIP = "127.0.0.1" +hostPort = 1203 + /* states */ :: State = Listen | ReceivedSYN | Established | Waiting | Closed /* input (received from client) */ :: Input = InSYN | InACK | InRST | InFIN | InUserData +instance toString Input where + toString InSYN = "SYN" + toString InACK = "ACK" + toString InRST = "RST" + toString InFIN = "FIN" + toString InUserData = "DATA " + /* output (sent to client) */ :: Output = OutSYN | OutACK | OutFIN +toOutput :: String -> [Output] +toOutput "SYN-ACK" = [OutSYN, OutACK] +toOutput _ = [] + /* state transitions */ stateTrans :: State Input -> [Trans Output State] stateTrans Listen InSYN = [Pt [OutSYN, OutACK] ReceivedSYN] @@ -40,9 +52,42 @@ stateTrans Established _ = [Pt [] Established] stateTrans Waiting InACK = [Pt [] Established] stateTrans Waiting _ = [Pt [] Waiting] -/* invalid test implementation of SUT */ -m0 :: Int Input -> ([Output], Int) -m0 0 InSYN = ([OutSYN, OutACK], 1) -m0 n _ = ([], n) +/* sut state */ +:: *SutState :== (StringSChannel, StringRChannel, *World) + +/* adapter for SUT communication */ +adapter :: *SutState Input -> ([Output], *SutState) +adapter (s, r, world) i + # (s, world) = send (toString i) s world + # (cmd, r, world) = receive r world + = (toOutput cmd, (s, r, world)) + +/* reset SUT */ +reset :: *SutState -> *SutState +reset (s, r, world) + # (s, world) = send "SUT-RESET" s world + = (s, r, world) + +Start world + /* open console */ + # (console, world) = stdio world + /* setup connection with adapter */ + # (Just adr, world) = lookupIPAddress hostIP world + # (to, mcon, world) = connectTCP_MT Nothing (adr, hostPort) world + | to <> TR_Success + # console = console <<< "ERROR: can't connect to SUT!\n" + # (_, world) = fclose console world + = world + # (Just con) = mcon + /* open files */ + # (_, file, world) = fopen "testOut.txt" FWriteText world + /* perform testing */ + # st = (toStringSChannel con.sChannel, toStringRChannel con.rChannel, world) + # ((_, _, world), console, file) = testConfSM [] stateTrans Listen adapter st reset console file + /* close connection */ + /* close files */ + # (_, world) = fclose file world + # (_, world) = fclose console world + /* done */ + = world -Start world = testConfSM [] stateTrans Listen m0 0 (\_ . 0) world diff --git a/a3/code/tcpmodel.prj b/a3/code/tcpmodel.prj index c37a515..c071711 100644 --- a/a3/code/tcpmodel.prj +++ b/a3/code/tcpmodel.prj @@ -40,6 +40,7 @@ Global Path: {Application}\Libraries\Gast Path: {Application}\Libraries\WrapDebug Path: {Application}\Libraries\MersenneTwister + Path: {Application}\Libraries\TCPIP Precompile: Postlink: MainModule @@ -114,7 +115,7 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: set + Name: stdProperty Dir: {Application}\Libraries\Gast Compiler NeverMemoryProfile: False @@ -128,7 +129,7 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: stdProperty + Name: testable Dir: {Application}\Libraries\Gast Compiler NeverMemoryProfile: False @@ -142,8 +143,8 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: testable - Dir: {Application}\Libraries\Gast + Name: MersenneTwister + Dir: {Application}\Libraries\MersenneTwister Compiler NeverMemoryProfile: False NeverTimeProfile: False @@ -156,8 +157,8 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: Debug - Dir: {Application}\Libraries\WrapDebug + Name: TCPChannelClass + Dir: {Application}\Libraries\TCPIP Compiler NeverMemoryProfile: False NeverTimeProfile: False @@ -170,8 +171,8 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: ShowWrapped - Dir: {Application}\Libraries\WrapDebug + Name: TCPChannels + Dir: {Application}\Libraries\TCPIP Compiler NeverMemoryProfile: False NeverTimeProfile: False @@ -184,8 +185,8 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: Wrap - Dir: {Application}\Libraries\WrapDebug + Name: TCPDef + Dir: {Application}\Libraries\TCPIP Compiler NeverMemoryProfile: False NeverTimeProfile: False @@ -198,8 +199,96 @@ OtherModules ReuseUniqueNodes: True Fusion: False Module - Name: MersenneTwister - Dir: {Application}\Libraries\MersenneTwister + Name: TCPEvent + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + Module + Name: TCPIP + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + Module + Name: TCPStringChannels + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + Module + Name: TCPStringChannelsInternal + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + Module + Name: ostcp + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + NeededObjFiles + ObjectFile: cTCP_121. + NeededLibraries + Library: wsock_library + Module + Name: tcp + Dir: {Application}\Libraries\TCPIP + Compiler + NeverMemoryProfile: False + NeverTimeProfile: False + StrictnessAnalysis: True + ListTypes: StrictExportTypes + ListAttributes: True + Warnings: True + Verbose: True + ReadableABC: False + ReuseUniqueNodes: True + Fusion: False + Module + Name: tcp_bytestreams + Dir: {Application}\Libraries\TCPIP Compiler NeverMemoryProfile: False NeverTimeProfile: False diff --git a/a3/code/testOut.txt b/a3/code/testOut.txt index 45445fa..e69de29 100644 --- a/a3/code/testOut.txt +++ b/a3/code/testOut.txt @@ -1,18 +0,0 @@ -Issue found! Reporting path 0. Trace: -SpecificationStates Input -> ObservedOutput - 1: [Listen] InSYN -> [OutSYN,OutACK] - 2: [ReceivedSYN] InRST -> [] - 3: [Listen] InACK -> [] - 4: [Listen] InUserData -> [] - 5: [Listen] InRST -> [] - 6: [Listen] InACK -> [] - 7: [Listen] InACK -> [] - 8: [Listen] InFIN -> [] - 9: [Listen] InFIN -> [] - 10: [Listen] InFIN -> [] - 11: [Listen] InSYN -> [] - -Allowed outputs and target states: [Pt [OutSYN,OutACK] ReceivedSYN] -Input trace: [InSYN,InRST,InACK,InUserData,InRST,InACK,InACK,InFIN,InFIN,InFIN,InSYN] - -Issue found in path 1, 0 paths executed, 0 paths truncated, in total 11 transitions. -- 2.20.1