public override SharedObject duplicate() { ATermApplImpl clone = new ATermApplImpl(factory); clone.init(GetHashCode(), getAnnotations(), fun, args); 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() { ATermApplImpl clone = new ATermApplImpl(factory); clone.init(GetHashCode(), getAnnotations(), fun, args); return clone; }