Ejemplo n.º 1
0
Archivo: Copy.cs Proyecto: ggrov/tacny
 public static MemberDecl CopyMember(MemberDecl md) {
   Contract.Requires(md != null);
   Cloner cl = new Cloner();
   return cl.CloneMember(md);
 }
Ejemplo n.º 2
0
Archivo: Copy.cs Proyecto: ggrov/tacny
 /// <summary>
 /// Deep copy a statement
 /// </summary>
 /// <typeparam name="T"></typeparam>
 /// <param name="item"></param>
 /// <returns></returns>
 public static Statement CopyStatement(Statement item) {
   Cloner cl = new Cloner();
   return cl.CloneStmt(item);
 }
Ejemplo n.º 3
0
Archivo: Copy.cs Proyecto: ggrov/tacny
 /// <summary>
 /// Deep copy an expression
 /// </summary>
 /// <param name="exp"></param>
 /// <returns></returns>
 public static Expression CopyExpression(Expression exp) {
   Cloner cl = new Cloner();
   return cl.CloneExpr(exp);
 }
        RefinementCloner refinementCloner; // This cloner wraps things in a RefinementToken

        #endregion Fields

        #region Constructors

        public RefinementTransformer(ErrorReporter reporter)
            : base(reporter)
        {
            rawCloner = new Cloner();
        }
 public SubstitutionCloner(Dictionary<string, Expression> subs, Cloner c)
 {
     Exprs = subs;
       SubstitutionsMade = new SortedSet<string>();
       this.c = c;
 }
Ejemplo n.º 6
0
Archivo: Dare.cs Proyecto: ggrov/tacny
 public static Program CloneProgram(Program program)
 {
     var cloner = new Cloner();
     var moduleDecl = new LiteralModuleDecl(cloner.CloneModuleDefinition(program.DefaultModuleDef, program.Name), null);
     return new Program(program.FullName, moduleDecl, program.BuiltIns, new InvisibleErrorReporter());
 }
Ejemplo n.º 7
0
    private ExpressionTree _CopyTree() {
      var cl = new Cloner();
      if (IsLeaf())
        return new ExpressionTree(cl.CloneExpr(Data), null, null, null, Root);

      return new ExpressionTree(cl.CloneExpr(Data), null, LChild._CopyTree(), RChild?._CopyTree());
    }