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

Method getDescriptor

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

Get the schema for a given item based on its opcode. This schema is use to decode the instruction. @param opcode @return

(int opcode)

Source from the content-addressed store, hash-verified

441 * @return
442 */
443 public Item.Descriptor getDescriptor(int opcode);
444 }
445
446 /**

Callers 8

mainMethod · 0.95
WyilFileMethod · 0.65
readOperandsMethod · 0.65
readDataMethod · 0.65
constructItemMethod · 0.65
writeOperandsMethod · 0.65
writeDataMethod · 0.65
printMetricsMethod · 0.65

Implementers 1

SectionedSchemasrc/main/java/wycc/util/SectionedSchem

Calls

no outgoing calls

Tested by

no test coverage detected