MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / getOpcode

Method getOpcode

src/main/java/wycc/lang/Syntactic.java:267–267  ·  view source on GitHub ↗

The opcode which defines what this bytecode does. Observe that certain bytecodes must correspond with specific subclasses. For example, opcode == LOAD always indicates that this is an instanceof Load .

()

Source from the content-addressed store, hash-verified

265 * instanceof <code>Load</code>.
266 */
267 public int getOpcode();
268
269 /**
270 * Mutate the opcode of this item

Callers 15

WyilFileMethod · 0.65
hasFalseBranchMethod · 0.65
toStringMethod · 0.65
applyMethod · 0.65
loadMethod · 0.65
executeStatementMethod · 0.65
executeAssignLValMethod · 0.65
checkAssignedLValMethod · 0.65
executeExpressionMethod · 0.65
executeConstMethod · 0.65
toStackFrameMethod · 0.65
visitStatementMethod · 0.65

Implementers 1

AbstractItemsrc/main/java/wycc/util/AbstractItem.j

Calls

no outgoing calls

Tested by

no test coverage detected