5 importJava "java.nio.file.Path" where
9 getParentPath :: Path -> <Proc> Path
12 resolvePath :: Path -> String -> <Proc> Path
14 @JavaName "relativize"
15 relativizePath :: Path -> Path -> <Proc> Path
17 toAbsolutePath :: Path -> <Proc> Path
20 pathToString :: Path -> <Proc> String
22 importJava "java.nio.file.Paths" where
25 paths :: String -> Vector String -> Path
27 path :: String -> Path
28 path path = paths path (vector [])
30 importJava "java.nio.file.OpenOption" where
33 importJava "java.nio.file.StandardOpenOption" where
37 TRUNCATE_EXISTING :: OpenOption
39 CREATE_NEW :: OpenOption
40 DELETE_ON_CLOSE :: OpenOption
45 importJava "java.nio.file.CopyOption" where
48 importJava "java.nio.file.LinkOption" where
51 importJava "java.nio.file.StandardCopyOption" where
52 REPLACE_EXISTING :: CopyOption
53 COPY_ATTRIBUTES :: CopyOption
54 ATOMIC_MOVE :: CopyOption
56 importJava "java.nio.file.LinkOption" where
57 NOFOLLOW_LINKS :: CopyOption // OpenOption
59 importJava "java.nio.file.attribute.FileAttribute" where
62 importJava "java.nio.file.Files" where
63 @JavaName newInputStream
64 newInputStreamWithOpenOptions :: Path -> Vector OpenOption -> <Proc, Exception> InputStream
66 @JavaName newOutputStream
67 newOutputStreamWithOpenOptions :: Path -> Vector OpenOption -> <Proc, Exception> OutputStream
70 createFileWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
72 @JavaName createDirectory
73 createDirectoryWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
75 @JavaName createDirectories
76 createDirectoriesWithFileAttributes :: Path -> Vector FileAttribute -> <Proc, Exception> Path
78 @JavaName createTempFile
79 createTempFileWithFileAttributes :: String -> String -> Vector FileAttribute -> <Proc, Exception> Path
81 delete :: Path -> <Proc, Exception> ()
83 deleteIfExists :: Path -> <Proc, Exception> Boolean
86 copyWithCopyOptions :: Path -> Path -> Vector CopyOption -> <Proc, Exception> Path
89 moveWithCopyOptions :: Path -> Path -> Vector CopyOption -> <Proc, Exception> Path
91 size :: Path -> <Proc, Exception> Long
94 existsWithLinkOptions :: Path -> Vector LinkOption -> <Proc> Boolean
97 notExistsWithLinkOptions :: Path -> Vector LinkOption -> <Proc> Boolean
99 isReadable :: Path -> <Proc> Boolean
101 isWritable :: Path -> <Proc> Boolean
103 isExecutable :: Path -> <Proc> Boolean
105 // Simupedia has BufferedReader.scl module which contains BufferedReader
106 // newBufferedReader :: Path -> Charset -> <Proc> BufferedReader
107 // newBufferedReader :: Path -> <Proc> BufferedReader
110 copyInputStreamWithCopyOptions :: InputStream -> Path -> Vector CopyOption -> <Proc, Exception> Long
113 copyToOutputStream :: Path -> OutputStream -> <Proc, Exception> Long
115 readAllBytes :: Path -> <Proc, Exception> Vector Byte
116 write :: Path -> Vector Byte -> Vector OpenOption -> <Proc,Exception> ()
118 @JavaName readAllLines
119 readAllLinesWithCharset :: Path -> Charset -> <Proc, Exception> [String]
121 readAllLines :: Path -> <Proc, Exception> [String]
124 writeBytesWithOpenOptions :: Path -> Vector Byte -> Vector OpenOption -> <Proc, Exception> Path
126 newInputStream :: Path -> <Proc, Exception> InputStream
127 newInputStream path = newInputStreamWithOpenOptions path (vector [])
129 newOutputStream :: Path -> <Proc, Exception> OutputStream
130 newOutputStream path = newOutputStreamWithOpenOptions path (vector [])
132 createFile :: Path -> <Proc, Exception> Path
133 createFile path = createFileWithFileAttributes path (vector [])
135 createDirectory :: Path -> <Proc, Exception> Path
136 createDirectory path = createDirectoryWithFileAttributes path (vector [])
138 createDirectories :: Path -> <Proc, Exception> Path
139 createDirectories path = createDirectoriesWithFileAttributes path (vector [])
141 createTempFile :: String -> String -> <Proc, Exception> Path
142 createTempFile prefix suffix = createTempFileWithFileAttributes prefix suffix (vector [])
144 copy :: Path -> Path -> <Proc, Exception> Path
145 copy source target = copyWithCopyOptions source target (vector [])
147 move :: Path -> Path -> <Proc, Exception> Path
148 move source target = moveWithCopyOptions source target (vector [])
150 exists :: Path -> <Proc> Boolean
151 exists path = existsWithLinkOptions path (vector [])
153 notExists :: Path -> <Proc> Boolean
154 notExists path = notExistsWithLinkOptions path (vector [])