47 |
public FileChannelImpl ch; |
public FileChannelImpl ch; |
48 |
public MappedIntFileBuffer(FileChannelImpl ch) |
public MappedIntFileBuffer(FileChannelImpl ch) |
49 |
{ |
{ |
50 |
|
// FIXME |
51 |
|
super (0, 0, 0, 0); |
52 |
this.ch = ch; |
this.ch = ch; |
53 |
address = ch.address; |
address = ch.address; |
|
try { |
|
|
long si = ch.size() / 4; |
|
|
limit((int)si); |
|
|
} catch (IOException e) { |
|
|
System.err.println("failed to get size of file-channel's file"); |
|
|
} |
|
54 |
} |
} |
55 |
public MappedIntFileBuffer(MappedIntFileBuffer b) |
public MappedIntFileBuffer(MappedIntFileBuffer b) |
56 |
{ |
{ |
57 |
|
// FIXME |
58 |
|
super (0, 0, 0, 0); |
59 |
this.ro = b.ro; |
this.ro = b.ro; |
60 |
this.ch = b.ch; |
this.ch = b.ch; |
61 |
address = b.address; |
address = b.address; |
|
limit(b.limit()); |
|
62 |
} |
} |
63 |
public boolean isReadOnly() |
public boolean isReadOnly() |
64 |
{ |
{ |