//----------------------------------------------------------------------------
//
//----------------------------------------------------------------------------
Title_Columbo = 'Columbo';
Title_Elbe = 'Elbe';
Version_IDE = '1.0';
optkeylen = 8;
maxfilesize = 1024*50; //IX115a ist gerade kleiner
maxoptsize = 64000; // maximale Gr��e
ViewMax = 256; // Memory of view changess
HistMax = 20; // history of files
Debug = true;
BorderWidth = 10;
Agenda = 1;
Autor = 2;
Columbo = 3;
Egmont = 4;
dlle = '.dll';
Productnumber = chr(Columbo+ord('0'));
//RKey = 'SOFTWARE\'+Company+'\'+Title; //relativ zu HKEY_LOCAL_MACHINE
SamplesDir = 'Samples\Sample Programs\';
ExecDir = 'Samples\Object Files\';
Samples = 'Samples\';
Remotedirectory = 'Samples\Remote Files\';
extensionfile = 'extensions.dat';
CopyLib = 'CopyLib\';
// --- external references ------
InstallKey = '{0777F89A-60B9-46C1-96E5-0D4DCBFB6FCB}';
OptionDll = 'Option.dll';
Filemax = 32;
unitofbytes = 10000;
ColorWarn = $8080FF;
//----------------------------------------------------------------------------
//
//----------------------------------------------------------------------------
EditionStrings :
array [Editions] of String=('Shareware','Standard','Professional','Enterprise');
//----------------------------------------------------------------------------
// model frame
//----------------------------------------------------------------------------
JCLImage=24;
COBOLImage=2;
UnSplitImage=23;
SplitImage=17;
HasChildrenImage=25;
CollapsedImage=26;
ExpandedImage=27;
PrintIconIndex=18;
IDEIconIndex=37;
//----------------------------------------------------------------------------
// syntax highlighting schema definition
//----------------------------------------------------------------------------
Highlitekey:array[Highlite] of JString=
('kw','st','nu','id','fokw','co','foid','la','lx');
S_NType :array[NType] of JString=
('noitem', 'data', 'data', 'function',
'symbol', 'assumeddata', 'assumedfunction',
'selection', 'deselection',
'loopitem', '�subtreeiten',
'simstart', 'simwithin', 'simend', 'simcircle', 'desimulation',
'transition','place', 'block');
S_NBases:array[NBase] of JString =
( 'nobase', 'binary', 'bcd', 'float', 'complex', 'octet', 'dbcs', 'unicode');
S_NDurations:array[NDuration] of JString =
('noduration', 'constant', 'static',
'dynamic', 'allocated', 'persistent',
'firing', 'synchronized');
//----------------------------------------------------------------------------
// Isabelle Symbols
// aus http://isabelle.in.tum.de/repos/isabelle/file/tip/etc/symbols
//----------------------------------------------------------------------------
Isabelle : array[1..357] of JString =
(
' 1 # $Id$',
' 2 # Default interpretation of some Isabelle symbols',
' 3 ',
' 4 \ code: 0x01d7ec font: Isabelle',
' 5 \ code: 0x01d7ed font: Isabelle',
' 6 \ code: 0x01d7ee font: Isabelle',
' 7 \ code: 0x01d7ef font: Isabelle',
' 8 \ code: 0x01d7f0 font: Isabelle',
' 9 \ code: 0x01d7f1 font: Isabelle',
' 10 \ code: 0x01d7f2 font: Isabelle',
' 11 \ code: 0x01d7f3 font: Isabelle',
' 12 \ code: 0x01d7f4 font: Isabelle',
' 13 \ code: 0x01d7f5 font: Isabelle',
' 14 \ code: 0x01d49c font: Isabelle',
' 15 \ code: 0x00212c font: Isabelle',
' 16 \ code: 0x01d49e font: Isabelle',
' 17 \ code: 0x01d49f font: Isabelle',
' 18 \ code: 0x002130 font: Isabelle',
' 19 \ code: 0x002131 font: Isabelle',
' 20 \ code: 0x01d4a2 font: Isabelle',
' 21 \ code: 0x00210b font: Isabelle',
' 22 \ code: 0x002110 font: Isabelle',
' 23 \ code: 0x01d4a5 font: Isabelle',
' 24 \ code: 0x01d4a6 font: Isabelle',
' 25 \ code: 0x002112 font: Isabelle',
' 26 \ code: 0x002133 font: Isabelle',
' 27 \ code: 0x01d4a9 font: Isabelle',
' 28 \ code: 0x01d4aa font: Isabelle',
' 29 \ code: 0x01d4ab font: Isabelle' ,
' 30 \ code: 0x01d4ac font: Isabelle' ,
' 31 \ code: 0x00211b font: Isabelle',
' 32 \ code: 0x01d4ae font: Isabelle',
' 33 \ code: 0x01d4af font: Isabelle',
' 34 \ code: 0x01d4b0 font: Isabelle',
' 35 \ code: 0x01d4b1 font: Isabelle',
' 36 \ code: 0x01d4b2 font: Isabelle',
' 37 \ code: 0x01d4b3 font: Isabelle',
' 38 \ code: 0x01d4b4 font: Isabelle',
' 39 \ code: 0x01d4b5 font: Isabelle',
' 40 \ code: 0x01d5ba font: Isabelle',
' 41 \ code: 0x01d5bb font: Isabelle',
' 42 \ code: 0x01d5bc font: Isabelle',
' 43 \ code: 0x01d5bd font: Isabelle',
' 44 \ code: 0x01d5be font: Isabelle',
' 45 \ code: 0x01d5bf font: Isabelle',
' 46 \ code: 0x01d5c0 font: Isabelle',
' 47 \ code: 0x01d5c1 font: Isabelle',
' 48 \ code: 0x01d5c2 font: Isabelle',
' 49 \ code: 0x01d5c3 font: Isabelle',
' 50 \ code: 0x01d5c4 font: Isabelle',
' 51 \ code: 0x01d5c5 font: Isabelle',
' 52 \ code: 0x01d5c6 font: Isabelle',
' 53 \ code: 0x01d5c7 font: Isabelle',
' 54 \ code: 0x01d5c8 font: Isabelle',
' 55 \ code: 0x01d5c9 font: Isabelle' ,
' 56 \ code: 0x01d5ca font: Isabelle' ,
' 57 \ code: 0x01d5cb font: Isabelle',
' 58 \ code: 0x01d5cc font: Isabelle',
' 59 \ code: 0x01d5cd font: Isabelle',
' 60 \ code: 0x01d5ce font: Isabelle',
' 61 \ code: 0x01d5cf font: Isabelle',
' 62 \ code: 0x01d5d0 font: Isabelle',
' 63 \ code: 0x01d5d1 font: Isabelle',
' 64 \ code: 0x01d5d2 font: Isabelle',
' 65 \ code: 0x01d5d3 font: Isabelle',
' 66 \ code: 0x01d504 font: Isabelle',
' 67 \ code: 0x01d505 font: Isabelle',
' 68 \ code: 0x00212d font: Isabelle',
' 69 \ code: 0x01d507 font: Isabelle',
' 70 \ code: 0x01d508 font: Isabelle',
' 71 \ code: 0x01d509 font: Isabelle',
' 72 \ code: 0x01d50a font: Isabelle',
' 73 \ code: 0x00210c font: Isabelle',
' 74 #\ code: 0x01d50c font: Isabelle',
' 75 \ code: 0x01d50d font: Isabelle',
' 76 \ code: 0x01d50e font: Isabelle',
' 77 \ code: 0x01d50f font: Isabelle',
' 78 \ code: 0x01d510 font: Isabelle',
' 79 \ code: 0x01d511 font: Isabelle',
' 80 \ code: 0x01d512 font: Isabelle',
' 81 \ code: 0x01d513 font: Isabelle',
' 82 \ code: 0x01d514 font: Isabelle',
' 83 #\ code: 0x01d515 font: Isabelle',
' 84 \ code: 0x01d516 font: Isabelle',
' 85 \ code: 0x01d517 font: Isabelle',
' 86 \ code: 0x01d518 font: Isabelle',
' 87 \ code: 0x01d519 font: Isabelle',
' 88 \ code: 0x01d51a font: Isabelle',
' 89 \ code: 0x01d51b font: Isabelle',
' 90 \ code: 0x01d51c font: Isabelle',
' 91 \ code: 0x002128 font: Isabelle',
' 92 \ code: 0x01d51e font: Isabelle',
' 93 \ code: 0x01d51f font: Isabelle',
' 94 \ code: 0x01d520 font: Isabelle',
' 95 \ code: 0x01d521 font: Isabelle',
' 96 \ code: 0x01d522 font: Isabelle',
' 97 \ code: 0x01d523 font: Isabelle',
' 98 \ code: 0x01d524 font: Isabelle',
' 99 \ code: 0x01d525 font: Isabelle',
' 100 \ code: 0x01d526 font: Isabelle',
' 101 \ code: 0x01d527 font: Isabelle',
' 102 \ code: 0x01d528 font: Isabelle',
' 103 \ code: 0x01d529 font: Isabelle',
' 104 \ code: 0x01d52a font: Isabelle',
' 105 \ code: 0x01d52b font: Isabelle',
' 106 \ code: 0x01d52c font: Isabelle',
' 107 \ code: 0x01d52d font: Isabelle',
' 108 \ code: 0x01d52e font: Isabelle',
' 109 \ code: 0x01d52f font: Isabelle',
' 110 \ code: 0x01d530 font: Isabelle',
' 111 \ code: 0x01d531 font: Isabelle',
' 112 \ code: 0x01d532 font: Isabelle',
' 113 \ code: 0x01d533 font: Isabelle',
' 114 \ code: 0x01d534 font: Isabelle',
' 115 \ code: 0x01d535 font: Isabelle',
' 116 \ code: 0x01d536 font: Isabelle',
' 117 \ code: 0x01d537 font: Isabelle',
' 118 \ code: 0x0003b1 font: Isabelle',
' 119 \ code: 0x0003b2 font: Isabelle',
' 120 \ code: 0x0003b3 font: Isabelle',
' 121 \ code: 0x0003b4 font: Isabelle',
' 122 \ code: 0x0003b5 font: Isabelle',
' 123 \ code: 0x0003b6 font: Isabelle',
' 124 \ code: 0x0003b7 font: Isabelle',
' 125 \ code: 0x0003b8 font: Isabelle',
' 126 \ code: 0x0003b9 font: Isabelle',
' 127 \ code: 0x0003ba font: Isabelle',
' 128 \ code: 0x0003bb font: Isabelle',
' 129 \ code: 0x0003bc font: Isabelle',
' 130 \ code: 0x0003bd font: Isabelle',
' 131 \ code: 0x0003be font: Isabelle',
' 132 \ code: 0x0003c0 font: Isabelle',
' 133 \ code: 0x0003c1 font: Isabelle',
' 134 \ code: 0x0003c3 font: Isabelle',
' 135 \ code: 0x0003c4 font: Isabelle',
' 136 \ code: 0x0003c5 font: Isabelle',
' 137 \ code: 0x0003c6 font: Isabelle',
' 138 \ code: 0x0003c7 font: Isabelle',
' 139 \ code: 0x0003c8 font: Isabelle',
' 140 \ code: 0x0003c9 font: Isabelle',
' 141 \ code: 0x000393 font: Isabelle',
' 142 \ code: 0x000394 font: Isabelle',
' 143 \ code: 0x000398 font: Isabelle',
' 144 \ code: 0x00039b font: Isabelle',
' 145 \ code: 0x00039e font: Isabelle',
' 146 \ code: 0x0003a0 font: Isabelle',
' 147 \ code: 0x0003a3 font: Isabelle',
' 148 \ code: 0x0003a5 font: Isabelle',
' 149 \ code: 0x0003a6 font: Isabelle',
' 150 \ code: 0x0003a8 font: Isabelle',
' 151 \ code: 0x0003a9 font: Isabelle',
' 152 \ code: 0x01d539 font: Isabelle',
' 153 \ code: 0x002102 font: Isabelle',
' 154 \ code: 0x002115 font: Isabelle',
' 155 \ code: 0x00211a font: Isabelle',
' 156 \ code: 0x00211d font: Isabelle',
' 157 \ code: 0x002124 font: Isabelle',
' 158 \ code: 0x002190 font: Isabelle',
' 159 \ code: 0x0027f5 font: Isabelle',
' 160 \ code: 0x002192 font: Isabelle abbrev: ->',
' 161 \ code: 0x0027f6 font: Isabelle abbrev: -->',
' 162 \ code: 0x0021d0 font: Isabelle',
' 163 \ code: 0x0027f8 font: Isabelle ',
' 164 \ code: 0x0021d2 font: Isabelle abbrev: =>',
' 165 \ code: 0x0027f9 font: Isabelle abbrev: ==>',
' 166 \ code: 0x002194 font: Isabelle abbrev: <->',
' 167 \ code: 0x0027f7 font: Isabelle abbrev: <-->',
' 168 \ code: 0x0021d4 font: Isabelle abbrev: <=>',
' 169 \ code: 0x0027fa font: Isabelle abbrev: <==>',
' 170 \ code: 0x0021a6 font: Isabelle abbrev: |->',
' 171 \ code: 0x0027fc font: Isabelle abbrev: |-->',
' 172 \ code: 0x002500 font: Isabelle',
' 173 \ code: 0x002550 font: Isabelle',
' 174 \ code: 0x0021a9 font: Isabelle',
' 175 \ code: 0x0021aa font: Isabelle',
' 176 \ code: 0x0021bd font: Isabelle',
' 177 \ code: 0x0021c1 font: Isabelle',
' 178 \ code: 0x0021bc font: Isabelle',
' 179 \ code: 0x0021c0 font: Isabelle',
' 180 \ code: 0x0021cc font: Isabelle',
' 181 \ code: 0x00219d font: Isabelle abbrev: ~>',
' 182 \ code: 0x0021c3 font: Isabelle',
' 183 \ code: 0x0021c2 font: Isabelle',
' 184 \ code: 0x0021bf font: Isabelle',
' 185 \ code: 0x0021be font: Isabelle',
' 186 \ code: 0x0021be font: Isabelle',
' 187 \ code: 0x002237 font: Isabelle',
' 188 \ code: 0x002191 font: Isabelle',
' 189 \ code: 0x0021d1 font: Isabelle',
' 190 \ code: 0x002193 font: Isabelle',
' 191 \ code: 0x0021d3 font: Isabelle',
' 192 \ code: 0x002195 font: Isabelle',
' 193 \ code: 0x0021d5 font: Isabelle',
' 194 \ code: 0x0027e8 font: Isabelle abbrev: <.',
' 195 \ code: 0x0027e9 font: Isabelle abbrev: .>',
' 196 \ code: 0x002308 font: Isabelle',
' 197 \ code: 0x002309 font: Isabelle',
' 198 \ code: 0x00230a font: Isabelle',
' 199 \ code: 0x00230b font: Isabelle',
' 200 \ code: 0x002987 font: Isabelle abbrev: (|',
' 201 \ code: 0x002988 font: Isabelle abbrev: |)',
' 202 \ code: 0x0027e6 font: Isabelle abbrev: [|',
' 203 \ code: 0x0027e7 font: Isabelle abbrev: |]',
' 204 \ code: 0x002983 font: Isabelle abbrev: {.',
' 205 \ code: 0x002984 font: Isabelle abbrev: .}',
' 206 \ code: 0x0000ab abbrev: <<',
' 207 \ code: 0x0000bb abbrev: >>',
' 208 \ code: 0x0022a5 font: Isabelle',
' 209 \ code: 0x0022a4 font: Isabelle',
' 210 \ code: 0x002227 font: Isabelle abbrev: /\',
' 211 \ code: 0x0022c0 font: Isabelle abbreb: !!',
' 212 \ code: 0x002228 font: Isabelle abbrev: \/',
' 213 \ code: 0x0022c1 font: Isabelle abbrev: ??',
' 214 \ code: 0x002200 font: Isabelle abbrev: !',
' 215 \ code: 0x002203 font: Isabelle abbrev: ?.',
' 216 \ code: 0x002204 font: Isabelle abbrev: ?~',
' 217 \ code: 0x0000ac font: Isabelle abbrev: ~',
' 218 \ code: 0x0025a1 font: Isabelle',
' 219 \ code: 0x0025c7 font: Isabelle',
' 220 \ code: 0x0022a2 font: Isabelle abbrev: |-',
' 221 \ code: 0x0022a8 font: Isabelle abbrev: |=',
' 222 \ code: 0x0022a9 font: Isabelle abbrev: ||-',
' 223 \ code: 0x0022ab font: Isabelle abbrev: ||=',
' 224 \ code: 0x0022a3 font: Isabelle abbrev: -|',
' 225 \ code: 0x00221a font: Isabelle',
' 226 \ code: 0x002264 font: Isabelle abbrev: <=',
' 227 \ code: 0x002265 font: Isabelle abbrev: >=',
' 228 \ code: 0x00226a font: Isabelle',
' 229 \ code: 0x00226b font: Isabelle',
' 230 \ code: 0x002272 font: Isabelle',
' 231 \ code: 0x002273 font: Isabelle',
' 232 \ code: 0x002a85 font: Isabelle',
' 233 \ code: 0x002a86 font: Isabelle',
' 234 \ code: 0x002208 font: Isabelle abbrev: :',
' 235 \ code: 0x002209 font: Isabelle abbrev: ~:',
' 236 \ code: 0x002282 font: Isabelle',
' 237 \ code: 0x002283 font: Isabelle',
' 238 \ code: 0x002286 font: Isabelle abbrev: (=',
' 239 \ code: 0x002287 font: Isabelle abbrev: =)',
' 240 \ code: 0x00228f font: Isabelle',
' 241 \ code: 0x002290 font: Isabelle',
' 242 \ code: 0x002291 font: Isabelle abbrev: [=',
' 243 \ code: 0x002292 font: Isabelle abbrev: =]',
' 244 \ code: 0x002229 font: Isabelle abbrev: Int',
' 245 \ code: 0x0022c2 font: Isabelle abbrev: Inter',
' 246 \ code: 0x00222a font: Isabelle abbrev: Un',
' 247 \ code: 0x0022c3 font: Isabelle abbrev: Union',
' 248 \ code: 0x002294 font: Isabelle abbrev: ||',
' 249 \ code: 0x002a06 font: Isabelle abbrev: |||',
' 250 \ code: 0x002293 font: Isabelle abbrev: &&',
' 251 \ code: 0x002a05 font: Isabelle abbrev: &&&',
' 252 \ code: 0x002216 font: Isabelle',
' 253 \ code: 0x00221d font: Isabelle',
' 254 \ code: 0x00228e font: Isabelle',
' 255 \ code: 0x002a04 font: Isabelle',
' 256 \ code: 0x002260 font: Isabelle abbrev: ~=',
' 257 \ code: 0x00223c font: Isabelle',
' 258 \ code: 0x002250 font: Isabelle',
' 259 \ code: 0x002243 font: Isabelle',
' 260 \ code: 0x002248 font: Isabelle',
' 261 \ code: 0x00224d font: Isabelle',
' 262 \ code: 0x002245 font: Isabelle',
' 263 \ code: 0x002323 font: Isabelle',
' 264 \ code: 0x002261 font: Isabelle abbrev: ==',
' 265 \ code: 0x002322 font: Isabelle',
' 266 \ code: 0x0022c8 font: Isabelle',
' 267 \ code: 0x002a1d font: Isabelle',
' 268 \ code: 0x00227a font: Isabelle',
' 269 \ code: 0x00227b font: Isabelle',
' 270 \ code: 0x00227c font: Isabelle',
' 271 \ code: 0x00227d font: Isabelle',
' 272 \ code: 0x002225 font: Isabelle abbrev: ||',
' 273 \ code: 0x0000a6',
' 274 \ code: 0x0000b1 font: Isabelle',
' 275 \ code: 0x002213 font: Isabelle',
' 276 \ code: 0x0000d7 font: Isabelle',
' 277 \ code: 0x0000f7 font: Isabelle',
' 278 \ code: 0x0022c5 font: Isabelle',
' 279 \ code: 0x0022c6 font: Isabelle',
' 280 \ code: 0x002219 font: Isabelle',
' 281 \ code: 0x002218 font: Isabelle',
' 282 \ code: 0x002020 font: Isabelle',
' 283 \ code: 0x002021 font: Isabelle',
' 284 \ code: 0x0022b2 font: Isabelle',
' 285 \ code: 0x0022b3 font: Isabelle',
' 286 \ code: 0x0022b4 font: Isabelle',
' 287 \ code: 0x0022b5 font: Isabelle',
' 288 \ code: 0x0025c3 font: Isabelle',
' 289 \ code: 0x0025b9 font: Isabelle',
' 290 \ code: 0x0025b3 font: Isabelle',
' 291 \ code: 0x00225c font: Isabelle',
' 292 \ code: 0x002295 font: Isabelle abbrev: +o',
' 293 \ code: 0x002a01 font: Isabelle abbrev: +O',
' 294 \ code: 0x002297 font: Isabelle abbrev: *o',
' 295 \ code: 0x002a02 font: Isabelle abbrev: *O',
' 296 \ code: 0x002299 font: Isabelle abbrev: .o',
' 297 \ code: 0x002a00 font: Isabelle abbrev: .O',
' 298 \ code: 0x002296 font: Isabelle abbrev: -o',
' 299 \ code: 0x002298 font: Isabelle abbrev: /o',
' 300 \ code: 0x002026 font: Isabelle abbrev: ...',
' 301 \ code: 0x0022ef font: Isabelle',
' 302 \ code: 0x002211 font: Isabelle abbrev: SUM',
' 303 \ code: 0x00220f font: Isabelle abbrev: PROD',
' 304 \ code: 0x002210 font: Isabelle',
' 305 \ code: 0x00221e font: Isabelle',
' 306 \ code: 0x00222b font: Isabelle',
' 307 \ code: 0x00222e font: Isabelle',
' 308 \ code: 0x002663 font: Isabelle',
' 309 \ code: 0x002662 font: Isabelle',
' 310 \ code: 0x002661 font: Isabelle',
' 311 \ code: 0x002660 font: Isabelle',
' 312 \ code: 0x002135 font: Isabelle',
' 313 \ code: 0x002205 font: Isabelle',
' 314 \ code: 0x002207 font: Isabelle',
' 315 \ code: 0x002202 font: Isabelle',
' 316 \ code: 0x00211c font: Isabelle',
' 317 \ code: 0x002111 font: Isabelle',
' 318 \ code: 0x00266d font: Isabelle',
' 319 \ code: 0x00266e font: Isabelle',
' 320 \ code: 0x00266f font: Isabelle',
' 321 \ code: 0x002220 font: Isabelle',
' 322 \ code: 0x0000a9 font: Isabelle',
' 323 \ code: 0x0000ae font: Isabelle',
' 324 \ code: 0x0000ad',
' 325 \ code: 0x0000af',
' 326 \ code: 0x0000b9',
' 327 \ code: 0x0000bc',
' 328 \ code: 0x0000b2',
' 329 \ code: 0x0000bd',
' 330 \ code: 0x0000b3',
' 331 \ code: 0x0000be',
' 332 \ code: 0x0000aa',
' 333 \ code: 0x0000ba',
' 334 \,
' 335 \ code: 0x0000b6',
' 336 \ code: 0x0000a1',
' 337 \ code: 0x0000bf',
' 338 \ code: 0x0020ac',
' 339 \ code: 0x0000a3',
' 340 \ code: 0x0000a5',
' 341 \ code: 0x0000a2',
' 342 \ code: 0x0000a4',
' 343 \ code: 0x0000b0 font: Isabelle',
' 344 \ code: 0x002a3f font: Isabelle',
' 345 \ code: 0x002127 font: Isabelle',
' 346 \ code: 0x0025ca font: Isabelle',
' 347 \ code: 0x002118 font: Isabelle',
' 348 \ code: 0x002240 font: Isabelle',
' 349 \ code: 0x0022c4 font: Isabelle',
' 350 \ code: 0x0000b4',
' 351 \ code: 0x000131 font: Isabelle',
' 352 \ code: 0x0000a8',
' 353 \ code: 0x0000b8',
' 354 \ code: 0x0002dd',
' 355 \ code: 0x002423 font: Isabelle',
' 356 \ code: 0x0003f5 font: Isabelle',
' 357 ');
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
