public override SharedObject duplicate() { AFunImpl clone = new AFunImpl(factory); clone.init(GetHashCode(), name, arity, _isQuoted); 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() { AFunImpl clone = new AFunImpl(factory); clone.init(GetHashCode(), name, arity, _isQuoted); return clone; }