Exemple #1
0
        public override SharedObject duplicate()
        {
            ATermApplImpl clone = new ATermApplImpl(factory);

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