| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/COBOL/IF/ Datei vom 4.1.2008 mit Größe 65 kB |
|
Quelle filename.vdmpp Sprache: VDM |
|||||||||
|
class Filename operations -- get_file models OS operation of taking a location and returning -- content of file at that location public get_file : () ==> File get_file () == is not yet specified; -- put_file models OS operation of storing given file at a given -- location public put_file : File ==> () put_file (f) == is not yet specified; end Filename ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28