@Override public void writeToTextFile(final OutputStream stream) throws IOException { writeToTextFile(new ATermWriter(stream)); }
@Override public ATermList getEmpty() { return getPureFactory().makeList(); }
public PureFactory() { super(); final ATermListImpl protoList = new ATermListImpl(this); protoList.init(FIX_POINT, null, null); _empty = build(protoList); ((ATermListImpl) _empty).init(FIX_POINT, null, null); }
@Override public ATermPlaceholder makePlaceholder(final ATerm type) { return build(new ATermPlaceholderImpl(this, type)); }
@Override public ATermBlob makeBlob(final byte[] data) { return build(new ATermBlobImpl(this, data)); }
@Override public ATermAppl makeAppl(final AFun fun, final ATerm[] args) { return build(new ATermApplImpl(this, fun, args)); }
private ATerm readFromSharedTextFile(final ATermReader reader) throws IOException { reader.initializeSharing(); return parseFromReader(reader); }
@Override public List<Object> match(final String pattern) { return match(_factory.parsePattern(pattern)); }
@Override public ATermInt makeInt(final int value) { return build(new ATermIntImpl(this, value)); }
@Override public ATermLong makeLong(final long value) { return build(new ATermLongImpl(this, value)); }
@Override public ATermReal makeReal(final double value) { return build(new ATermRealImpl(this, value)); }
@Override public ATermList makeList(final ATerm first, final ATermList next) { return build(new ATermListImpl(this, first, next)); }
public ATerm setPlaceholder(final ATerm newtype) { return getPureFactory().makePlaceholder(newtype); }
protected ATermAppl make(final AFun fun, final ATerm[] i_args) { return getPureFactory().makeAppl(fun, i_args); }
protected ATermIntImpl(final PureFactory factory, final int value) { super(factory); _value = value; setHashCode(hashFunction()); }
@Override public boolean isEqual(final ATerm term) { if (term instanceof ATermImpl) return this == term; return _factory.isDeepEqual(this, term); }
@Override public ATerm getSubTerm(final int index) { return elementAt(index); }
@Override public ATermList insert(final ATerm head) { return getPureFactory().makeList(head, this); }
protected ATermList make(final ATerm head, final ATermList tail) { return getPureFactory().makeList(head, tail); }