17   short[] linenumber_table;  field in LineNumbersAttr
32     linenumber_table = numbers;  in LineNumbersAttr()
41     if (linenumber_table == null)  in put()
42       linenumber_table = new short[32];  in put()
43     else if (2 * linenumber_count >= linenumber_table.length)  in put()
45 	short[] new_linenumbers = new short [2 * linenumber_table.length];  in put()
46 	System.arraycopy (linenumber_table, 0, new_linenumbers, 0,  in put()
48 	linenumber_table = new_linenumbers;  in put()
50     linenumber_table[2 * linenumber_count] = (short) PC;  in put()
51     linenumber_table[2 * linenumber_count + 1] = (short) linenumber;  in put()
59   public short[] getLineNumberTable () { return linenumber_table; }  in getLineNumberTable()
67 	dstr.writeShort(linenumber_table[i]);  in write()
82 	dst.print(linenumber_table[2 * i + 1] & 0xFFFF); // line number  in print()
84 	dst.println(linenumber_table[2 * i] & 0xFFFF);   // start_pc  in print()