ExternalCallEventHandler (B2R2)

ExternalCallEventHandler Type

Namespace: B2R2.MiddleEnd.ConcEval
Assembly: B2R2.MiddleEnd.ConcEval.dll
Base Type: MulticastDelegate
All Interfaces: ICloneable , ISerializable
Delegate Signature: ExternalCallEventHandler(BitVector list * EvalState -> unit)

Represents a callback function that is invoked when an external call is encountered during the evaluation.

Instance member	Description
`this.Invoke` Full Usage: `this.Invoke` Parameters: arg0 : `BitVector list` arg1 : `EvalState` Modifiers: abstract	arg0 : `BitVector list` arg1 : `EvalState`