49 lines
1,007 B
Text
49 lines
1,007 B
Text
native _file
|
|
native isfile
|
|
|
|
def TYPE_FILE "file" mktype =TYPE_FILE
|
|
|
|
native read
|
|
native flength
|
|
native write
|
|
|
|
def _.file.&read &read =_.file.&read
|
|
func _.file.read {
|
|
_.file.&read fcall
|
|
}
|
|
def _.file.&flength &flength =_.file.&flength
|
|
func _.file.flength {
|
|
_.file.&flength fcall
|
|
}
|
|
def _.file.&write &write =_.file.&write
|
|
func _.file.write {
|
|
_.file.&write fcall
|
|
}
|
|
def _.file.&_file &_file =_.file.&_file
|
|
func _.file._file {
|
|
_.file.&_file fcall
|
|
}
|
|
def _.file.&isfile &isfile =_.file.&isfile
|
|
func _.file.isfile {
|
|
_.file.&isfile fcall
|
|
}
|
|
|
|
def File "java.io.File" JIO class =File
|
|
def FileInputStream "java.io.FileInputStream" JIO class =FileInputStream
|
|
|
|
"open" {
|
|
new1
|
|
} File gettype defmethod
|
|
|
|
"read" {
|
|
def this =this
|
|
def stream this FileInputStream new1 =stream
|
|
def bytes this length0 TYPE_LONG settype _int anew =bytes
|
|
def i 0 =i
|
|
while { i bytes alen lt } {
|
|
bytes i stream read0 _char aput
|
|
i inc
|
|
}
|
|
stream close0
|
|
bytes
|
|
} File gettype defmethod
|