|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
IO.vdmrt
Sprache: VDM
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
636C61737320494F0A0A2D2D20204F76
657274757265205354414E4441524420
4C4942524152593A20494E5055542F4F
55545055540A2D2D2020202020202D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D0A2D2D205665
7273696F6E20312E302E30200A2D2D20
0A2D2D205374616E64617264206C6962
7261727920666F7220746865204F7665
727475726520496E7465727072657465
722E205768656E2074686520696E7465
727072657465720A2D2D206576616C75
6174657320746865207072656C696D69
6E6172792066756E6374696F6E732F6F
7065726174696F6E7320696E20746869
732066696C652C0A2D2D20636F727265
73706F6E64696E6720696E7465726E61
6C2066756E6374696F6E732069732063
616C6C656420696E7374656164206F66
2069737375696E6720612072756E0A2D
2D2074696D65206572726F722E205369
676E6174757265732073686F756C6420
6E6F74206265206368616E6765642C20
61732077656C6C206173206E616D6520
6F660A2D2D206D6F64756C6520285644
4D2D534C29206F7220636C6173732028
56444D2B2B292E205072652F706F7374
20636F6E646974696F6E73206973200A
2D2D2066756C6C792075736572206375
73746F6D697A61626C652E200A2D2D20
446F6E277420636172652773206D6179
204E4F54206265207573656420696E20
74686520706172616D65746572206C69
7374732E0A2D2D0A2D2D205468652069
6E2F6F75742066756E6374696F6E7320
2077696C6C2072657475726E2066616C
736520696620616E206572726F72206F
63637572732E20496E20746869730A2D
2D206361736520616E20696E7465726E
616C206572726F7220737472696E6720
77696C6C206265207365742028736565
2027666572726F7227292E0A2D2D0A2D
2D2046696C6520706174683A0A2D2D20
202A20416E206162736F6C7574652070
61746820697320616363657074656420
616E6420757365642061732073706563
69666965642E0A2D2D20202A20412072
656C6174697665207061746820697320
72656C617469766520746F2074686520
6465627567676572206F722069662072
756E6E696E6720696E20746865200A2D
2D2020202020204F7665727475726520
4944452072656C617469766520746F20
7468652070726F6A65637420726F6F74
2E0A2D2D0A0A74797065730A200A2F2A
2A0A202A205468652066696C65206469
72656374697665207573656420696E20
696E2F6F75742066756E6374696F6E73
2E0A202A2F0A7075626C69632066696C
65646972656374697665203D203C7374
6172743E7C3C617070656E643E200A0A
66756E6374696F6E730A0A2F2A2A0A20
2A2057726974652056444D2076616C75
6520696E20415343494920666F726D61
7420746F2074686520636F6E736F6C65
2E0A202A0A202A2040706172616D2076
616C207468652056444D2076616C7565
20746F206265207772697474656E0A20
2A204072657475726E20747275652069
66207375636365737366756C20656C73
652066616C73650A202A2F0A7075626C
69632073746174696320777269746576
616C5B40705D3A204070202D3E20626F
6F6C0A777269746576616C2876616C29
3D3D0A20206973206E6F742079657420
7370656369666965643B0A0A2F2A2A0A
202A2057726974652056444D2076616C
756520696E20415343494920666F726D
617420746F2066696C652E2054686520
74797065206F66207468652076616C20
6D7573742062650A202A207370656369
66696564206173206677726974657661
6C5B736571206F6620636861725D282E
2E2E29207768656E2063616C6C696E67
207468652066756E6374696F6E2E0A20
2A0A202A2040706172616D2066696C65
6E616D6520746865206E616D65206F66
207468652066696C650A202A20407061
72616D2076616C207468652056444D20
76616C756520746F2062652077726974
74656E2E0A202A2040706172616D2066
646972206966203C73746172743E2074
68656E2069742077696C6C206F766572
777269746520616E206578697374696E
672066696C652C200A202A2020656C73
65203C617070656E643E2077696C6C20
617070656E64206F757470757420746F
20746865206578697374696E67206669
6C650A202A204072657475726E207472
7565206966207375636365737366756C
20656C73652066616C73650A202A2F0A
7075626C696320737461746963206677
7269746576616C5B40705D3A73657131
206F662063686172202A204070202A20
66696C65646972656374697665202D3E
20626F6F6C0A66777269746576616C28
66696C656E616D652C76616C2C666469
7229203D3D0A20206973206E6F742079
6574207370656369666965643B0A0A2F
2A2A0A202A20526561642056444D2076
616C756520696E20415343494920666F
726D61742066726F6D2066696C652E20
54686520747970652077686963682073
686F756C642062652072656164206D75
73742062650A202A2073706563696669
656420617320667265616476616C5B73
6571206F6620636861725D282E2E2E29
207768656E2063616C6C696E67207468
652066756E6374696F6E2E0A202A0A20
2A2040706172616D2066696C656E616D
6520746865206E616D65206F66207468
652066696C650A202A20407265747572
6E206D6B5F28737563636573732C4070
29206966207375636365737366756C20
737563636573732077696C6C20626520
0A202A2073657420746F207472756520
656C73652066616C73652E2040702077
696C6C20686F6C64206E696C20696620
756E7375636365737366756C206F7220
7468652076616C756520726561642E0A
202A2F0A7075626C6963207374617469
6320667265616476616C5B40705D3A73
657131206F662063686172202D3E2062
6F6F6C202A205B40705D0A6672656164
76616C2866696C656E616D6529203D3D
0A20206973206E6F7420796574207370
656369666965640A2020706F7374206C
6574206D6B5F28622C7429203D205245
53554C5420696E206E6F742062203D3E
2074203D206E696C3B0A0A6F70657261
74696F6E730A0A2F2A2A0A202A205772
697465207465787420746F2073746420
6F75742E20537572726F756E64696E67
20646F75626C652071756F7465732077
696C6C2062652073747269707065642C
0A202A206261636B736C617368656420
636861726163746572732073686F756C
6420626520696E746572707265746564
2E0A202A0A202A2040706172616D2074
65787420746865207465787420746F20
777269746520746F2074686520636F6E
736F6C650A202A204072657475726E20
6966207375636365737366756C207472
756520656C73652066616C73652E0A20
2A2F0A7075626C6963206563686F3A20
736571206F662063686172203D3D3E20
626F6F6C0A6563686F28746578742920
3D3D0A2020666563686F202822222C74
6578742C6E696C293B0A0A2F2A2A0A20
2A205772697465207465787420746F20
66696C65206C696B65203C636F64653E
6563686F3C2F636F64653E2E0A202A0A
202A2040706172616D2066696C656E61
6D6520746865206E616D65206F662074
68652066696C650A202A204070617261
6D207465787420746865207465787420
746F20777269746520746F2062652077
72697474656E2E0A202A204070617261
6D2066646972206966206E696C206F72
203C73746172743E207468656E206974
2077696C6C206F766572777269746520
616E206578697374696E672066696C65
2C200A202A2020656C7365203C617070
656E643E2077696C6C20617070656E64
206F757470757420746F207468652065
78697374696E672066696C652E0A202A
204072657475726E2074727565206966
207375636365737366756C20656C7365
2066616C73650A202A2F0A7075626C69
6320666563686F3A20736571206F6620
63686172202A20736571206F66206368
6172202A205B66696C65646972656374
6976655D203D3D3E20626F6F6C0A6665
63686F202866696C656E616D652C7465
78742C6664697229203D3D0A20206973
206E6F74207965742073706563696669
65640A20207072652066696C656E616D
65203D202222203C3D3E206664697220
3D206E696C3B0A0A2F2A2A0A202A2052
657475726E7320746865206C61737420
6572726F72207768696368206D617920
68617665206F63637572726564206279
20616E79206F662074686520696F2F6F
75742066756E6374696F6E730A202A0A
202A204072657475726E20746865206C
617374206572726F72206D6573736167
650A202A2F0A7075626C696320666572
726F723A282920203D3D3E2073657120
6F6620636861720A666572726F722028
29203D3D0A20206973206E6F74207965
74207370656369666965643B0A20200A
2D2D204E65772073696D706C69666965
6420666F726D6174207072696E74696E
67206F7065726174696F6E730A0A0A2F
2A2A0A202A205072696E747320616E79
2056444D2076616C756520746F207468
6520636F6E736F6C650A202A0A202A20
40706172616D2061726720612056444D
2076616C7565206F6620616E79207479
70650A202A2F0A7075626C6963207374
61746963207072696E743A203F203D3D
3E2028290A7072696E74286172672920
3D3D0A202020206973206E6F74207965
74207370656369666965643B0A0A2F2A
2A0A202A205072696E747320616E7920
56444D2076616C756520746F20746865
20636F6E736F6C652061732061206E65
77206C696E650A202A0A202A20407061
72616D2061726720612056444D207661
6C7565206F6620616E7920747970650A
202A2F0A7075626C6963207374617469
63207072696E746C6E3A203F203D3D3E
2028290A7072696E746C6E2861726729
203D3D0A202020206973206E6F742079
6574207370656369666965643B0A0A2F
2A2A0A202A205072696E747320616E79
2056444D2076616C756520746F207468
6520636F6E736F6C650A202A0A202A20
40706172616D20666F726D6174207374
616E6461726420666F726D6174207374
72696E67207573656420696E0A202A20
204A617661206279203C636F64653E53
7472696E672E666F726D617428666F72
6D61742C2076616C7565293C2F636F64
653E2C0A202A202074686F756768206E
6F74652074686174206F6E6C79207468
6520257320636F6E76657273696F6E20
697320737570706F727465642E0A202A
202065672E203C636F64653E7072696E
7466282248656C6C6F205B2532242D35
735D5B25312435735D5C6E222C205B31
32332C207B327D5D293C2F636F64653E
0A202A2020776F756C642070726F6475
6365203C636F64653E48656C6C6F205B
7B327D20205D5B20203132335D3C2F63
6F64653E20616E642061206E65776C69
6E652E0A202A0A202A2040706172616D
2061726720612073657175656E636520
6F662056444D2076616C756573206F66
20616E7920747970650A202A2F0A7075
626C696320737461746963207072696E
74663A20736571206F66206368617220
2A20736571206F66203F203D3D3E2028
290A7072696E746628666F726D61742C
206172677329203D3D0A202020206973
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
