//# 0 errors, 111 messages
//#
/*
    //#LineInfo.java:1:1: class: com.dmdirc.addons.ui_swing.textpane.LineInfo
    //#LineInfo.java:1:1: method: com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_swing.textpane;

/**
 * Information about a position in a line.
 */
public final class LineInfo {

    /** Line number. */
    private int line;
    /** What part of a line. */
    private int part;
    /** Character index? */
    private int index;

    /** 
     * Creates a new instance of LineInfo. 
     *
     * @param line Line number
     * @param part line wrap number
     */
    public LineInfo(final int line, final int part) {
        this(line, part, -1);
    //#LineInfo.java:44: method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): line
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): part
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.index
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.line
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.part
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.index == -1
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.line == line
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): init'ed(this.line)
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): this.part == part
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)): init'ed(this.part)
    }
    //#LineInfo.java:45: end of method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int)

    /** 
     * Creates a new instance of LineInfo. 
     *
     * @param line Line number
     * @param part line wrap number
     * @param index Position index
     */
    public LineInfo(final int line, final int part, final int index) {
    //#LineInfo.java:54: method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): index
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): line
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): part
    //#input(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.index
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.line
    //#output(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.part
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.index == index
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): init'ed(this.index)
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.line == line
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): init'ed(this.line)
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): this.part == part
    //#post(void com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)): init'ed(this.part)
        this.line = line;
        this.part = part;
        this.index = index;
    }
    //#LineInfo.java:58: end of method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo(int, int, int)

    /**
     * Returns the line number of this object.
     *
     * @return Line number
     */
    public int getLine() {
        return line;
    //#LineInfo.java:66: method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getLine()
    //#input(int getLine()): this
    //#input(int getLine()): this.line
    //#output(int getLine()): return_value
    //#pre[2] (int getLine()): init'ed(this.line)
    //#post(int getLine()): return_value == this.line
    //#post(int getLine()): init'ed(return_value)
    //#LineInfo.java:66: end of method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getLine()
    }

    /**
     * Returns the part for this line.
     *
     * @return Part number
     */
    public int getPart() {
        return part;
    //#LineInfo.java:75: method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getPart()
    //#input(int getPart()): this
    //#input(int getPart()): this.part
    //#output(int getPart()): return_value
    //#pre[2] (int getPart()): init'ed(this.part)
    //#post(int getPart()): return_value == this.part
    //#post(int getPart()): init'ed(return_value)
    //#LineInfo.java:75: end of method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getPart()
    }

    /**
     * Returns the index for this line.
     * 
     * @return Index for the line of -1
     */
    public int getIndex() {
        return index;
    //#LineInfo.java:84: method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getIndex()
    //#input(int getIndex()): this
    //#input(int getIndex()): this.index
    //#output(int getIndex()): return_value
    //#pre[2] (int getIndex()): init'ed(this.index)
    //#post(int getIndex()): return_value == this.index
    //#post(int getIndex()): init'ed(return_value)
    //#LineInfo.java:84: end of method: int com.dmdirc.addons.ui_swing.textpane.LineInfo.getIndex()
    }
    
    /**
     * Sets the index for this line.
     * 
     * @param index New index
     */
    public void setIndex(int index) {
        this.index = index;
    //#LineInfo.java:93: method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setIndex(int)
    //#input(void setIndex(int)): index
    //#input(void setIndex(int)): this
    //#output(void setIndex(int)): this.index
    //#post(void setIndex(int)): this.index == index
    //#post(void setIndex(int)): init'ed(this.index)
    }
    //#LineInfo.java:94: end of method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setIndex(int)

    /**
     * Sets the line for this line.
     * 
     * @param line New line
     */
    public void setLine(int line) {
        this.line = line;
    //#LineInfo.java:102: method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setLine(int)
    //#input(void setLine(int)): line
    //#input(void setLine(int)): this
    //#output(void setLine(int)): this.line
    //#post(void setLine(int)): this.line == line
    //#post(void setLine(int)): init'ed(this.line)
    }
    //#LineInfo.java:103: end of method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setLine(int)

    /**
     * Sets the line part for this line
     * 
     * @param part New part
     */
    public void setPart(int part) {
        this.part = part;
    //#LineInfo.java:111: method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setPart(int)
    //#input(void setPart(int)): part
    //#input(void setPart(int)): this
    //#output(void setPart(int)): this.part
    //#post(void setPart(int)): this.part == part
    //#post(void setPart(int)): init'ed(this.part)
    }
    //#LineInfo.java:112: end of method: void com.dmdirc.addons.ui_swing.textpane.LineInfo.setPart(int)
    
    /* {@inheritDoc} */
    @Override
    public String toString() {
        return "LineInfo[line=" + line + ", part=" + part + ", index=" + index + "]";
    //#LineInfo.java:117: method: String com.dmdirc.addons.ui_swing.textpane.LineInfo.toString()
    //#input(String toString()): ", index="._tainted
    //#input(String toString()): ", part="._tainted
    //#input(String toString()): "LineInfo[line="._tainted
    //#input(String toString()): "]"._tainted
    //#input(String toString()): this
    //#input(String toString()): this.index
    //#input(String toString()): this.line
    //#input(String toString()): this.part
    //#output(String toString()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuilder:toString(...)
    //#pre[2] (String toString()): init'ed(this.index)
    //#pre[3] (String toString()): init'ed(this.line)
    //#pre[4] (String toString()): init'ed(this.part)
    //#post(String toString()): java.lang.StringBuilder:toString(...)._tainted == 0
    //#post(String toString()): return_value == &java.lang.StringBuilder:toString(...)
    //#LineInfo.java:117: end of method: String com.dmdirc.addons.ui_swing.textpane.LineInfo.toString()
    }
}
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/textpane/LineInfo]
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getIndex()I
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getLine()I
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getPart()I
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setIndex(I)V
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setLine(I)V
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setPart(I)V
    //#output(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Descendant_Table[com/dmdirc/addons/ui_swing/textpane/LineInfo] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getIndex()I == &getIndex
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getLine()I == &getLine
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.getPart()I == &getPart
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setIndex(I)V == &setIndex
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setLine(I)V == &setLine
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.setPart(I)V == &setPart
    //#post(com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#LineInfo.java:: end of method: com.dmdirc.addons.ui_swing.textpane.LineInfo.com.dmdirc.addons.ui_swing.textpane.LineInfo__static_init
    //#LineInfo.java:: end of class: com.dmdirc.addons.ui_swing.textpane.LineInfo
