Lines Matching refs:offset
115 int no_pad_bytes=0, offset;
138 offset = bytes.getIndex() - 12 - no_pad_bytes - 1;
139 default_offset += offset;
146 jump_table[i] = offset + bytes.readInt();
165 offset = bytes.getIndex() - 8 - no_pad_bytes - 1;
167 default_offset += offset;
175 jump_table[i] = offset + bytes.readInt();
188 /* Two address bytes + offset from start of byte stream form the
455 int default_offset, offset;
467 offset = bytes.getIndex() - 12 - no_pad_bytes - 1;
468 default_offset += offset;
472 index = offset + bytes.readInt();
479 offset = bytes.getIndex() - 8 - no_pad_bytes - 1;
480 default_offset += offset;
486 index = offset + bytes.readInt();
592 file.println("<TABLE BORDER=0><TR><TH ALIGN=LEFT>Byte<BR>offset</TH>" +
596 int offset = stream.getIndex();
603 if(goto_set.get(offset))
604 anchor = "<A NAME=code" + method_number + "@" + offset + "></A>";
608 anchor2 = "<A NAME=code" + method_number + "@" + code.length + ">" + offset + "</A>";
610 anchor2 = "" + offset;