Changeset 12759


Ignore:
Timestamp:
06/20/10 17:51:29 (12 years ago)
Author:
vvoutilainen
Message:

Mark functions final where applicable.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/abcl/src/org/armedbear/lisp/util/DecodingReader.java

    r12330 r12759  
    8888     * into characters.
    8989     */
    90     public void setCharset(Charset cs) {
     90    public final void setCharset(Charset cs) {
    9191        this.cd = cs.newDecoder();
    9292        this.ce = cs.newEncoder();
     
    9494
    9595    /** Get the Charset used to decode bytes from the input stream. */
    96     public Charset getCharset() {
     96    public final Charset getCharset() {
    9797        return this.cd.charset();
    9898    }
    9999
    100100    @Override
    101     public void close() throws IOException {
     101    public final void close() throws IOException {
    102102        stream.close();
    103103    }
    104104
    105105    @Override
    106     public void mark(int readAheadLimit) throws IOException {
     106    public final void mark(int readAheadLimit) throws IOException {
    107107        throw new IOException("mark/reset not supported.");
    108108    }
    109109
    110110    @Override
    111     public boolean markSupported() {
     111    public final boolean markSupported() {
    112112        return false;
    113113    }
    114114
    115115    @Override
    116     public boolean ready() throws IOException {
     116    public final boolean ready() throws IOException {
    117117        return stream.available() != 0 || bbuf.remaining() != 0;
    118118    }
    119119
    120120    @Override
    121     public void reset() throws IOException {
     121    public final void reset() throws IOException {
    122122        throw new IOException("reset/mark not supported.");
    123123    }
     
    129129     */
    130130    @Override
    131     public long skip(long n) throws IOException {
     131    public final long skip(long n) throws IOException {
    132132        char[] cbuf = new char[(int)Math.min(4096, n)];
    133133        long m = n;
     
    152152     */
    153153    @Override
    154     public void unread(int c) throws IOException {
     154    public final void unread(int c) throws IOException {
    155155        char[] ch = Character.toChars(c);
    156156        unread(ch, 0, ch.length);
     
    164164     */
    165165    @Override
    166     public void unread(char[] cbuf, int off, int len) throws IOException {
     166    public final void unread(char[] cbuf, int off, int len) throws IOException {
    167167
    168168        ByteBuffer tb = // temp buffer
     
    190190
    191191    @Override
    192     public void unread(char[] cbuf) throws IOException {
     192    public final void unread(char[] cbuf) throws IOException {
    193193        unread(cbuf, 0, cbuf.length);
    194194    }
     
    221221
    222222    @Override
    223     public int read() throws IOException {
     223    public final int read() throws IOException {
    224224        // read the first UTF-16 character
    225225        char[] ch = new char[1];
     
    245245
    246246    @Override
    247     public int read(char[] cbuf, int off, int len) throws IOException {
     247    public final int read(char[] cbuf, int off, int len) throws IOException {
    248248        CharBuffer cb = CharBuffer.wrap(cbuf, off, len);
    249249        return read(cb);
     
    251251
    252252    @Override
    253     public int read(CharBuffer cb) throws IOException {
     253    public final int read(CharBuffer cb) throws IOException {
    254254        int len = cb.remaining();
    255255        boolean notEof = true;
     
    278278
    279279    @Override
    280     public int read(char[] cbuf) throws IOException {
     280    public final int read(char[] cbuf) throws IOException {
    281281        return read(cbuf, 0, cbuf.length);
    282282    }
Note: See TracChangeset for help on using the changeset viewer.