public override SharedObject duplicate() { ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory); clone.init(GetHashCode(), getAnnotations(), type); return(clone); }
public virtual ATermPlaceholder makePlaceholder(ATerm type, ATermList annos) { lock (protoPlaceholder) { protoPlaceholder.init(hashPlaceholder(annos, type), annos, type); return((ATermPlaceholder)build(protoPlaceholder)); } }
public override SharedObject duplicate() { ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory); clone.init(GetHashCode(), getAnnotations(), type); return clone; }