56 |
{ |
{ |
57 |
this.backing_buffer = new char[cap]; |
this.backing_buffer = new char[cap]; |
58 |
this.cap = cap; |
this.cap = cap; |
|
this.position(off); |
|
59 |
this.limit(lim); |
this.limit(lim); |
60 |
|
this.position(off); |
61 |
} |
} |
62 |
|
|
63 |
public CharBufferImpl(char[] array, int off, int lim) |
public CharBufferImpl(char[] array, int off, int lim) |
64 |
{ |
{ |
65 |
this.backing_buffer = array; |
this.backing_buffer = array; |
66 |
this.cap = array.length; |
this.cap = array.length; |
|
this.position(off); |
|
67 |
this.limit(lim); |
this.limit(lim); |
68 |
|
this.position(off); |
69 |
} |
} |
70 |
|
|
71 |
public CharBufferImpl (CharBufferImpl copy) |
public CharBufferImpl (CharBufferImpl copy) |
72 |
{ |
{ |
73 |
backing_buffer = copy.backing_buffer; |
backing_buffer = copy.backing_buffer; |
74 |
ro = copy.ro; |
ro = copy.ro; |
|
position (copy.position ()); |
|
75 |
limit (copy.limit()); |
limit (copy.limit()); |
76 |
|
position (copy.position ()); |
77 |
} |
} |
78 |
|
|
79 |
void inc_pos (int a) |
void inc_pos (int a) |