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;
}
