Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Perm_Fragments.thy
Sprache: Isabelle
Untersuchungsergebnis.~dsk Download desIsabelle {Isabelle[200] Hlasm[248] Fortran[509]}zum Wurzelverzeichnis wechseln
[Closed Files]
File_0=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\rtl\sys\system.pas',0,1,12465,1,12498,0,0,,
File_1=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\rtl\sys\sysutils.pas',0,1,4331,1,4356,0,0,,
File_2=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\vcl\Controls.pas',0,1,5208,1,5227,0,0,,
File_3=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\vcl\StdCtrls.pas',0,1,3608,1,3627,0,0,,
File_4=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\vcl\ComCtrls.pas',0,1,12015,1,12035,0,0,,
File_5=TSourceModule,'c:\programme\borland\bds\4.0\source\Win32\rtl\sys\GETMEM.INC',0,1,2102,1,2129,0,0,,
[Modules]
Module0=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\reAgenda.pas
Module1=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\Agenda7.bdsproj
Module2=default.htm
Count=3
EditWindowCount=1
[C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\reAgenda.pas]
ModuleType=TSourceModule
FormState=1
FormOnTop=1
[C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\Agenda7.bdsproj]
ModuleType=TBaseProject
[default.htm]
ModuleType=TURLModule
[EditWindow0]
ViewCount=4
CurrentEditView=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\reAgenda.pas
View0=0
View1=1
View2=2
View3=3
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=9930
Height=9141
MaxLeft=-1
MaxTop=-1
ClientWidth=9930
ClientHeight=9141
DockedToMainForm=1
MessageView=MessageView@EditWindow0
BorlandEditorCodeExplorer=BorlandEditorCodeExplorer@EditWindow0
TopPanelSize=0
LeftPanelSize=1711
LeftPanelClients=DockSite2,DockSite0
LeftPanelData=000008000101000000001A1700000000000001AF060000000000000100000000EE11000009000000446F636B53697465320100000000E11C000009000000446F636B5369746530FFFFFFFF
RightPanelSize=1086
RightPanelClients=ToolForm
RightPanelData=000008000101000000001A17000000000000013E040000000000000100000000E11C000008000000546F6F6C466F726DFFFFFFFF
BottomPanelSize=1416
BottomPanelClients=ToDo List,DockSite3,DockSite1
BottomPanelData=000008000102020000000E000000546F446F4C69737457696E646F7709000000446F636B53697465337C3000000000000002880500000000000001000000007C30000009000000446F636B5369746531FFFFFFFF
BottomMiddlePanelSize=0
BottomMiddlePanelClients=DockSite4,DockSite5
BottomMiddelPanelData=0000080001000200000009000000446F636B536974653409000000446F636B53697465350000000000000000000000000000000000FFFFFFFF
[View0]
CustomEditViewType=TEditView
Module=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\reAgenda.pas
CursorX=1
CursorY=1
TopLine=1
LeftCol=1
Elisions=
Bookmarks=
EditViewName=Borland.FormDesignerView
[View1]
CustomEditViewType=TWelcomePageView
WelcomePageURL=bds:/default.htm
[View2]
CustomEditViewType=TDisassemblyEditView
[View3]
CustomEditViewType=TEditView
Module=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\Agenda7.dpr
CursorX=45
CursorY=53
TopLine=33
LeftCol=1
Elisions=
Bookmarks=
EditViewName=C:\Context IT\Software\Agenda\Agenda 1.3.1\Sources\Agenda.dpr
[Watches]
Count=0
[WatchWindow]
WatchColumnWidth=120
WatchShowColumnHeaders=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=202
LRDockWidth=13602
Dockable=1
StayOnTop=0
[Breakpoints]
Count=0
[AddressBreakpoints]
Count=0
[Main Window]
PercentageSizes=1
Create=1
Visible=1
Docked=0
State=0
Left=8
Top=0
Width=9992
Height=10010
MaxLeft=-8
MaxTop=-10
ClientWidth=9930
ClientHeight=9667
BottomPanelSize=8838
BottomPanelClients=EditWindow0
BottomPanelData=0000080000000000000000000000000000000000000000000000000100000000000000000C0000004564697457696E646F775F30FFFFFFFF
[ProjectManager]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=1648
Height=4121
MaxLeft=-1
MaxTop=-1
ClientWidth=1648
ClientHeight=4121
TBDockHeight=5899
LRDockWidth=3156
Dockable=1
StayOnTop=0
[ToolForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=1086
Height=7414
MaxLeft=-1
MaxTop=-1
ClientWidth=1086
ClientHeight=7414
TBDockHeight=6899
LRDockWidth=1086
Dockable=1
StayOnTop=0
[DebugLogView]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=414
LRDockWidth=4953
Dockable=1
StayOnTop=0
[ThreadStatusWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=202
LRDockWidth=7414
Dockable=1
StayOnTop=0
Column0Width=145
Column1Width=100
Column2Width=115
Column3Width=250
[LocalVarsWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=263
LRDockWidth=3484
Dockable=1
StayOnTop=0
[CallStackWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=2071
LRDockWidth=3484
Dockable=1
StayOnTop=0
[FindReferencsForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2273
Height=1889
MaxLeft=-1
MaxTop=-1
ClientWidth=2273
ClientHeight=1889
TBDockHeight=2313
LRDockWidth=2828
Dockable=1
StayOnTop=0
[RefactoringForm]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=2273
Height=1889
MaxLeft=-1
MaxTop=-1
ClientWidth=2273
ClientHeight=1889
TBDockHeight=3202
LRDockWidth=2828
Dockable=1
StayOnTop=0
[ToDo List]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-205
Top=-721
Width=3672
Height=1152
MaxLeft=-1
MaxTop=-1
ClientWidth=3672
ClientHeight=1152
TBDockHeight=1152
LRDockWidth=3672
Dockable=1
StayOnTop=0
Column0Width=200
Column1Width=30
Column2Width=100
Column3Width=70
Column4Width=70
SortOrder=4
ShowHints=1
ShowChecked=1
[TemplateView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-209
Top=-276
Width=273
Height=364
MaxLeft=-1
MaxTop=-1
ClientWidth=273
ClientHeight=364
TBDockHeight=364
LRDockWidth=273
Dockable=1
StayOnTop=0
Name=120
Description=334
filter=1
[GantrySearchView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-431
Top=-740
Width=3562
Height=4828
MaxLeft=-1
MaxTop=-1
ClientWidth=3562
ClientHeight=4828
TBDockHeight=4828
LRDockWidth=3562
Dockable=1
StayOnTop=0
[GantryResultsView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-431
Top=-740
Width=3562
Height=4828
MaxLeft=-1
MaxTop=-1
ClientWidth=3562
ClientHeight=4828
TBDockHeight=4828
LRDockWidth=3562
Dockable=1
StayOnTop=0
[ShortcutsView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-431
Top=-740
Width=3562
Height=3000
MaxLeft=-1
MaxTop=-1
ClientWidth=3562
ClientHeight=3000
TBDockHeight=3000
LRDockWidth=3562
Dockable=1
StayOnTop=0
[PendingCheckinsView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-431
Top=-740
Width=3562
Height=4828
MaxLeft=-1
MaxTop=-1
ClientWidth=3562
ClientHeight=4828
TBDockHeight=4828
LRDockWidth=3562
Dockable=1
StayOnTop=0
[PendingCheckoutsView]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-431
Top=-740
Width=3562
Height=4828
MaxLeft=-1
MaxTop=-1
ClientWidth=3562
ClientHeight=4828
TBDockHeight=4828
LRDockWidth=3562
Dockable=1
StayOnTop=0
[DataExplorer]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-209
Top=-276
Width=7148
Height=4879
MaxLeft=-1
MaxTop=-1
ClientWidth=7148
ClientHeight=4879
TBDockHeight=4879
LRDockWidth=7148
Dockable=1
StayOnTop=0
[PropertyInspector]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=1648
Height=2566
MaxLeft=-1
MaxTop=-1
ClientWidth=1648
ClientHeight=2566
TBDockHeight=414
LRDockWidth=1906
Dockable=1
StayOnTop=0
SplitPos=67
[PropInspDesignerSelection]
ArrangeBy=Category
SelectedItem=Action.Caption,
ExpandedItems=Action=1,"Drag, Drop and Docking=1","Help and Hints=1",Input=1,Layout=1,Legacy=1,Linkage=1,Locale=1,Localizable=1,Miscellaneous=1,Visual=1
[BreakpointWindow]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=3766
Height=4697
MaxLeft=-1
MaxTop=-1
ClientWidth=3766
ClientHeight=4697
TBDockHeight=1545
LRDockWidth=8742
Dockable=1
StayOnTop=0
Column0Width=100
Column1Width=75
Column2Width=200
Column3Width=200
Column4Width=75
Column5Width=75
[StructureView]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=1648
Height=4121
MaxLeft=-1
MaxTop=-1
ClientWidth=1648
ClientHeight=4121
TBDockHeight=3677
LRDockWidth=1906
Dockable=1
StayOnTop=0
[frmCaliberMain]
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-209
Top=-276
Width=1508
Height=1101
MaxLeft=-1
MaxTop=-1
ClientWidth=1508
ClientHeight=1101
TBDockHeight=1101
LRDockWidth=1508
Dockable=1
StayOnTop=0
[MessageView@EditWindow0]
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=0
Width=9867
Height=1131
MaxLeft=-1
MaxTop=-1
ClientWidth=9867
ClientHeight=1131
TBDockHeight=2232
LRDockWidth=4328
Dockable=1
StayOnTop=0
[BorlandEditorCodeExplorer@EditWindow0]
PercentageSizes=1
Create=1
Visible=0
Docked=0
State=0
Left=0
Top=0
Width=1461
Height=4606
MaxLeft=-8
MaxTop=-10
ClientWidth=1398
ClientHeight=4343
TBDockHeight=4606
LRDockWidth=1461
Dockable=1
StayOnTop=0
[DockHosts]
DockHostCount=6
[DockSite0]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=493
Width=1711
Height=2667
MaxLeft=-1
MaxTop=-1
ClientWidth=1711
ClientHeight=2667
TBDockHeight=1677
LRDockWidth=1711
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=PropertyInspector
TabDockClients=PropertyInspector,TemplateView
[DockSite1]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=9930
Height=1232
MaxLeft=-1
MaxTop=-1
ClientWidth=9930
ClientHeight=1232
TBDockHeight=1232
LRDockWidth=3508
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=MessageView@EditWindow0
TabDockClients=MessageView@EditWindow0
[DockSite2]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=1
Docked=1
State=0
Left=0
Top=23
Width=1711
Height=4475
MaxLeft=-1
MaxTop=-1
ClientWidth=1711
ClientHeight=4475
TBDockHeight=8909
LRDockWidth=1711
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=ProjectManager
TabDockClients=ProjectManager,DataExplorer,frmCaliberMain,StructureView
[DockSite3]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-205
Top=-721
Width=3828
Height=5051
MaxLeft=-1
MaxTop=-1
ClientWidth=3828
ClientHeight=5051
TBDockHeight=5051
LRDockWidth=3828
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=LocalVarsWindow
TabDockClients=BreakpointWindow,CallStackWindow,WatchWindow,ThreadStatusWindow,DebugLogView,LocalVarsWindow
[DockSite4]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-427
Top=-718
Width=3508
Height=3394
MaxLeft=-1
MaxTop=-1
ClientWidth=3508
ClientHeight=3394
TBDockHeight=3394
LRDockWidth=3508
Dockable=1
StayOnTop=0
TabPosition=1
TabDockClients=PendingCheckinsView,PendingCheckoutsView,ShortcutsView,GantrySearchView,GantryResultsView
[DockSite5]
DockSiteType=1
PercentageSizes=1
Create=1
Visible=0
Docked=1
State=0
Left=-427
Top=-718
Width=2336
Height=2242
MaxLeft=-1
MaxTop=-1
ClientWidth=2336
ClientHeight=2242
TBDockHeight=2242
LRDockWidth=2336
Dockable=1
StayOnTop=0
TabPosition=1
ActiveTabID=RefactoringForm
TabDockClients=RefactoringForm,FindReferencsForm
[ActiveProject]
ActiveProject=2
[ zur Elbe Produktseite wechseln0.122Quellennavigators
]
|
|
