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
¤ Dauer der Verarbeitung: 0.1 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.
|