Remove trailing whitespace.
Change-Id: I95534bb2b88eaf48f2329282041118cd034c812b
diff --git a/docs/dalvik-bytecode.html b/docs/dalvik-bytecode.html
index 6d6c4f1..e69a962 100644
--- a/docs/dalvik-bytecode.html
+++ b/docs/dalvik-bytecode.html
@@ -448,7 +448,7 @@
no arrays of <code>long</code> or <code>double</code>, but reference
types are acceptable). The constructed
instance is stored as a "result" in the same way that the method invocation
- instructions store their results, so the constructed instance must
+ instructions store their results, so the constructed instance must
be moved to a register with an immediately subsequent
<code>move-result-object</code> instruction (if it is to be used).</td>
</tr>
@@ -1453,7 +1453,7 @@
float result = a % b;
</td>
<td>Floating point remainder after division. This function is different
- than IEEE 754 remainder and is defined as
+ than IEEE 754 remainder and is defined as
<code>result == a - roundTowardZero(a / b) * b</code>.
</td>
</tr>
@@ -1491,7 +1491,7 @@
double result = a % b;
</td>
<td>Floating point remainder after division. This function is different
- than IEEE 754 remainder and is defined as
+ than IEEE 754 remainder and is defined as
<code>result == a - roundTowardZero(a / b) * b</code>.
</td>
</tr>
diff --git a/docs/dalvik-constraints.html b/docs/dalvik-constraints.html
index 105225a..69abf3a 100644
--- a/docs/dalvik-constraints.html
+++ b/docs/dalvik-constraints.html
@@ -5,11 +5,11 @@
<title>Dalvik bytecode constraints</title>
<link rel=stylesheet href="dalvik-constraints.css">
</head>
-
+
<body>
-
+
<h1>Dalvik bytecode constraints</h1>
-
+
<!--
<h1>General integrity constraints</h1>
@@ -18,17 +18,17 @@
<th>
Identifier
</th>
-
+
<th>
Description
</th>
</tr>
-
+
<tr>
<td>
A1
</td>
-
+
<td>
The magic number of the DEX file must be "dex\n035\0".
</td>
@@ -38,7 +38,7 @@
<td>
A1
</td>
-
+
<td>
The checksum must be an Adler-32 checksum of the whole file contents
except magic and checksum field.
@@ -54,14 +54,14 @@
The header_size must have the value 0x70.
The endian_tag must have either the value ENDIAN_CONSTANT or
-REVERSE_ENDIAN_CONSTANT.
-
+REVERSE_ENDIAN_CONSTANT.
+
For each of the link, string_ids, type_ids, proto_ids, field_ids, method_ids, class_defs
and data sections, the offset and size fields must be either both zero or both
non-zero. In the latter case, the offset must be four-byte-aligned.
All offset fields in the header except map_off must be four-byte-aligned.
-
+
The map_off field must be either zero or point into the data section. In the
latter case, the data section must exist.
@@ -124,7 +124,7 @@
...
-->
-
+
<h2>
Static constraints
</h2>
@@ -134,153 +134,153 @@
They usually can be checked without employing control or data-flow analysis
techniques.
</p>
-
+
<table>
<tr>
<th>
Identifier
</th>
-
+
<th>
Description
</th>
-
+
<th>
Spec equivalent
</th>
</tr>
-
+
<tr>
<td>
A1
</td>
-
+
<td>
- The <code>insns</code> array must not be empty.
+ The <code>insns</code> array must not be empty.
</td>
-
+
<td>
4.8.1.1
</td>
</tr>
-
+
<tr>
<td>
A2
</td>
-
+
<td>
The first opcode in the <code>insns</code> array must have index zero.
</td>
-
+
<td>
4.8.1.3
</td>
</tr>
-
+
<tr>
<td>
A3
</td>
-
+
<td>
The <code>insns</code> array must only contain valid Dalvik opcodes.
</td>
-
+
<td>
4.8.1.4
</td>
</tr>
-
+
<tr>
<td>
A4
</td>
-
+
<td>
The index of instruction <code>n+1</code> must equal the index of
instruction <code>n</code> plus the length of instruction
<code>n</code>, taking into account possible operands.
</td>
-
+
<td>
4.8.1.5
</td>
</tr>
-
+
<tr>
<td>
A5
</td>
-
+
<td>
The last instruction in the <code>insns</code> array must end at index
- <code>insns_size-1</code>.
+ <code>insns_size-1</code>.
</td>
-
+
<td>
4.8.1.6
</td>
</tr>
-
+
<tr>
<td>
A6
</td>
-
+
<td>
All <code>goto</code> and <code>if-<kind></code> targets must
be opcodes within in the same method.
</td>
-
+
<td>
4.8.1.7
</td>
</tr>
-
+
<tr>
<td>
A7
</td>
-
+
<td>
All targets of a <code>packed-switch</code> instruction must be
opcodes within in the same method. The size and the list of targets
- must be consistent.
+ must be consistent.
</td>
-
+
<td>
4.8.1.8
</td>
</tr>
-
+
<tr>
<td>
A8
</td>
-
+
<td>
All targets of a <code>sparse-switch</code> instruction must be
opcodes within in the same method. The corresponding table must be
- consistent and sorted low-to-high.
+ consistent and sorted low-to-high.
</td>
-
+
<td>
4.8.1.9
</td>
</tr>
-
+
<tr>
<td>
A9
</td>
-
+
<td>
The <code>B</code> operand of the <code>const-string</code> and
<code>const-string/jumbo</code> instructions must be a valid index
into the string constant pool.
</td>
-
+
<td>
4.8.1.10
</td>
@@ -290,31 +290,31 @@
<td>
A10
</td>
-
+
<td>
The <code>C</code> operand of the <code>iget<kind></code> and
<code>iput<kind></code> instructions must be a valid index into
the field constant pool. The referenced entry must represent an
instance field.
</td>
-
+
<td>
4.8.1.12
</td>
</tr>
-
+
<tr>
<td>
A11
</td>
-
+
<td>
The <code>C</code> operand of the <code>sget<kind></code> and
<code>sput<kind></code> instructions must be a valid index into
the field constant pool. The referenced entry must represent a static
field.
</td>
-
+
<td>
4.8.1.12
</td>
@@ -324,33 +324,33 @@
<td>
A12
</td>
-
+
<td>
The <code>C</code> operand of the <code>invoke-virtual</code>,
<code>invoke-super</code>, <code<invoke-direct</code> and
<code>invoke-static</code> instructions must be a valid index into the
method constant pool. In all cases, the referenced
- <code>method_id</code> must belong to a class (not an interface).
+ <code>method_id</code> must belong to a class (not an interface).
</td>
-
+
<td>
4.8.1.13
</td>
</tr>
-
+
<tr>
<td>
A13
</td>
-
+
<td>
The <code>B</code> operand of the <code>invoke-virtual/range</code>,
<code>invoke-super/range</code>, <code>invoke-direct/range</code>, and
<code>invoke-static/range</code> instructions must be a valid index
into the method constant pool. In all cases, the referenced
- <code>method_id</code> must belong to a class (not an interface).
+ <code>method_id</code> must belong to a class (not an interface).
</td>
-
+
<td>
4.8.1.13
</td>
@@ -360,81 +360,81 @@
<td>
A14
</td>
-
+
<td>
A method the name of which starts with a '<' must only be invoked
implicitly by the VM, not by code originating from a Dex file. The
only exception is the instance initializer, which may be invoked by
<code>invoke-direct</code>.
</td>
-
+
<td>
4.8.1.14
</td>
</tr>
-
+
<tr>
<td>
A15
</td>
-
+
<td>
The <code>C</code> operand of the <code>invoke-interface</code>
instruction must be a valid index into the method constant pool. The
referenced <code>method_id</code> must belong to an interface (not a
class).
</td>
-
+
<td>
4.8.1.15
</td>
</tr>
-
+
<tr>
<td>
A16
</td>
-
+
<td>
The <code>B</code> operand of the <code>invoke-interface/range</code>
instruction must be a valid index into the method constant pool.
The referenced <code>method_id</code> must belong to an interface (not
a class).
</td>
-
+
<td>
4.8.1.15
</td>
</tr>
-
+
<tr>
<td>
A17
</td>
-
+
<td>
The <code>B</code> operand of the <code>const-class</code>,
<code>check-cast</code>, <code>new-instance</code>, and
<code>filled-new-array/range</code> instructions must be a valid index
into the type constant pool.
</td>
-
+
<td>
4.8.1.16
</td>
</tr>
-
+
<tr>
<td>
A18
</td>
-
+
<td>
The <code>C</code> operand of the <code>instance-of</code>,
<code>new-array</code>, and <code>filled-new-array</code>
instructions must be a valid index into the type constant pool.
</td>
-
+
<td>
4.8.1.16
</td>
@@ -444,85 +444,85 @@
<td>
A19
</td>
-
+
<td>
The dimensions of an array created by a <code>new-array</code>
instruction must be less than <code>256</code>.
</td>
-
+
<td>
4.8.1.17
</td>
</tr>
-
+
<tr>
<td>
A20
</td>
-
+
<td>
The <code>new</code> instruction must not refer to array classes,
interfaces, or abstract classes.
</td>
-
+
<td>
4.8.1.18
</td>
</tr>
-
+
<tr>
<td>
A21
</td>
-
+
<td>
The type referred to by a <code>new-array</code> instruction must be
a valid, non-reference type.
</td>
-
+
<td>
4.8.1.20
</td>
</tr>
-
+
<tr>
<td>
A22
</td>
-
+
<td>
All registers referred to by an instruction in a single-width
(non-pair) fashion must be valid for the current method. That is,
their indices must be non-negative and smaller than
- <code>registers_size</code>.
+ <code>registers_size</code>.
</td>
-
+
<td>
4.8.1.21
</td>
</tr>
-
+
<tr>
<td>
A23
</td>
-
+
<td>
All registers referred to by an instruction in a double-width (pair)
fashion must be valid for the current method. That is, their indices
- must be non-negative and smaller than <code>registers_size-1</code>.
+ must be non-negative and smaller than <code>registers_size-1</code>.
</td>
-
+
<td>
4.8.1.23
</td>
</tr>
</table>
-
+
<h2>
Structural constraints
</h2>
-
+
<p>
Structural constraints are constraints on relationships between several
elements of the bytecode. They usually can't be checked without employing
@@ -534,291 +534,291 @@
<th>
Identifier
</th>
-
+
<th>
Description
</th>
-
+
<th>
Spec equivalent
</th>
</tr>
-
+
<tr>
<td>
B1
</td>
-
+
<td>
The number and types of arguments (registers and immediate values)
must always match the instruction.
</td>
-
+
<td>
4.8.2.1
</td>
</tr>
-
+
<tr>
<td>
B2
</td>
-
+
<td>
- Register pairs must never be broken up.
+ Register pairs must never be broken up.
</td>
-
+
<td>
4.8.2.3
</td>
</tr>
-
+
<tr>
<td>
B3
</td>
-
+
<td>
A register (or pair) has to be assigned first before it can be
read.
</td>
-
+
<td>
4.8.2.4
</td>
</tr>
-
+
<tr>
<td>
B4
</td>
-
+
<td>
An <code>invoke-direct</code> instruction must only invoke an instance
initializer or a method in the current class or one of its
- superclasses.
+ superclasses.
</td>
-
+
<td>
4.8.2.7
</td>
</tr>
-
+
<tr>
<td>
B5
</td>
-
+
<td>
An instance initializer must only be invoked on an uninitialized
instance.
</td>
-
+
<td>
4.8.2.8
</td>
</tr>
-
+
<tr>
<td>
B6
</td>
-
+
<td>
Instance methods may only be invoked on and instance fields may only
- be accessed on already initialized instances.
+ be accessed on already initialized instances.
</td>
-
+
<td>
4.8.2.9
</td>
</tr>
-
+
<tr>
<td>
B7
</td>
-
+
<td>
A register which holds the result of a <code>new-instance</code>code>
instruction must not be used if the same
<code>new-instance</code>code> instruction is again executed before
- the instance is initialized.
+ the instance is initialized.
</td>
-
+
<td>
4.8.2.10
</td>
</tr>
-
+
<tr>
<td>
B8
</td>
-
+
<td>
An instance initializer must call another instance initializer (same
class or superclass) before any instance members can be accessed.
Exceptions are non-inherited instance fields, which can be assigned
before calling another initializer, and the <code>Object</code> class
- in general.
+ in general.
</td>
-
+
<td>
4.8.2.11
</td>
</tr>
-
+
<tr>
<td>
B9
</td>
-
+
<td>
All actual method arguments must be assignment-compatible with their
- respective formal arguments.
+ respective formal arguments.
</td>
-
+
<td>
4.8.2.12
</td>
</tr>
-
+
<tr>
<td>
B10
</td>
-
+
<td>
For each instance method invocation, the actual instance must be
assignment-compatible with the class or interface specified in the
instruction.
</td>
-
+
<td>
4.8.2.13
</td>
</tr>
-
+
<tr>
<td>
B11
</td>
-
+
<td>
A <code>return<kind></code> instruction must match its
- method's return type.
+ method's return type.
</td>
-
+
<td>
4.8.2.14
</td>
</tr>
-
+
<tr>
<td>
B12
</td>
-
+
<td>
When accessing protected members of a superclass, the actual type of
the instance being accessed must be either the current class or one
of its subclasses.
</td>
-
+
<td>
4.8.2.15
</td>
</tr>
-
+
<tr>
<td>
B13
</td>
-
+
<td>
The type of a value stored into a static field must be
assignment-compatible with or convertible to the field's type.
</td>
-
+
<td>
4.8.2.16
</td>
</tr>
-
+
<tr>
<td>
B14
</td>
-
+
<td>
The type of a value stored into a field must be assignment-compatible
with or convertible to the field's type.
</td>
-
+
<td>
4.8.2.17
</td>
</tr>
-
+
<tr>
<td>
B15
</td>
-
+
<td>
The type of every value stored into an array must be
assignment-compatible with the array's component type.
</td>
-
+
<td>
4.8.2.18
</td>
</tr>
-
+
<tr>
<td>
B16
</td>
-
+
<td>
The <code>A</code> operand of a <code>throw</code> instruction must
- be assignment-compatible with <code>java.lang.Throwable</code>.
+ be assignment-compatible with <code>java.lang.Throwable</code>.
</td>
-
+
<td>
4.8.2.19
</td>
</tr>
-
+
<tr>
<td>
B17
</td>
-
+
<td>
The last reachable instruction of a method must either be a backwards
<code>goto</code> or branch, a <code>return</code>, or a
<code>throw</code> instruction. It must not be possible to leave the
<code>insns</code> array at the bottom.
</td>
-
+
<td>
4.8.2.20
</td>
</tr>
-
+
<tr>
<td>
B18
</td>
-
+
<td>
The unassigned half of a former register pair may not be read (is
considered invalid) until it has been re-assigned by some other
instruction.
- </td>
-
+ </td>
+
<td>
4.8.2.3, 4.8.2.4
</td>
@@ -828,15 +828,15 @@
<td>
B19
</td>
-
+
<td>
A <code>move-result<kind></code> instruction must be immediately
preceded (in the <code>insns</code> array) by an
<code><invoke-kind></code> instruction. The only exception is
the <code>move-result-object</code> instruction, which may also be
- preceded by a <code>filled-new-array</code> instruction.
+ preceded by a <code>filled-new-array</code> instruction.
</td>
-
+
<td>
-
</td>
@@ -846,16 +846,16 @@
<td>
B20
</td>
-
+
<td>
A <code>move-result<kind></code> instruction must be immediately
preceded (in actual control flow) by a matching
<code>return-<kind></code> instruction (it must not be jumped
to). The only exception is the <code>move-result-object</code>
instruction, which may also be preceded by a
- <code>filled-new-array</code> instruction.
+ <code>filled-new-array</code> instruction.
</td>
-
+
<td>
-
</td>
@@ -865,28 +865,28 @@
<td>
B21
</td>
-
+
<td>
A <code>move-exception</code> instruction must only appear as the
first instruction in an exception handler.
</td>
-
+
<td>
-
</td>
</tr>
-
+
<tr>
<td>
B22
</td>
-
+
<td>
The <code>packed-switch-data</code>, <code>sparse-switch-data</code>,
and <code>fill-array-data</code> pseudo-instructions must not be
reachable by control flow.
</td>
-
+
<td>
-
</td>
diff --git a/docs/dex-format.css b/docs/dex-format.css
index 17e935f..153dd4e 100644
--- a/docs/dex-format.css
+++ b/docs/dex-format.css
@@ -85,13 +85,13 @@
background: #eeeeff;
}
-table p {
+table p {
margin-bottom: 0pt;
}
/* for the bnf syntax sections */
-table.bnf {
+table.bnf {
background: #eeeeff;
border-color: #aaaaff;
border-style: solid;
@@ -104,7 +104,7 @@
padding-right: 6pt;
}
-table.bnf td {
+table.bnf td {
border: none;
padding-left: 6pt;
padding-right: 6pt;
@@ -112,12 +112,12 @@
padding-bottom: 1pt;
}
-table.bnf td:first-child {
+table.bnf td:first-child {
padding-right: 0pt;
width: 8pt;
}
-table.bnf td:first-child td {
+table.bnf td:first-child td {
padding-left: 0pt;
}
diff --git a/docs/dex-format.html b/docs/dex-format.html
index bc69dd0..cab9d4c 100644
--- a/docs/dex-format.html
+++ b/docs/dex-format.html
@@ -1305,7 +1305,7 @@
<tr>
<td>data_off</td>
<td>uint</td>
- <td>offset from the start of the file to the start of the
+ <td>offset from the start of the file to the start of the
<code>data</code> section.
</td>
</tr>
@@ -1559,7 +1559,7 @@
<td>data</td>
<td>ubyte[]</td>
<td>a series of MUTF-8 code units (a.k.a. octets, a.k.a. bytes)
- followed by a byte of value <code>0</code>. See
+ followed by a byte of value <code>0</code>. See
"MUTF-8 (Modified UTF-8) Encoding" above for details and
discussion about the data format.
<p><b>Note:</b> It is acceptable to have a string which includes
@@ -1892,7 +1892,7 @@
</tbody>
</table>
-<p><b>Note:</b> All elements' <code>field_id</code>s and
+<p><b>Note:</b> All elements' <code>field_id</code>s and
<code>method_id</code>s must refer to the same defining class.</p>
<h3><code>encoded_field</code> Format</h3>
@@ -2055,10 +2055,10 @@
<tr>
<td>debug_info_off</td>
<td>uint</td>
- <td>offset from the start of the file to the debug info (line numbers +
- local variable info) sequence for this code, or <code>0</code> if
- there simply is no information. The offset, if non-zero, should be
- to a location in the <code>data</code> section. The format of
+ <td>offset from the start of the file to the debug info (line numbers +
+ local variable info) sequence for this code, or <code>0</code> if
+ there simply is no information. The offset, if non-zero, should be
+ to a location in the <code>data</code> section. The format of
the data is specified by "<code>debug_info_item</code>" below.
</td>
</tr>
@@ -2258,7 +2258,7 @@
should be associated with the next positions table entry emitted by
the state machine. It is initialized in the sequence header, and may
change in positive or negative directions but must never be less than
-<code>1</code>. The <code>source_file</code> register represents the
+<code>1</code>. The <code>source_file</code> register represents the
source file that the line number entries refer to. It is initialized to
the value of <code>source_file_idx</code> in <code>class_def_item</code>.
The other two variables, <code>prologue_end</code> and
@@ -2282,7 +2282,7 @@
<tr>
<td>line_start</td>
<td>uleb128</td>
- <td>the initial value for the state machine's <code>line</code> register.
+ <td>the initial value for the state machine's <code>line</code> register.
Does not represent an actual positions entry.
</td>
</tr>
@@ -2351,7 +2351,7 @@
<code>name_idx</code>: string index of the name<br/>
<code>type_idx</code>: type index of the type
</td>
- <td>introduces a local variable at the current address. Either
+ <td>introduces a local variable at the current address. Either
<code>name_idx</code> or <code>type_idx</code> may be
<code>NO_INDEX</code> to indicate that that value is unknown.
</td>
@@ -2363,7 +2363,7 @@
uleb128p1 name_idx<br/>
uleb128p1 type_idx<br/>
uleb128p1 sig_idx
- </td>
+ </td>
<td><code>register_num</code>: register that will contain local<br/>
<code>name_idx</code>: string index of the name<br/>
<code>type_idx</code>: type index of the type<br/>
@@ -2385,7 +2385,7 @@
<td>0x05</td>
<td>uleb128 register_num</td>
<td><code>register_num</code>: register that contained local</td>
- <td>marks a currently-live local variable as out of scope at the current
+ <td>marks a currently-live local variable as out of scope at the current
address
</td>
</tr>
@@ -2404,9 +2404,9 @@
<td>0x07</td>
<td></td>
<td><i>(none)</i></td>
- <td>sets the <code>prologue_end</code> state machine register,
- indicating that the next position entry that is added should be
- considered the end of a method prologue (an appropriate place for
+ <td>sets the <code>prologue_end</code> state machine register,
+ indicating that the next position entry that is added should be
+ considered the end of a method prologue (an appropriate place for
a method breakpoint). The <code>prologue_end</code> register is
cleared by any special (<code>>= 0x0a</code>) opcode.
</td>
@@ -2416,9 +2416,9 @@
<td>0x08</td>
<td></td>
<td><i>(none)</i></td>
- <td>sets the <code>epilogue_begin</code> state machine register,
- indicating that the next position entry that is added should be
- considered the beginning of a method epilogue (an appropriate place
+ <td>sets the <code>epilogue_begin</code> state machine register,
+ indicating that the next position entry that is added should be
+ considered the beginning of a method epilogue (an appropriate place
to suspend execution before method exit).
The <code>epilogue_begin</code> register is cleared by any special
(<code>>= 0x0a</code>) opcode.
@@ -2427,7 +2427,7 @@
<tr>
<td>DBG_SET_FILE</td>
<td>0x09</td>
- <td>uleb128p1 name_idx</td>
+ <td>uleb128p1 name_idx</td>
<td><code>name_idx</code>: string index of source file name;
<code>NO_INDEX</code> if unknown
</td>
@@ -2438,7 +2438,7 @@
</tr>
<tr>
<td><i>Special Opcodes</i></td>
- <!-- When updating the range below, make sure to search for other
+ <!-- When updating the range below, make sure to search for other
instances of 0x0a in this section. -->
<td>0x0a…0xff</td>
<td></td>
@@ -2532,7 +2532,7 @@
</tbody>
</table>
-<p><b>Note:</b> All elements' <code>field_id</code>s and
+<p><b>Note:</b> All elements' <code>field_id</code>s and
<code>method_id</code>s must refer to the same defining class.</p>
<h3><code>field_annotation</code> Format</h3>
diff --git a/docs/hello-world.html b/docs/hello-world.html
index dbbaea6..7491a28 100644
--- a/docs/hello-world.html
+++ b/docs/hello-world.html
@@ -22,7 +22,7 @@
% <font color="green">dx --dex --output=foo.jar Foo.class</font><br>
% <font color="green">adb push foo.jar /sdcard</font><br>
% <font color="green">adb shell dalvikvm -cp /sdcard/foo.jar Foo</font><br>
-Hello, world
+Hello, world
</code>
</p><p>
The <code>-cp</code> option sets the classpath. The initial directory
diff --git a/docs/instruction-formats.css b/docs/instruction-formats.css
index ee23c5c..a2dc42f 100644
--- a/docs/instruction-formats.css
+++ b/docs/instruction-formats.css
@@ -124,6 +124,6 @@
width: 22%;
}
-table.format p {
+table.format p {
margin-bottom: 0pt;
}
\ No newline at end of file
diff --git a/docs/java-bytecode.css b/docs/java-bytecode.css
index 6075c0d..48984b2 100644
--- a/docs/java-bytecode.css
+++ b/docs/java-bytecode.css
@@ -10,7 +10,7 @@
}
}
-h1 {
+h1 {
text-align: center;
}
@@ -26,16 +26,16 @@
border-width: 0;
}
-td.outer {
+td.outer {
width: 25%;
padding: 0;
}
-td.outer table {
+td.outer table {
width: 100%;
}
-td.outer td {
+td.outer td {
border-width: 0;
background: #f8f8f8;
padding: 1pt;
@@ -43,11 +43,11 @@
padding-right: 2pt;
}
-tr.d td {
+tr.d td {
background: #dddddd;
}
-td.outer td + td + td {
+td.outer td + td + td {
font-family: monospace;
font-weight: bold;
padding-right: 5pt;
diff --git a/docs/java-constraints.html b/docs/java-constraints.html
index 2410a1e..9d3c434 100644
--- a/docs/java-constraints.html
+++ b/docs/java-constraints.html
@@ -30,7 +30,7 @@
constraint will fail during the Dx conversion or during verification in
the VM itself.
</p>
-
+
<h2>
Static constraints
</h2>
@@ -40,311 +40,311 @@
They usually can be checked without employing control or data-flow analysis
techniques.
</p>
-
+
<table>
<tr>
<th>
Identifier
</th>
-
+
<th>
Description
</th>
-
+
<th>
Spec equivalent
</th>
-
+
<th>
Failure mode
</th>
</tr>
-
+
<tr>
<td>
A1
</td>
-
+
<td>
- The <code>code</code> array must not be empty.
+ The <code>code</code> array must not be empty.
</td>
-
+
<td>
4.8.1.1
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A2
</td>
-
+
<td>
- The <code>code</code> array must not be larger than 65535 bytes.
+ The <code>code</code> array must not be larger than 65535 bytes.
</td>
-
+
<td>
4.8.1.2
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A3
</td>
-
+
<td>
The first opcode in <code>code</code> array must have index
<code>0</code>.
</td>
-
+
<td>
4.8.1.3
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A4
</td>
-
+
<td>
The <code>code</code> array must only contain valid opcodes.
</td>
-
+
<td>
4.8.1.4
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A5
</td>
-
+
<td>
The index of instruction <code>n+1</code> must equal the index of
instruction <code>n</code> plus the length of instruction
<code>n</code>, taking into account a possible <code>wide</code>
instruction. Opcodes modified by a <code>wide</code> instruction must
- not be directly reachable.
+ not be directly reachable.
</td>
-
+
<td>
4.8.1.5
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A6
</td>
-
+
<td>
The last instruction in <code>code</code> array must end at index
- <code>code_length-1</code>.
+ <code>code_length-1</code>.
</td>
-
+
<td>
4.8.1.6
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A7
</td>
-
+
<td>
All jump and branch targets must be opcodes within the same method.
Opcodes modified by a <code>wide</code> instruction must not be
- directly reachable via a jump or branch instruction.
+ directly reachable via a jump or branch instruction.
</td>
-
+
<td>
4.8.1.7
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A8
</td>
-
+
<td>
All targets of a <code>tableswitch</code> instruction must be opcodes
within the same method. Upper and lower bounds must be consistent.
Opcodes modified by a <code>wide</code> instruction must not be
- directly reachable via a <code>tableswitch</code> instruction.
+ directly reachable via a <code>tableswitch</code> instruction.
</td>
-
+
<td>
4.8.1.8
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A9
</td>
-
+
<td>
All targets of a <code>lookupswitch</code> instruction must be opcodes
within the same method. Its table must be consistent and sorted
low-to-high. Opcodes modified by a <code>wide</code> instruction must
- not be directly reachable via a <code>lookupswitch</code> instruction.
+ not be directly reachable via a <code>lookupswitch</code> instruction.
</td>
-
+
<td>
4.8.1.9
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A10
</td>
-
+
<td>
The operands of <code>ldc</code> and <code>ldc_w</code> instructions
must be valid indices into the constant pool. The respective entries
must be of type <code>CONSTANT_Integer</code>,
- <code>CONSTANT_Float</code>, or <code>CONSTANT_String</code>.
+ <code>CONSTANT_Float</code>, or <code>CONSTANT_String</code>.
</td>
-
+
<td>
4.8.1.10
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A11
</td>
-
+
<td>
The operands of <code>ldc2_w</code> instructions must be valid indices
into the constant pool. The respective entries must be of type
<code>CONSTANT_Long</code> or <code>CONSTANT_Double</code>. The
subsequent constant pool entry must be valid and remain unused.
</td>
-
+
<td>
4.8.1.11
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A12
</td>
-
+
<td>
The Operands of <code>get<kind></code> and
<code>put<kind></code> instructions must be valid indices into
constant pool. The respective entries must be of type
<code>CONSTANT_Fieldref</code>.
</td>
-
+
<td>
4.8.1.12
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A13
</td>
-
+
<td>
The first two operands of <code>invokevirtual</code>,
<code>invokespecial</code>, and <code>invokestatic</code> must form a
valid 16-bit index into the constant pool. The respective entries must
be of type <code>CONSTANT_Methodref</code>.
</td>
-
+
<td>
4.8.1.13
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A14
</td>
-
+
<td>
Methods whose names start with '<' must only be invoked implicitly by
the VM, not by class file code. The only exception is the instance
initializer, which may be invoked by <code>invokespecial</code>.
</td>
-
+
<td>
4.8.1.14
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A15
</td>
-
+
<td>
The first two operands of <code>invokeinterface</code> must form a
valid 16-bit index into the constant pool. The entry must be of type
@@ -352,21 +352,21 @@
specify number of local variables and the fourth operand must always
be zero.
</td>
-
+
<td>
4.8.1.15
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A16
</td>
-
+
<td>
The operands of <code>instanceof</code>, <code>checkcast</code>,
<code>new</code>, and <code>anewarray</code> instructions must
@@ -375,218 +375,218 @@
into the constant pool. All respective entries must be of type
<code>CONSTANT_Class</code>.
</td>
-
+
<td>
4.8.1.16
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A17
</td>
-
+
<td>
The dimensions of an array created by <code>anewarray</code>
instructions must be less than <code>256</code>.
</td>
-
+
<td>
4.8.1.17
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A18
</td>
-
+
<td>
The <code>new</code> instruction must not reference array classes,
interfaces, or abstract classes.
</td>
-
+
<td>
4.8.1.18
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A19
</td>
-
+
<td>
The type referenced by a <code>multinewarray</code> instruction must
have at least as many dimensions as specified in the instruction. The
- dimensions operand must not be <code>0</code>
+ dimensions operand must not be <code>0</code>
</td>
-
+
<td>
4.8.1.19
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A20
</td>
-
+
<td>
The type referenced by a <code>newarray</code> instruction must be a
valid, non-reference type.
</td>
-
+
<td>
4.8.1.20
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A21
</td>
-
+
<td>
The index operand of instructions explicitly referencing single-width
local variables must be non-negative and smaller than
<code>max_locals</code>.
</td>
-
+
<td>
4.8.1.21
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A22
</td>
-
+
<td>
The index operand of instructions implicitly referencing single-width
local variables must be non-negative and smaller than
<code>max_locals</code>.
</td>
-
+
<td>
4.8.1.22
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A23
</td>
-
+
<td>
The index operand of instructions explicitly referencing double-width
local variables must be non-negative and smaller than
<code>max_locals-1</code>.
</td>
-
+
<td>
4.8.1.23
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A24
</td>
-
+
<td>
The index operand of instructions implicitly referencing double-width
local variables must be non-negative and smaller than
<code>max_locals-1</code>.
</td>
-
+
<td>
4.8.1.24
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A25
</td>
-
+
<td>
The index operand of <code>wide</code> instructions explicitly
referencing single-width local variables must be non-negative and
smaller than <code>max_locals</code>.
</td>
-
+
<td>
4.8.1.25
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
A26
</td>
-
+
<td>
The index operand of <code>wide</code> instructions explicitly
referencing double-width local variables must be non-negative and
smaller than <code>max_locals-1</code>.
</td>
-
+
<td>
4.8.1.25
</td>
-
+
<td>
DX
</td>
</tr>
</table>
-
+
<h2>
Structural constraints
</h2>
-
+
<p>
Structural constraints are constraints on relationships between several
elements of the bytecode. They usually can't be checked without employing
@@ -598,466 +598,466 @@
<th>
Identifier
</th>
-
+
<th>
Description
</th>
-
+
<th>
Spec equivalent
</th>
-
+
<th>
Failure mode
</th>
</tr>
-
+
<tr>
<td>
B1
</td>
-
+
<td>
The number and types of arguments (operands and local variables) must
always match the instruction.
</td>
-
+
<td>
4.8.2.1
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B2
</td>
-
+
<td>
The operand stack must have the same depth for all executions paths
- leading to an instruction.
+ leading to an instruction.
</td>
-
+
<td>
4.8.2.2
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B3
</td>
-
+
<td>
- Local variable pairs must never be broken up.
+ Local variable pairs must never be broken up.
</td>
-
+
<td>
4.8.2.3
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B4
</td>
-
+
<td>
A local variable (or pair) has to be assigned first before it can be
read.
</td>
-
+
<td>
4.8.2.4
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B5
</td>
-
+
<td>
- The operand stack must never grow beyond <code>max_stack</code>.
+ The operand stack must never grow beyond <code>max_stack</code>.
</td>
-
+
<td>
4.8.2.5
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B6
</td>
-
+
<td>
- The operand stack must never underflow.
+ The operand stack must never underflow.
</td>
-
+
<td>
4.8.2.6
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B7
</td>
-
+
<td>
An <code>invokespecial</code> instruction must only invoke an instance
initializer or a method in the current class or one of its
- superclasses.
+ superclasses.
</td>
-
+
<td>
4.8.2.7
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B8
</td>
-
+
<td>
An instance initializer must only be invoked on an uninitialized
- instance residing on the operand stack.
+ instance residing on the operand stack.
</td>
-
+
<td>
4.8.2.8
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B9
</td>
-
+
<td>
Instance methods may only be invoked on and instance fields may only
- be accessed on already initialized instances.
+ be accessed on already initialized instances.
</td>
-
+
<td>
4.8.2.9
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B10
</td>
-
+
<td>
The must be no backwards branches with uninitialized instances on the
operand stack or in local variables. There must be no code protected
by an exception handler that contains local variables with
uninitialized instances.
</td>
-
+
<td>
4.8.2.10
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B11
</td>
-
+
<td>
An instance initializer must call another instance initializer (same
class or superclass) before any instance members can be accessed.
Exceptions are non-inherited instance fields, which can be assigned
before calling another initializer, and the <code>Object</code> class
- in general.
+ in general.
</td>
-
+
<td>
4.8.2.11
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B12
</td>
-
+
<td>
All actual method arguments must be assignment-compatible with formal
- arguments.
+ arguments.
</td>
-
+
<td>
4.8.2.12
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B13
</td>
-
+
<td>
For each instance method invocation, the actual instance must be
assignment-compatible with the class or interface specified in the
instruction.
</td>
-
+
<td>
4.8.2.13
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B14
</td>
-
+
<td>
- A returns instruction must match its method's return type.
+ A returns instruction must match its method's return type.
</td>
-
+
<td>
4.8.2.14
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B15
</td>
-
+
<td>
When accessing protected members of a superclass, the actual type of
the instance being accessed must be either the current class or one
of its subclasses.
</td>
-
+
<td>
4.8.2.15
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B16
</td>
-
+
<td>
The type of a value stored into a static field must be
assignment-compatible with or convertible to the field's type.
</td>
-
+
<td>
4.8.2.16
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B17
</td>
-
+
<td>
The type of a value stored into a field must be assignment-compatible
with or convertible to the field's type.
</td>
-
+
<td>
4.8.2.17
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B18
</td>
-
+
<td>
The type of every value stored into an array must be
assignment-compatible with the array's component type.
</td>
-
+
<td>
4.8.2.18
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B19
</td>
-
+
<td>
The operand of an <code>athrow</code> instruction must be
- assignment-compatible with <code>java.lang.Throwable</code>.
+ assignment-compatible with <code>java.lang.Throwable</code>.
</td>
-
+
<td>
4.8.2.19
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B20
</td>
-
+
<td>
The last reachable instruction of a method must either be a backwards
jump or branch, a return, or an <code>athrow</code> instruction. It
must not be possible to leave the <code>code</code> array at the
bottom.
</td>
-
+
<td>
4.8.2.20
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B21
</td>
-
+
<td>
Local variable values must not be used as return addresses.
</td>
-
+
<td>
4.8.2.21
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B22
</td>
-
+
<td>
There must be a single, uniquely determined return instruction per
subroutine call.
</td>
-
+
<td>
4.8.2.22
</td>
-
+
<td>
VM
</td>
</tr>
-
+
<tr>
<td>
B23
</td>
-
+
<td>
Subroutine calls must not be directly or indirectly self-recursive.
</td>
-
+
<td>
4.8.2.23
</td>
-
+
<td>
DX
</td>
</tr>
-
+
<tr>
<td>
B24
</td>
-
+
<td>
<code>ReturnAddress</code> instances must not be reused. If a
subroutine returns to a <code>ReturnAddress</code> further up the
@@ -1065,16 +1065,16 @@
<code>ReturnAddress</code> instances further down the stack must
never be used.
</td>
-
+
<td>
4.8.2.24
</td>
-
+
<td>
DX
</td>
</tr>
-
+
</table>
</body>
</html>
diff --git a/docs/jni-tips.html b/docs/jni-tips.html
index fc63cca..76cb03f 100644
--- a/docs/jni-tips.html
+++ b/docs/jni-tips.html
@@ -124,7 +124,7 @@
* class/field/method IDs for this class. Returns false on failure.
*/
native private static boolean nativeClassInit();
-
+
/*
* Invoke the native initializer when the class is loaded.
*/
diff --git a/docs/libraries.html b/docs/libraries.html
index e1c3035..ed2fa72 100644
--- a/docs/libraries.html
+++ b/docs/libraries.html
@@ -6,7 +6,7 @@
<head>
<title>Dalvik Libraries</title>
-
+
<link rel=stylesheet href="dex-format.css">
<link href="prettify.css" type="text/css" rel="stylesheet" />
<script type="text/javascript" src="prettify.js"></script>
diff --git a/docs/opcodes/opcode-04-move-wide.html b/docs/opcodes/opcode-04-move-wide.html
index e043be9..8a3bd00 100644
--- a/docs/opcodes/opcode-04-move-wide.html
+++ b/docs/opcodes/opcode-04-move-wide.html
@@ -19,7 +19,7 @@
<p>
Note: It is legal to move from vN to either vN-1 or vN+1, so implementations
must arrange for both halves of a register pair to be read before anything is
-written.
+written.
</p>
<h2>Details</h2>
diff --git a/docs/opcodes/opcode-07-move-object.html b/docs/opcodes/opcode-07-move-object.html
index e62750d..f290277 100644
--- a/docs/opcodes/opcode-07-move-object.html
+++ b/docs/opcodes/opcode-07-move-object.html
@@ -79,7 +79,7 @@
becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-0a-move-result.html b/docs/opcodes/opcode-0a-move-result.html
index f043d13..616087f 100644
--- a/docs/opcodes/opcode-0a-move-result.html
+++ b/docs/opcodes/opcode-0a-move-result.html
@@ -17,7 +17,7 @@
Move the single-word non-object result of the most recent invoke-kind into the
indicated register. This must be done as the instruction immediately after an
invoke-kind whose (single-word, non-object) result is not to be ignored;
-anywhere else is invalid.
+anywhere else is invalid.
</p>
<h2>Details</h2>
@@ -57,7 +57,7 @@
<li>
The result delivered by the invoke-kind instruction must not be a reference
value or require a register pair.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -76,7 +76,7 @@
becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
@@ -89,7 +89,7 @@
This instruction can also be thought of as reading the contents of a special
"result" register that is made valid and defined by executing a non-void return
instruction or a filled-new-array instruction. The execution of any other
-instruction (including this one) renders this special register invalid.
+instruction (including this one) renders this special register invalid.
</p>
</body>
diff --git a/docs/opcodes/opcode-0b-move-result-wide.html b/docs/opcodes/opcode-0b-move-result-wide.html
index c3e5779..c53517a 100644
--- a/docs/opcodes/opcode-0b-move-result-wide.html
+++ b/docs/opcodes/opcode-0b-move-result-wide.html
@@ -17,7 +17,7 @@
Move the double-word result of the most recent invoke-kind into the indicated
register pair. This must be done as the instruction immediately after an
invoke-kind whose (double-word) result is not to be ignored; anywhere else is
-invalid.
+invalid.
</p>
<h2>Details</h2>
@@ -60,7 +60,7 @@
or a double value.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
@@ -81,7 +81,7 @@
becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-0c-move-result-object.html b/docs/opcodes/opcode-0c-move-result-object.html
index f065fed..1538735 100644
--- a/docs/opcodes/opcode-0c-move-result-object.html
+++ b/docs/opcodes/opcode-0c-move-result-object.html
@@ -77,7 +77,7 @@
becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
@@ -90,7 +90,7 @@
This instruction can also be thought of as reading the contents of a special
"result" register that is made valid and defined by executing a non-void return
instruction or a filled-new-array instruction. The execution of any other
-instruction (including this one) renders this special register invalid.
+instruction (including this one) renders this special register invalid.
</p>
</body>
diff --git a/docs/opcodes/opcode-0d-move-exception.html b/docs/opcodes/opcode-0d-move-exception.html
index 3c3bc83..0f756d0 100644
--- a/docs/opcodes/opcode-0d-move-exception.html
+++ b/docs/opcodes/opcode-0d-move-exception.html
@@ -17,7 +17,7 @@
Save a just-caught exception into the given register. This should be the first
instruction of any exception handler whose caught exception is not to be
ignored, and this instruction may only ever occur as the first instruction of an
-exception handler; anywhere else is invalid.
+exception handler; anywhere else is invalid.
</p>
<h2>Details</h2>
@@ -51,7 +51,7 @@
the handlers defined for the method in the Dex file.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
diff --git a/docs/opcodes/opcode-0e-return-void.html b/docs/opcodes/opcode-0e-return-void.html
index 7a9431e..0498f81 100644
--- a/docs/opcodes/opcode-0e-return-void.html
+++ b/docs/opcodes/opcode-0e-return-void.html
@@ -14,7 +14,7 @@
<h2>Purpose</h2>
<p>
-Return from a void method.
+Return from a void method.
</p>
<h2>Details</h2>
@@ -72,8 +72,8 @@
</li>
</ul>
</li>
-</ul>
-
+</ul>
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-0f-return.html b/docs/opcodes/opcode-0f-return.html
index 33e0b7c..4de55ea 100644
--- a/docs/opcodes/opcode-0f-return.html
+++ b/docs/opcodes/opcode-0f-return.html
@@ -52,8 +52,8 @@
<li>
The type of vA must match the return type of the method.
</li>
-</ul>
-
+</ul>
+
<h2>Behavior</h2>
<ul>
@@ -89,7 +89,7 @@
</ul>
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-10-return-wide.html b/docs/opcodes/opcode-10-return-wide.html
index f1a6b83..4ccfce4 100644
--- a/docs/opcodes/opcode-10-return-wide.html
+++ b/docs/opcodes/opcode-10-return-wide.html
@@ -53,7 +53,7 @@
The type of vA must match the return type of the method.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
diff --git a/docs/opcodes/opcode-11-return-object.html b/docs/opcodes/opcode-11-return-object.html
index 369233c..b4866ed 100644
--- a/docs/opcodes/opcode-11-return-object.html
+++ b/docs/opcodes/opcode-11-return-object.html
@@ -84,7 +84,7 @@
</li>
</ul>
</li>
-</ul>
+</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-12-const.html b/docs/opcodes/opcode-12-const.html
index b2d894f..d2b6ef9 100644
--- a/docs/opcodes/opcode-12-const.html
+++ b/docs/opcodes/opcode-12-const.html
@@ -15,7 +15,7 @@
<p>
Move the given literal value (sign-extended to 32 bits, if necessary) into the
-specified register.
+specified register.
</p>
<h2>Details</h2>
@@ -72,7 +72,7 @@
<ul>
<li>
If we are executing the /high16 variant, then B is left-shifted by 16
- bits, that is, B'=B << 0x10
+ bits, that is, B'=B << 0x10
<li>
Otherwise, if B is a 4 bit or 16 bit constant, it is sign-extended to 32
bits, that is, B'=sign-extended(B).
@@ -91,7 +91,7 @@
If v(A+1) is the upper half of a register pair, v(A+1)' becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-16-const-wide.html b/docs/opcodes/opcode-16-const-wide.html
index ac92b04..6197e35 100644
--- a/docs/opcodes/opcode-16-const-wide.html
+++ b/docs/opcodes/opcode-16-const-wide.html
@@ -15,7 +15,7 @@
<p>
Move the given literal value (sign-extended to 64 bits) into the specified
-register-pair.
+register-pair.
</p>
<h2>Details</h2>
@@ -98,7 +98,7 @@
<li>
If v(A+2) is the upper half of a register pair, v(A+2)' becomes undefined.
</li>
-</ul>
+</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-1a-const-string.html b/docs/opcodes/opcode-1a-const-string.html
index bd89b70..d10c115 100644
--- a/docs/opcodes/opcode-1a-const-string.html
+++ b/docs/opcodes/opcode-1a-const-string.html
@@ -15,7 +15,7 @@
<p>
Move a reference to the string specified by the given index into the specified
-register.
+register.
</p>
<h2>Details</h2>
@@ -52,7 +52,7 @@
</li>
<li>
B must be a valid index into the string constant pool.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -72,7 +72,7 @@
</li>
<li>
If v(A+1) is the upper half of a register pair, v(A+1)' becomes undefined.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-1b-const-class.html b/docs/opcodes/opcode-1b-const-class.html
index 7a33e77..f40b986 100644
--- a/docs/opcodes/opcode-1b-const-class.html
+++ b/docs/opcodes/opcode-1b-const-class.html
@@ -16,7 +16,7 @@
<p>
Move a reference to the class specified by the given index into the specified
register. In the case where the indicated type is primitive, this will store a
-reference to the primitive type's degenerate class.
+reference to the primitive type's degenerate class.
</p>
<h2>Details</h2>
diff --git a/docs/opcodes/opcode-1d-monitor-enter.html b/docs/opcodes/opcode-1d-monitor-enter.html
index cecc939..28c10f4 100644
--- a/docs/opcodes/opcode-1d-monitor-enter.html
+++ b/docs/opcodes/opcode-1d-monitor-enter.html
@@ -14,7 +14,7 @@
<h2>Purpose</h2>
<p>
-Acquire the monitor for the indicated object.
+Acquire the monitor for the indicated object.
</p>
<h2>Details</h2>
@@ -46,7 +46,7 @@
Register vA must contain a reference to an object.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
diff --git a/docs/opcodes/opcode-1e-monitor-exit.html b/docs/opcodes/opcode-1e-monitor-exit.html
index bee711d..cd7b165 100644
--- a/docs/opcodes/opcode-1e-monitor-exit.html
+++ b/docs/opcodes/opcode-1e-monitor-exit.html
@@ -25,7 +25,7 @@
catch-all (e.g., finally) block as the monitor cleanup for that block itself,
as a way to handle the arbitrary exceptions that might get thrown due to the
historical implementation of Thread.stop(), while still managing to have proper
-monitor hygiene.
+monitor hygiene.
</p>
<h2>Details</h2>
@@ -57,7 +57,7 @@
Register vA must contain a reference to an object.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
@@ -83,7 +83,7 @@
an exception handler it cannot be distinguished from the same type of
exception being thrown immediately after the monitor-exit instruction.
</li>
-</ul>
+</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-1f-check-cast.html b/docs/opcodes/opcode-1f-check-cast.html
index 6325ca4..8eedd2d 100644
--- a/docs/opcodes/opcode-1f-check-cast.html
+++ b/docs/opcodes/opcode-1f-check-cast.html
@@ -15,7 +15,7 @@
<p>
Throw if the reference in the given register cannot be cast to the indicated
-type. The type must be a reference type (not a primitive type).
+type. The type must be a reference type (not a primitive type).
</p>
<h2>Details</h2>
@@ -53,8 +53,8 @@
<li>
Type pool entry B must contain a valid type descriptor for a reference type.
</li>
-</ul>
-
+</ul>
+
<h2>Behavior</h2>
<ul>
diff --git a/docs/opcodes/opcode-20-instance-of.html b/docs/opcodes/opcode-20-instance-of.html
index 5dbfef7..88076d8 100644
--- a/docs/opcodes/opcode-20-instance-of.html
+++ b/docs/opcodes/opcode-20-instance-of.html
@@ -55,7 +55,7 @@
<li>
Type constant pool entry C must contain a valid type descriptor for a
reference type.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -88,7 +88,7 @@
</li>
<li>
If v(A+1) is the upper half of a register pair, v(A+1)' becomes undefined.
- </li>
+ </li>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-21-array-length.html b/docs/opcodes/opcode-21-array-length.html
index 5767742..8072a7c 100644
--- a/docs/opcodes/opcode-21-array-length.html
+++ b/docs/opcodes/opcode-21-array-length.html
@@ -48,7 +48,7 @@
Register vB must contain a reference to an array.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
diff --git a/docs/opcodes/opcode-22-new-instance.html b/docs/opcodes/opcode-22-new-instance.html
index ec0a347..bdcfc3e 100644
--- a/docs/opcodes/opcode-22-new-instance.html
+++ b/docs/opcodes/opcode-22-new-instance.html
@@ -15,7 +15,7 @@
<p>
Construct a new instance of the indicated type, storing a reference to it in the
-destination. The type must refer to a non-array class.
+destination. The type must refer to a non-array class.
</p>
<h2>Details</h2>
@@ -77,7 +77,7 @@
</li>
<li>
If v(A+1) is the upper part of a register pair, v(A+1)' becomes undefined.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
@@ -88,7 +88,7 @@
</li>
<li>
All exceptions that are possible during instantiation can occur.
- </li>
+ </li>
</ul>
</body>
diff --git a/docs/opcodes/opcode-23-new-array.html b/docs/opcodes/opcode-23-new-array.html
index be46a49..29327e9 100644
--- a/docs/opcodes/opcode-23-new-array.html
+++ b/docs/opcodes/opcode-23-new-array.html
@@ -15,7 +15,7 @@
<p>
Construct a new array of the indicated type and size. The type must be an array
-type.
+type.
</p>
<h2>Details</h2>
@@ -56,7 +56,7 @@
</li>
<li>
Type constant pool entry C must contain a valid array type descriptor.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -87,7 +87,7 @@
</li>
<li>
If v(A+1) is the upper half of a register pair, v(A+1)' becomes undefined.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
@@ -101,7 +101,7 @@
</li>
<li>
All exceptions that are possible during instantiation can occur.
- </li>
+ </li>
</ul>
</body>
diff --git a/docs/opcodes/opcode-24-filled-new-array.html b/docs/opcodes/opcode-24-filled-new-array.html
index cba0c5d..1dfa089 100644
--- a/docs/opcodes/opcode-24-filled-new-array.html
+++ b/docs/opcodes/opcode-24-filled-new-array.html
@@ -21,7 +21,7 @@
store their results, so the constructed instance must be moved to a register
with a subsequent move-result-object instruction (if it is to be used).
</p>
-
+
<h2>Details</h2>
<table class="instruc">
@@ -80,9 +80,9 @@
<li>
If the element type is a reference type, then all actual arguments
(vD .. vA, depending on B) must be references, too.
- </li>
+ </li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
@@ -115,7 +115,7 @@
If B > 3 then R[3] = vG
</li>
<li>
- If B > 4 then R[4] = vA
+ If B > 4 then R[4] = vA
</li>
</ul>
</li>
@@ -123,7 +123,7 @@
No reference to R is stored in any register. Instead, R can be accessed by a
move-result-object instruction immediately following this filled-new-array
instruction.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
@@ -137,7 +137,7 @@
</li>
<li>
All exceptions that are possible during instantiation can occur.
- </li>
+ </li>
</ul>
</body>
diff --git a/docs/opcodes/opcode-25-filled-new-array-range.html b/docs/opcodes/opcode-25-filled-new-array-range.html
index 944a8b1..2ee7505 100644
--- a/docs/opcodes/opcode-25-filled-new-array-range.html
+++ b/docs/opcodes/opcode-25-filled-new-array-range.html
@@ -16,7 +16,7 @@
<p>
Construct an array of the given type and size, filling it with the supplied
contents. Clarifications and restrictions are the same as filled-new-array,
-described above.
+described above.
</p>
<h2>Details</h2>
@@ -70,7 +70,7 @@
</li>
<li>
The element size of the type denoted by B must be no larger than 32 bits.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -102,7 +102,7 @@
...
</li>
<li>
- J[vA] = vN
+ J[vA] = vN
</li>
</ul>
</li>
@@ -110,7 +110,7 @@
No reference to J is stored in any register. Instead, J can be accessed by a
move-result-object instruction immediately following this filled-new-array
instruction.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-26-fill-array-data.html b/docs/opcodes/opcode-26-fill-array-data.html
index c5040a5..77b45ae 100644
--- a/docs/opcodes/opcode-26-fill-array-data.html
+++ b/docs/opcodes/opcode-26-fill-array-data.html
@@ -21,7 +21,7 @@
Note: The address of the table is guaranteed to be even (that is, 4-byte
aligned). If the code size of the method is otherwise odd, then an extra code
unit is inserted between the main code and the table whose value is the same as
-a nop.
+a nop.
</p>
<h2>Details</h2>
@@ -69,8 +69,8 @@
<li>
The table size must be equal or smaller than the array length.
</li>
-</ul>
-
+</ul>
+
<h2>Behavior</h2>
<ul>
@@ -88,7 +88,7 @@
<ul>
<li>
- NullPointerException if vA is null.
+ NullPointerException if vA is null.
</li>
</ul>
diff --git a/docs/opcodes/opcode-27-throw.html b/docs/opcodes/opcode-27-throw.html
index f4416ce..1a0eb09 100644
--- a/docs/opcodes/opcode-27-throw.html
+++ b/docs/opcodes/opcode-27-throw.html
@@ -50,7 +50,7 @@
to the usual rules of the Java programming language.
</li>
</ul>
-
+
<h2>Behavior</h2>
<ul>
@@ -73,7 +73,7 @@
</li>
<li>
Otherwise, the indicated exception.
- </li>
+ </li>
</ul>
</body>
diff --git a/docs/opcodes/opcode-28-goto.html b/docs/opcodes/opcode-28-goto.html
index 5ca92b6..fec294c 100644
--- a/docs/opcodes/opcode-28-goto.html
+++ b/docs/opcodes/opcode-28-goto.html
@@ -18,7 +18,7 @@
</p>
<p>
Note: The branch offset may not be 0. (A spin loop may be legally constructed
-either with goto/32 or by including a nop as a target before the branch.)
+either with goto/32 or by including a nop as a target before the branch.)
</p>
<h2>Details</h2>
@@ -48,7 +48,7 @@
</li>
<li>
A must not be 0.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -60,7 +60,7 @@
</li>
<li>
Executions resumes at PC'.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-29-goto-16.html b/docs/opcodes/opcode-29-goto-16.html
index abe4aec..791456b 100644
--- a/docs/opcodes/opcode-29-goto-16.html
+++ b/docs/opcodes/opcode-29-goto-16.html
@@ -18,7 +18,7 @@
</p>
<p>
Note: The branch offset may not be 0. (A spin loop may be legally constructed
-either with goto/32 or by including a nop as a target before the branch.)
+either with goto/32 or by including a nop as a target before the branch.)
</p>
<h2>Details</h2>
@@ -48,7 +48,7 @@
</li>
<li>
A must not be 0.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -60,7 +60,7 @@
</li>
<li>
Executions resumes at PC'.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-2a-goto-32.html b/docs/opcodes/opcode-2a-goto-32.html
index 7d64ac9..b98dd85 100644
--- a/docs/opcodes/opcode-2a-goto-32.html
+++ b/docs/opcodes/opcode-2a-goto-32.html
@@ -53,7 +53,7 @@
</li>
<li>
Executions resumes at PC'.
- </li>
+ </li>
</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-2b-packed-switch.html b/docs/opcodes/opcode-2b-packed-switch.html
index 73125bd..b2d5251 100644
--- a/docs/opcodes/opcode-2b-packed-switch.html
+++ b/docs/opcodes/opcode-2b-packed-switch.html
@@ -22,7 +22,7 @@
Note: The address of the table is guaranteed to be even (that is, 4-byte
aligned). If the code size of the method is otherwise odd, then an extra code
unit is inserted between the main code and the table whose value is the same as
-a nop.
+a nop.
</p>
<h2>Details</h2>
@@ -92,7 +92,7 @@
statement.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-2c-sparse-switch.html b/docs/opcodes/opcode-2c-sparse-switch.html
index cec581e..9d81eda 100644
--- a/docs/opcodes/opcode-2c-sparse-switch.html
+++ b/docs/opcodes/opcode-2c-sparse-switch.html
@@ -22,7 +22,7 @@
Note: The address of the table is guaranteed to be even (that is, 4-byte
aligned). If the code size of the method is otherwise odd, then an extra code
unit is inserted between the main code and the table whose value is the same as
-a nop.
+a nop.
</p>
<h2>Details</h2>
@@ -87,11 +87,11 @@
</li>
</ul>
</li>
- <li>
+ <li>
Otherwise execution continues at the instruction following the sparse-switch
statement.
</li>
-</ul>
+</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-2d-cmp-kind.html b/docs/opcodes/opcode-2d-cmp-kind.html
index 431ccd4..f55a006 100644
--- a/docs/opcodes/opcode-2d-cmp-kind.html
+++ b/docs/opcodes/opcode-2d-cmp-kind.html
@@ -24,7 +24,7 @@
For example, to check to see if floating point a < b, then it is advisable to
use cmpg-float; a result of -1 indicates that the test was true, and the other
values indicate it was false either due to a valid comparison or because one
-or the other values was NaN.
+or the other values was NaN.
</p>
<h2>Details</h2>
@@ -71,7 +71,7 @@
For the -long variant, both both vB and vC must be the lower part of a
register pair holding a long value.
</li>
-</ul>
+</ul>
<h2>Behavior</h2>
@@ -109,8 +109,8 @@
<li>
If v(A+1) is the upper half of a register pair, v(A+1)' becomes undefined.
</li>
-</ul>
-
+</ul>
+
<h2>Exceptions</h2>
<p>
diff --git a/docs/opcodes/opcode-32-if-test.html b/docs/opcodes/opcode-32-if-test.html
index af0adb2..ee394f6 100644
--- a/docs/opcodes/opcode-32-if-test.html
+++ b/docs/opcodes/opcode-32-if-test.html
@@ -20,7 +20,7 @@
<p>
Note: The branch offset may not be 0. (A spin loop may be legally constructed
either by branching around a backward goto or by including a nop as a target
-before the branch.)
+before the branch.)
</p>
<h2>Details</h2>
@@ -68,7 +68,7 @@
</li>
C must of a signed offset that, when added to the PC of the instruction,
points to a valid bytecode instruction inside the same method.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -89,7 +89,7 @@
</li>
</ul>
</li>
-</ul>
+</ul>
<h2>Exceptions</h2>
diff --git a/docs/opcodes/opcode-38-if-testz.html b/docs/opcodes/opcode-38-if-testz.html
index 354e894..060bbdb 100644
--- a/docs/opcodes/opcode-38-if-testz.html
+++ b/docs/opcodes/opcode-38-if-testz.html
@@ -20,7 +20,7 @@
<p>
Note: The branch offset may not be 0. (A spin loop may be legally constructed
either by branching around a backward goto or by including a nop as a target
- before the branch.)
+ before the branch.)
</p>
<h2>Details</h2>
@@ -67,7 +67,7 @@
</li>
<li>
B must not be 0.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
diff --git a/docs/opcodes/opcode-44-aget.html b/docs/opcodes/opcode-44-aget.html
index b9d6f23..6e8836f 100644
--- a/docs/opcodes/opcode-44-aget.html
+++ b/docs/opcodes/opcode-44-aget.html
@@ -15,7 +15,7 @@
<p>
Perform the identified array operation at the identified index of the given
-array, storing into the value register.
+array, storing into the value register.
</p>
<h2>Details</h2>
@@ -63,7 +63,7 @@
</li>
<li>
Register vC must contain an integer value.
- </li>
+ </li>
</ul>
<h2>Behavior</h2>
@@ -97,7 +97,7 @@
v(A+2)' becomes undefined.
</li>
</ul>
-
+
<h2>Exceptions</h2>
<ul>
@@ -107,7 +107,7 @@
<li>
ArrayIndexOutOfBoundsException if vC < 0 or vC >= array.length.
</li>
-</ul>
+</ul>
</body>
</html>
diff --git a/docs/opcodes/opcode-7b-unop.html b/docs/opcodes/opcode-7b-unop.html
index 1068a25..8b06092 100644
--- a/docs/opcodes/opcode-7b-unop.html
+++ b/docs/opcodes/opcode-7b-unop.html
@@ -84,7 +84,7 @@
<ul>
<li>
- The given operation <unop> is performed according to the semantics
+ The given operation <unop> is performed according to the semantics
specified in table XXX.
</li>
<li>
diff --git a/docs/prettify.js b/docs/prettify.js
index c954118..9e99fc6 100644
--- a/docs/prettify.js
+++ b/docs/prettify.js
@@ -969,7 +969,7 @@
var newlineRe = /\r\n?|\n/g;
var trailingSpaceRe = /[ \r\n]$/;
var lastWasSpace = true; // the last text chunk emitted ended with a space.
-
+
// A helper function that is responsible for opening sections of decoration
// and outputing properly escaped chunks of source
function emitTextUpTo(sourceIdx) {