/// <summary>
/// Constructs a new instance based on a control-flow graph and an assumption on IsCompleted properties.
/// </summary>
/// <param name="cfg">a control-flow graph</param>
/// <param name="assumption">whether the IsCompleted property is assumed to return always true or always false</param>
public AsyncMethodCustomInstructionInfo(MethodCode cfg, EAssumption assumption) :
base(cfg.Method)
{
_cfg = cfg;
_assumption = assumption;
_branchOverrides = new Dictionary <int, int>();
MarkIsCompletedBranches();
}
/// <summary>
/// Constructs a new instance based on a control-flow graph and an assumption on IsCompleted properties.
/// </summary>
/// <param name="cfg">a control-flow graph</param>
/// <param name="assumption">whether the IsCompleted property is assumed to return always true or always false</param>
public AsyncMethodCustomInstructionInfo(MethodCode cfg, EAssumption assumption):
base(cfg.Method)
{
_cfg = cfg;
_assumption = assumption;
_branchOverrides = new Dictionary<int, int>();
MarkIsCompletedBranches();
}
