Class BytecodeRoot.ResolveCFunctionLabel

java.lang.Object

thc.runtime.BytecodeRoot.ResolveCFunctionLabel

Enclosing class:

BytecodeRoot

public static final class BytecodeRoot.ResolveCFunctionLabel
extends Object

Constructor Summary

Constructors

Constructor	Description
ResolveCFunctionLabel()

Method Summary

Modifier and Type	Method	Description
static ManagedAddress	resolve(String symbol, CoreRepresentation proof)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ResolveCFunctionLabel

public ResolveCFunctionLabel()

Method Details

resolve

public static ManagedAddress resolve(String symbol,
 CoreRepresentation proof)