Esempi in C# (CSharp) per Microsoft.Boogie QKeyValue.Clone

Esempio n. 1

File: AbsyQuant.cs Progetto: luckysunda/hice-dt

        public override Absy Clone()
        {
            List <object> newParams = new List <object>();

            foreach (object o in Params)
            {
                newParams.Add(o);
            }
            return(new QKeyValue(tok, Key, newParams, (Next == null) ? null : (QKeyValue)Next.Clone()));
        }