C# (CSharp) aterm ATermPlaceholderImpl.init Examples

Example #1

File: ATermPlaceholderImpl.cs Project: scrasmussen/aterms

        public override SharedObject duplicate()
        {
            ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory);

            clone.init(GetHashCode(), getAnnotations(), type);
            return(clone);
        }

Example #2

File: PureFactory.cs Project: scrasmussen/aterms

 public virtual ATermPlaceholder makePlaceholder(ATerm type, ATermList annos)
 {
     lock (protoPlaceholder)
     {
         protoPlaceholder.init(hashPlaceholder(annos, type), annos, type);
         return((ATermPlaceholder)build(protoPlaceholder));
     }
 }

Example #3

File: ATermPlaceholderImpl.cs Project: jianglili007/aterms

		   public override SharedObject duplicate() 
		   {
			   ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory);
			   clone.init(GetHashCode(), getAnnotations(), type);
			   return clone;
		   }