public override SharedObject duplicate()
{
ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory);
clone.init(GetHashCode(), getAnnotations(), type);
return(clone);
}
public PureFactory(int termTableSize) : base(termTableSize)
{
protoList = new ATermListImpl(this);
protoAppl = new ATermApplImpl(this);
protoInt = new ATermIntImpl(this);
protoReal = new ATermRealImpl(this);
protoBlob = new ATermBlobImpl(this);
protoPlaceholder = new ATermPlaceholderImpl(this);
protoAFun = new AFunImpl(this);
protoList.init(42, null, null, null);
empty = (ATermList) build(protoList);
((ATermListImpl) empty).init(42, empty, null, null);
}
public PureFactory(int termTableSize) : base(termTableSize)
{
protoList = new ATermListImpl(this);
protoAppl = new ATermApplImpl(this);
protoInt = new ATermIntImpl(this);
protoReal = new ATermRealImpl(this);
protoBlob = new ATermBlobImpl(this);
protoPlaceholder = new ATermPlaceholderImpl(this);
protoAFun = new AFunImpl(this);
protoList.init(42, null, null, null);
empty = (ATermList)build(protoList);
((ATermListImpl)empty).init(42, empty, null, null);
}
public override SharedObject duplicate()
{
ATermPlaceholderImpl clone = new ATermPlaceholderImpl(factory);
clone.init(GetHashCode(), getAnnotations(), type);
return clone;
}
