| products/Sources/formale Sprachen/VDM/VDMPP/VFSPP/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: csequence_prefix_append.prf Sprache: VDMUntersuchung VDM© |
|
||||||
|
class UseFileSystemLayerAlg
instance variables public sys : FileSystemLayerAlg := new FileSystemLayerAlg(); values file : FileSystemLayerAlg`File = mk_FileSystemLayerAlg`File( mk_FileSystemLayerAlg`Attributes( <RegularFile>), "hello world"); file2: FileSystemLayerAlg`File = mk_FileSystemLayerAlg`File( mk_FileSystemLayerAlg`Attributes( <Directory>), nil); ofd : FileSystemLayerAlg`OpenFileDescriptor = mk_FileSystemLayerAlg`OpenFileDescriptor(["whoami"]); s : FileSystemLayerAlg`System = mk_FileSystemLayerAlg`System({42 |-> ofd}, {<Root> |-> file2, ["whoami"] |-> file}); operations public dummy: () ==> () dummy() == skip; traces T : sys.FS_Init_Main() ; (sys.dirName(<Root>) | sys.isDirectory(file) | sys.FS_DeleteFileDir_Main(s,["Dummy"]) ){3} end UseFileSystemLayerAlg ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.19Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
