public override void visitPlaceholder(ATermPlaceholder ph) // throws VisitFailure
{
stream.Write('<');
position++;
visitChild(ph.getPlaceholder());
stream.Write('>');
position++;
}
public override bool equivalent(SharedObject obj)
{
if (base.equivalent(obj))
{
ATermPlaceholder peer = (ATermPlaceholder)obj;
return(peer.getPlaceholder() == type);
}
return(false);
}
public override void visitPlaceholder(ATermPlaceholder ph) // throws VisitFailure
{
stream.Write('<');
position++;
visitChild(ph.getPlaceholder());
stream.Write('>');
position++;
}
public virtual void visitPlaceholder(ATermPlaceholder arg) // throws VisitFailure
{
visitATerm(arg);
}
public virtual void visitPlaceholder(ATermPlaceholder arg) // throws VisitFailure
{
visitATerm(arg);
}
