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

Method normalise

src/main/java/wyil/util/TypeSelector.java:284–293  ·  view source on GitHub ↗

Normalise opcode for sake of simplicity. This allows us to compare the types of two operands more accurately using a switch. @param opcode @return

(int opcode)

Source from the content-addressed store, hash-verified

282 * @return
283 */
284 protected static int normalise(int opcode) {
285 switch(opcode) {
286 case TYPE_method:
287 case TYPE_property:
288 case TYPE_function:
289 return TYPE_function;
290 }
291 //
292 return opcode;
293 }
294}

Callers 1

createMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected