public DynamicContext Copy() {
var newM = Util.Copy.CopyMember(md);
ITactic newTac = Util.Copy.CopyMember(tactic as MemberDecl) as ITactic;
var new_target = newTarget != null ? Util.Copy.CopyMember(newTarget) : null;
var newContext = new DynamicContext(newM, newTac, tac_call, tacticBody, localDeclarations, Util.Copy.CopyStatementDict(generatedStatements), tacCounter, new_target);
newContext.activeCtor = activeCtor;
newContext.isPartialyResolved = isPartialyResolved;
newContext.whileStmt = whileStmt;
return newContext;
}
public DynamicContext Copy()
{
var newM = Util.Copy.CopyMember(md);
ITactic newTac = Util.Copy.CopyMember(tactic as MemberDecl) as ITactic;
var new_target = newTarget != null?Util.Copy.CopyMember(newTarget) : null;
var newContext = new DynamicContext(newM, newTac, tac_call, tacticBody, localDeclarations, Util.Copy.CopyStatementDict(generatedStatements), tacCounter, new_target);
newContext.activeCtor = activeCtor;
newContext.isPartialyResolved = isPartialyResolved;
newContext.whileStmt = whileStmt;
return(newContext);
}
