/** * getLine * @returns line if known, else -1 */ public String toString(){ return getUnit()+":"+getLine()+"/"+getColumn()+"("+offset+")"; } /**
/** * getLine * @returns line if known, else -1 */ public String toString(){ return getUnit()+":"+getLine()+"/"+getColumn()+"("+offset+")"; } /**
/** * getLine * @returns line if known, else -1 */ public String toString(){ return getUnit()+":"+getLine()+"/"+getColumn()+"("+offset+")"; } /**