c071711e18461eb482129d8d69db115bc0d3aaa8
[tt2015.git] / a3 / code / tcpmodel.prj
1 Version: 1.4
2 Global
3 ProjectRoot: .
4 Target: Gast
5 Exec: {Project}\tcpmodel.exe
6 CodeGen
7 CheckStacks: False
8 CheckIndexes: True
9 Application
10 HeapSize: 2097152
11 StackSize: 512000
12 ExtraMemory: 81920
13 IntialHeapSize: 204800
14 HeapSizeMultiplier: 4096
15 ShowExecutionTime: False
16 ShowGC: False
17 ShowStackSize: False
18 MarkingCollector: False
19 StandardRuntimeEnv: True
20 Profile
21 Memory: False
22 MemoryMinimumHeapSize: 0
23 Time: False
24 Stack: False
25 Output
26 Output: ShowConstructors
27 Font: Courier
28 FontSize: 9
29 WriteStdErr: False
30 Link
31 LinkMethod: Static
32 GenerateRelocations: False
33 GenerateLinkMap: False
34 LinkResources: False
35 ResourceSource:
36 GenerateDLL: False
37 ExportedNames:
38 Paths
39 Path: {Project}
40 Path: {Application}\Libraries\Gast
41 Path: {Application}\Libraries\WrapDebug
42 Path: {Application}\Libraries\MersenneTwister
43 Path: {Application}\Libraries\TCPIP
44 Precompile:
45 Postlink:
46 MainModule
47 Name: tcpmodel
48 Dir: {Project}
49 Compiler
50 NeverMemoryProfile: False
51 NeverTimeProfile: False
52 StrictnessAnalysis: True
53 ListTypes: StrictExportTypes
54 ListAttributes: True
55 Warnings: True
56 Verbose: True
57 ReadableABC: False
58 ReuseUniqueNodes: True
59 Fusion: False
60 OtherModules
61 Module
62 Name: confSM
63 Dir: {Application}\Libraries\Gast
64 Compiler
65 NeverMemoryProfile: False
66 NeverTimeProfile: False
67 StrictnessAnalysis: True
68 ListTypes: StrictExportTypes
69 ListAttributes: True
70 Warnings: True
71 Verbose: True
72 ReadableABC: False
73 ReuseUniqueNodes: True
74 Fusion: False
75 Module
76 Name: gast
77 Dir: {Application}\Libraries\Gast
78 Compiler
79 NeverMemoryProfile: False
80 NeverTimeProfile: False
81 StrictnessAnalysis: True
82 ListTypes: StrictExportTypes
83 ListAttributes: True
84 Warnings: True
85 Verbose: True
86 ReadableABC: False
87 ReuseUniqueNodes: True
88 Fusion: False
89 Module
90 Name: gen
91 Dir: {Application}\Libraries\Gast
92 Compiler
93 NeverMemoryProfile: False
94 NeverTimeProfile: False
95 StrictnessAnalysis: True
96 ListTypes: StrictExportTypes
97 ListAttributes: True
98 Warnings: True
99 Verbose: True
100 ReadableABC: False
101 ReuseUniqueNodes: True
102 Fusion: False
103 Module
104 Name: genLibTest
105 Dir: {Application}\Libraries\Gast
106 Compiler
107 NeverMemoryProfile: False
108 NeverTimeProfile: False
109 StrictnessAnalysis: True
110 ListTypes: StrictExportTypes
111 ListAttributes: True
112 Warnings: True
113 Verbose: True
114 ReadableABC: False
115 ReuseUniqueNodes: True
116 Fusion: False
117 Module
118 Name: stdProperty
119 Dir: {Application}\Libraries\Gast
120 Compiler
121 NeverMemoryProfile: False
122 NeverTimeProfile: False
123 StrictnessAnalysis: True
124 ListTypes: StrictExportTypes
125 ListAttributes: True
126 Warnings: True
127 Verbose: True
128 ReadableABC: False
129 ReuseUniqueNodes: True
130 Fusion: False
131 Module
132 Name: testable
133 Dir: {Application}\Libraries\Gast
134 Compiler
135 NeverMemoryProfile: False
136 NeverTimeProfile: False
137 StrictnessAnalysis: True
138 ListTypes: StrictExportTypes
139 ListAttributes: True
140 Warnings: True
141 Verbose: True
142 ReadableABC: False
143 ReuseUniqueNodes: True
144 Fusion: False
145 Module
146 Name: MersenneTwister
147 Dir: {Application}\Libraries\MersenneTwister
148 Compiler
149 NeverMemoryProfile: False
150 NeverTimeProfile: False
151 StrictnessAnalysis: True
152 ListTypes: StrictExportTypes
153 ListAttributes: True
154 Warnings: True
155 Verbose: True
156 ReadableABC: False
157 ReuseUniqueNodes: True
158 Fusion: False
159 Module
160 Name: TCPChannelClass
161 Dir: {Application}\Libraries\TCPIP
162 Compiler
163 NeverMemoryProfile: False
164 NeverTimeProfile: False
165 StrictnessAnalysis: True
166 ListTypes: StrictExportTypes
167 ListAttributes: True
168 Warnings: True
169 Verbose: True
170 ReadableABC: False
171 ReuseUniqueNodes: True
172 Fusion: False
173 Module
174 Name: TCPChannels
175 Dir: {Application}\Libraries\TCPIP
176 Compiler
177 NeverMemoryProfile: False
178 NeverTimeProfile: False
179 StrictnessAnalysis: True
180 ListTypes: StrictExportTypes
181 ListAttributes: True
182 Warnings: True
183 Verbose: True
184 ReadableABC: False
185 ReuseUniqueNodes: True
186 Fusion: False
187 Module
188 Name: TCPDef
189 Dir: {Application}\Libraries\TCPIP
190 Compiler
191 NeverMemoryProfile: False
192 NeverTimeProfile: False
193 StrictnessAnalysis: True
194 ListTypes: StrictExportTypes
195 ListAttributes: True
196 Warnings: True
197 Verbose: True
198 ReadableABC: False
199 ReuseUniqueNodes: True
200 Fusion: False
201 Module
202 Name: TCPEvent
203 Dir: {Application}\Libraries\TCPIP
204 Compiler
205 NeverMemoryProfile: False
206 NeverTimeProfile: False
207 StrictnessAnalysis: True
208 ListTypes: StrictExportTypes
209 ListAttributes: True
210 Warnings: True
211 Verbose: True
212 ReadableABC: False
213 ReuseUniqueNodes: True
214 Fusion: False
215 Module
216 Name: TCPIP
217 Dir: {Application}\Libraries\TCPIP
218 Compiler
219 NeverMemoryProfile: False
220 NeverTimeProfile: False
221 StrictnessAnalysis: True
222 ListTypes: StrictExportTypes
223 ListAttributes: True
224 Warnings: True
225 Verbose: True
226 ReadableABC: False
227 ReuseUniqueNodes: True
228 Fusion: False
229 Module
230 Name: TCPStringChannels
231 Dir: {Application}\Libraries\TCPIP
232 Compiler
233 NeverMemoryProfile: False
234 NeverTimeProfile: False
235 StrictnessAnalysis: True
236 ListTypes: StrictExportTypes
237 ListAttributes: True
238 Warnings: True
239 Verbose: True
240 ReadableABC: False
241 ReuseUniqueNodes: True
242 Fusion: False
243 Module
244 Name: TCPStringChannelsInternal
245 Dir: {Application}\Libraries\TCPIP
246 Compiler
247 NeverMemoryProfile: False
248 NeverTimeProfile: False
249 StrictnessAnalysis: True
250 ListTypes: StrictExportTypes
251 ListAttributes: True
252 Warnings: True
253 Verbose: True
254 ReadableABC: False
255 ReuseUniqueNodes: True
256 Fusion: False
257 Module
258 Name: ostcp
259 Dir: {Application}\Libraries\TCPIP
260 Compiler
261 NeverMemoryProfile: False
262 NeverTimeProfile: False
263 StrictnessAnalysis: True
264 ListTypes: StrictExportTypes
265 ListAttributes: True
266 Warnings: True
267 Verbose: True
268 ReadableABC: False
269 ReuseUniqueNodes: True
270 Fusion: False
271 NeededObjFiles
272 ObjectFile: cTCP_121.
273 NeededLibraries
274 Library: wsock_library
275 Module
276 Name: tcp
277 Dir: {Application}\Libraries\TCPIP
278 Compiler
279 NeverMemoryProfile: False
280 NeverTimeProfile: False
281 StrictnessAnalysis: True
282 ListTypes: StrictExportTypes
283 ListAttributes: True
284 Warnings: True
285 Verbose: True
286 ReadableABC: False
287 ReuseUniqueNodes: True
288 Fusion: False
289 Module
290 Name: tcp_bytestreams
291 Dir: {Application}\Libraries\TCPIP
292 Compiler
293 NeverMemoryProfile: False
294 NeverTimeProfile: False
295 StrictnessAnalysis: True
296 ListTypes: StrictExportTypes
297 ListAttributes: True
298 Warnings: True
299 Verbose: True
300 ReadableABC: False
301 ReuseUniqueNodes: True
302 Fusion: False
303 Module
304 Name: GenEq
305 Dir: {Application}\Libraries\Generics
306 Compiler
307 NeverMemoryProfile: False
308 NeverTimeProfile: False
309 StrictnessAnalysis: True
310 ListTypes: StrictExportTypes
311 ListAttributes: True
312 Warnings: True
313 Verbose: True
314 ReadableABC: False
315 ReuseUniqueNodes: True
316 Fusion: False
317 Module
318 Name: StdArray
319 Dir: {Application}\Libraries\StdEnv
320 Compiler
321 NeverMemoryProfile: False
322 NeverTimeProfile: False
323 StrictnessAnalysis: True
324 ListTypes: StrictExportTypes
325 ListAttributes: True
326 Warnings: True
327 Verbose: True
328 ReadableABC: False
329 ReuseUniqueNodes: True
330 Fusion: False
331 Module
332 Name: StdBool
333 Dir: {Application}\Libraries\StdEnv
334 Compiler
335 NeverMemoryProfile: False
336 NeverTimeProfile: False
337 StrictnessAnalysis: True
338 ListTypes: StrictExportTypes
339 ListAttributes: True
340 Warnings: True
341 Verbose: True
342 ReadableABC: False
343 ReuseUniqueNodes: True
344 Fusion: False
345 Module
346 Name: StdChar
347 Dir: {Application}\Libraries\StdEnv
348 Compiler
349 NeverMemoryProfile: False
350 NeverTimeProfile: False
351 StrictnessAnalysis: True
352 ListTypes: StrictExportTypes
353 ListAttributes: True
354 Warnings: True
355 Verbose: True
356 ReadableABC: False
357 ReuseUniqueNodes: True
358 Fusion: False
359 Module
360 Name: StdCharList
361 Dir: {Application}\Libraries\StdEnv
362 Compiler
363 NeverMemoryProfile: False
364 NeverTimeProfile: False
365 StrictnessAnalysis: True
366 ListTypes: StrictExportTypes
367 ListAttributes: True
368 Warnings: True
369 Verbose: True
370 ReadableABC: False
371 ReuseUniqueNodes: True
372 Fusion: False
373 Module
374 Name: StdClass
375 Dir: {Application}\Libraries\StdEnv
376 Compiler
377 NeverMemoryProfile: False
378 NeverTimeProfile: False
379 StrictnessAnalysis: True
380 ListTypes: StrictExportTypes
381 ListAttributes: True
382 Warnings: True
383 Verbose: True
384 ReadableABC: False
385 ReuseUniqueNodes: True
386 Fusion: False
387 Module
388 Name: StdDebug
389 Dir: {Application}\Libraries\StdEnv
390 Compiler
391 NeverMemoryProfile: False
392 NeverTimeProfile: False
393 StrictnessAnalysis: True
394 ListTypes: StrictExportTypes
395 ListAttributes: True
396 Warnings: True
397 Verbose: True
398 ReadableABC: False
399 ReuseUniqueNodes: True
400 Fusion: False
401 Module
402 Name: StdEnum
403 Dir: {Application}\Libraries\StdEnv
404 Compiler
405 NeverMemoryProfile: False
406 NeverTimeProfile: False
407 StrictnessAnalysis: True
408 ListTypes: StrictExportTypes
409 ListAttributes: True
410 Warnings: True
411 Verbose: True
412 ReadableABC: False
413 ReuseUniqueNodes: True
414 Fusion: False
415 Module
416 Name: StdEnv
417 Dir: {Application}\Libraries\StdEnv
418 Compiler
419 NeverMemoryProfile: False
420 NeverTimeProfile: False
421 StrictnessAnalysis: True
422 ListTypes: StrictExportTypes
423 ListAttributes: True
424 Warnings: True
425 Verbose: True
426 ReadableABC: False
427 ReuseUniqueNodes: True
428 Fusion: False
429 Module
430 Name: StdFile
431 Dir: {Application}\Libraries\StdEnv
432 Compiler
433 NeverMemoryProfile: False
434 NeverTimeProfile: False
435 StrictnessAnalysis: True
436 ListTypes: StrictExportTypes
437 ListAttributes: True
438 Warnings: True
439 Verbose: True
440 ReadableABC: False
441 ReuseUniqueNodes: True
442 Fusion: False
443 Module
444 Name: StdFunc
445 Dir: {Application}\Libraries\StdEnv
446 Compiler
447 NeverMemoryProfile: False
448 NeverTimeProfile: False
449 StrictnessAnalysis: True
450 ListTypes: StrictExportTypes
451 ListAttributes: True
452 Warnings: True
453 Verbose: True
454 ReadableABC: False
455 ReuseUniqueNodes: True
456 Fusion: False
457 Module
458 Name: StdGeneric
459 Dir: {Application}\Libraries\StdEnv
460 Compiler
461 NeverMemoryProfile: False
462 NeverTimeProfile: False
463 StrictnessAnalysis: True
464 ListTypes: StrictExportTypes
465 ListAttributes: True
466 Warnings: True
467 Verbose: True
468 ReadableABC: False
469 ReuseUniqueNodes: True
470 Fusion: False
471 Module
472 Name: StdInt
473 Dir: {Application}\Libraries\StdEnv
474 Compiler
475 NeverMemoryProfile: False
476 NeverTimeProfile: False
477 StrictnessAnalysis: True
478 ListTypes: StrictExportTypes
479 ListAttributes: True
480 Warnings: True
481 Verbose: True
482 ReadableABC: False
483 ReuseUniqueNodes: True
484 Fusion: False
485 Module
486 Name: StdList
487 Dir: {Application}\Libraries\StdEnv
488 Compiler
489 NeverMemoryProfile: False
490 NeverTimeProfile: False
491 StrictnessAnalysis: True
492 ListTypes: StrictExportTypes
493 ListAttributes: True
494 Warnings: True
495 Verbose: True
496 ReadableABC: False
497 ReuseUniqueNodes: True
498 Fusion: False
499 Module
500 Name: StdMisc
501 Dir: {Application}\Libraries\StdEnv
502 Compiler
503 NeverMemoryProfile: False
504 NeverTimeProfile: False
505 StrictnessAnalysis: True
506 ListTypes: StrictExportTypes
507 ListAttributes: True
508 Warnings: True
509 Verbose: True
510 ReadableABC: False
511 ReuseUniqueNodes: True
512 Fusion: False
513 Module
514 Name: StdOrdList
515 Dir: {Application}\Libraries\StdEnv
516 Compiler
517 NeverMemoryProfile: False
518 NeverTimeProfile: False
519 StrictnessAnalysis: True
520 ListTypes: StrictExportTypes
521 ListAttributes: True
522 Warnings: True
523 Verbose: True
524 ReadableABC: False
525 ReuseUniqueNodes: True
526 Fusion: False
527 Module
528 Name: StdOverloaded
529 Dir: {Application}\Libraries\StdEnv
530 Compiler
531 NeverMemoryProfile: False
532 NeverTimeProfile: False
533 StrictnessAnalysis: True
534 ListTypes: StrictExportTypes
535 ListAttributes: True
536 Warnings: True
537 Verbose: True
538 ReadableABC: False
539 ReuseUniqueNodes: True
540 Fusion: False
541 Module
542 Name: StdReal
543 Dir: {Application}\Libraries\StdEnv
544 Compiler
545 NeverMemoryProfile: False
546 NeverTimeProfile: False
547 StrictnessAnalysis: True
548 ListTypes: StrictExportTypes
549 ListAttributes: True
550 Warnings: True
551 Verbose: True
552 ReadableABC: False
553 ReuseUniqueNodes: True
554 Fusion: False
555 Module
556 Name: StdString
557 Dir: {Application}\Libraries\StdEnv
558 Compiler
559 NeverMemoryProfile: False
560 NeverTimeProfile: False
561 StrictnessAnalysis: True
562 ListTypes: StrictExportTypes
563 ListAttributes: True
564 Warnings: True
565 Verbose: True
566 ReadableABC: False
567 ReuseUniqueNodes: True
568 Fusion: False
569 Module
570 Name: StdTuple
571 Dir: {Application}\Libraries\StdEnv
572 Compiler
573 NeverMemoryProfile: False
574 NeverTimeProfile: False
575 StrictnessAnalysis: True
576 ListTypes: StrictExportTypes
577 ListAttributes: True
578 Warnings: True
579 Verbose: True
580 ReadableABC: False
581 ReuseUniqueNodes: True
582 Fusion: False
583 Module
584 Name: _SystemArray
585 Dir: {Application}\Libraries\StdEnv
586 Compiler
587 NeverMemoryProfile: False
588 NeverTimeProfile: False
589 StrictnessAnalysis: True
590 ListTypes: StrictExportTypes
591 ListAttributes: True
592 Warnings: True
593 Verbose: True
594 ReadableABC: False
595 ReuseUniqueNodes: True
596 Fusion: False
597 Module
598 Name: _SystemEnum
599 Dir: {Application}\Libraries\StdEnv
600 Compiler
601 NeverMemoryProfile: False
602 NeverTimeProfile: False
603 StrictnessAnalysis: True
604 ListTypes: StrictExportTypes
605 ListAttributes: True
606 Warnings: True
607 Verbose: True
608 ReadableABC: False
609 ReuseUniqueNodes: True
610 Fusion: False
611 Module
612 Name: StdArrayExtensions
613 Dir: {Application}\Libraries\StdLib
614 Compiler
615 NeverMemoryProfile: False
616 NeverTimeProfile: False
617 StrictnessAnalysis: True
618 ListTypes: StrictExportTypes
619 ListAttributes: True
620 Warnings: True
621 Verbose: True
622 ReadableABC: False
623 ReuseUniqueNodes: True
624 Fusion: False
625 Module
626 Name: StdLib
627 Dir: {Application}\Libraries\StdLib
628 Compiler
629 NeverMemoryProfile: False
630 NeverTimeProfile: False
631 StrictnessAnalysis: True
632 ListTypes: StrictExportTypes
633 ListAttributes: True
634 Warnings: True
635 Verbose: True
636 ReadableABC: False
637 ReuseUniqueNodes: True
638 Fusion: False
639 Module
640 Name: StdLibMisc
641 Dir: {Application}\Libraries\StdLib
642 Compiler
643 NeverMemoryProfile: False
644 NeverTimeProfile: False
645 StrictnessAnalysis: True
646 ListTypes: StrictExportTypes
647 ListAttributes: True
648 Warnings: True
649 Verbose: True
650 ReadableABC: False
651 ReuseUniqueNodes: True
652 Fusion: False
653 Module
654 Name: StdListExtensions
655 Dir: {Application}\Libraries\StdLib
656 Compiler
657 NeverMemoryProfile: False
658 NeverTimeProfile: False
659 StrictnessAnalysis: True
660 ListTypes: StrictExportTypes
661 ListAttributes: True
662 Warnings: True
663 Verbose: True
664 ReadableABC: False
665 ReuseUniqueNodes: True
666 Fusion: False
667 Module
668 Name: StdMaybe
669 Dir: {Application}\Libraries\StdLib
670 Compiler
671 NeverMemoryProfile: False
672 NeverTimeProfile: False
673 StrictnessAnalysis: True
674 ListTypes: StrictExportTypes
675 ListAttributes: True
676 Warnings: True
677 Verbose: True
678 ReadableABC: False
679 ReuseUniqueNodes: True
680 Fusion: False