Uses of Class
aterm.pure.PureFactory

Packages that use PureFactory

Package	Description
aterm.pure
aterm.pure.binary

Uses of PureFactory in aterm.pure

Fields in aterm.pure declared as PureFactory

Modifier and Type	Field and Description
protected PureFactory	ATermImpl.factory

Methods in aterm.pure that return PureFactory

Modifier and Type	Method and Description
static PureFactory	SingletonFactory.getInstance()
protected PureFactory	ATermImpl.getPureFactory()

Constructors in aterm.pure with parameters of type PureFactory

Constructor and Description
AFunImpl(PureFactory factory)
AFunImpl(PureFactory factory, String name, int arity, boolean isQuoted)
ATermApplImpl(PureFactory factory)
ATermApplImpl(PureFactory factory, ATermList annos, AFun fun, ATerm[] i_args)
ATermBlobImpl(PureFactory factory)
ATermBlobImpl(PureFactory factory, ATermList annos, byte[] data)
ATermImpl(PureFactory factory)
ATermImpl(PureFactory factory, ATermList annos)
ATermIntImpl(PureFactory factory)
ATermIntImpl(PureFactory factory, ATermList annos, int value)
ATermListImpl(PureFactory factory)
ATermListImpl(PureFactory factory, ATermList annos, ATerm first, ATermList next)
ATermLongImpl(PureFactory factory)
ATermLongImpl(PureFactory factory, ATermList annos, long value)
ATermPlaceholderImpl(PureFactory factory)
ATermPlaceholderImpl(PureFactory factory, ATermList annos, ATerm type)
ATermRealImpl(PureFactory factory)
ATermRealImpl(PureFactory factory, ATermList annos, double value)

Uses of PureFactory in aterm.pure.binary

Methods in aterm.pure.binary with parameters of type PureFactory

Modifier and Type	Method and Description
static ATerm	BinaryReader.readTermFromSAFFile(PureFactory pureFactory, File file) Reads the ATerm from the given SAF encoded file.
static ATerm	BinaryReader.readTermFromSAFString(PureFactory pureFactory, byte[] data) Reads the ATerm from the given SAF encoded data.

Constructors in aterm.pure.binary with parameters of type PureFactory

Constructor and Description
BAFReader(PureFactory factory, InputStream inputStream)
BinaryReader(PureFactory factory) Constructor.