public CloneMethod(SharedData data, Dictionary<AALocalDecl, PLvalue> localMap, Node currentCloneNode, ExtraCheckDelegate extraCheck = null)
{
this.data = data;
this.localMap = localMap;
this.currentCloneNode = currentCloneNode;
this.extraCheck = extraCheck;
}
public CloneMethod(SharedData data, Dictionary <AALocalDecl, PLvalue> localMap, Node currentCloneNode, ExtraCheckDelegate extraCheck = null)
{
this.data = data;
this.localMap = localMap;
this.currentCloneNode = currentCloneNode;
this.extraCheck = extraCheck;
}
