SDT-SYSTEM-4.3 [DRIVES] [SOURCE-TARGET-DIRECTORY] AbsolutePath=False [LINKS] Endpoints="" File=demongame.sli [DIAGRAMS] 0 23 "Analysis Model" %unconnected% 0 0 0 "" 0 33 Textual_requirements Textual_requirements.txt 0 887224095 "" "" 0 21 DemonGame DemonGame.som 0 919692666 - "" 0 23 "Used Files" %unconnected% 0 0 0 "" 0 23 "SDL System Structure" %unconnected% 0 0 0 "" 0 11 BasicFeatures BasicFeatures.sun 0 919692352 BasicFeatures "" 1 15 game game.spt 0 919692352 game "" 2 6 result result.spd 0 919692352 result "" 0 23 "TTCN Test Specification" %unconnected% 0 0 0 "" 0 23 "Other Documents" %unconnected% 0 0 0 "" [VIEWOPTIONS] Scale=101 ShowDashed=True ShowDependencies=True ShowDirectories=True ShowFileNames=True ShowFooter=False ShowGroups=True ShowHeader=False ShowInstances=True ShowLinkFile=False ShowLinks=True ShowLongMenus=True ShowPages=False ShowPermissions=True ShowSeparators=True ShowSystemFile=True ShowStatusBar=True ShowToolBar=True ShowTypeName=False ShowVirtuality=True TreeRepresentation=List ChangeBars=False [ANALYSEROPTIONS] AllowImplicitTypeConv=False EchoAnalyzerCommands=False ErrorLimit=25 ExpandPR=True ExpressionLimit=0 Filter=False FilterCommand="" InstanceFile=False MacroExpansion=False OptionalParamControl=True OutputControl=True ReferenceControl=True SemanticControl=True SyntaxControl=True TerminateAnalyzer=False TrailingParamControl=True UpperCase=False UsageControl=True XRef=False [H2SDLOPTIONS] AllWarnings=False Preprocessor="" PreprocessorOptions="" TranslateEnum=True UseFullPath=True UsePreprocessorOptions=False [MAKEOPTIONS] Capitalization=AsDefined CCompilerDriver=False CompileAndLink=True GenerateCode=True GenerateEnvFunctions=False GenerateEnvHeader=True GenerateSignalNumbers=False Kernel=SCTADEBCOM MakefileMode=Generate PrefixType=No Separation=UserDefined StandardKernel=True TargetLanguage=Cadvanced UserKernel= UserMakefile=../../sdl92/process_type/Makefile UserTemplate=../../sdl92/process_type XCodeGenerator=basic [PRINTOPTIONS] DestinationFormat=PSFile FirstPageNo=1 FooterFile=../solution FrameMakerCommand=imaker HeaderFile=../solution MarginLeft=100 MarginLower=250 MarginRight=100 MarginUpper=420 PageMarkers=False PaperFormat=A4 PrinterCommand=lpr PrinterFile=../solution PrintFrom=0 PrintTo=0 PrintToFile=False OnlyChaptersInTOC=False TableOfContents=False OrganizerView=True