PureFactory (ATerm Java 1.8.2-p1 API)

java.lang.Object
- shared.SharedObjectFactory
- - aterm.pure.PureFactory

All Implemented Interfaces:: ATermFactory

public class PureFactory
extends shared.SharedObjectFactory
implements ATermFactory

Field Summary
- Fields inherited from interface aterm.ATermFactory
  START_OF_SHARED_TEXT_FILE

Constructor Summary

Constructors
Constructor and Description

PureFactory()

PureFactory(int termTableSize)

Constructors
Constructor and Description
`PureFactory()`
`PureFactory(int termTableSize)`

Method Summary

Methods
Modifier and Type	Method and Description
`static int`	`abbrevSize(int abbrev)`
`ATermList`	`getEmpty()`
`ATerm`	`importTerm(ATerm term)` Creates an ATerm by importing it from another ATermFactory.
`protected boolean`	`isDeepEqual(ATermImpl t1, ATerm t2)`
`ATerm`	`make(ATerm pattern, List<Object> args)` Creates a new ATerm given a pattern and a list of arguments.
`ATerm`	`make(String trm)` Equivalent of parse.
`ATerm`	`make(String pattern, List<Object> args)` Creates a new ATerm given a string pattern and a list of arguments.
`ATerm`	`make(String pattern, Object arg1)` Creates a new ATerm given a pattern and a single argument.
`ATerm`	`make(String pattern, Object arg1, Object arg2)` Creates a new ATerm given a pattern and a fixed number of arguments.
`ATerm`	`make(String pattern, Object arg1, Object arg2, Object arg3)` Creates a new ATerm given a pattern and a fixed number of arguments.
`ATerm`	`make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4)` Creates a new ATerm given a pattern and a fixed number of arguments.
`ATerm`	`make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5)` Creates a new ATerm given a pattern and a fixed number of arguments.
`ATerm`	`make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6)` Creates a new ATerm given a pattern and a fixed number of arguments.
`ATerm`	`make(String pattern, Object arg1, Object arg2, Object arg3, Object arg4, Object arg5, Object arg6, Object arg7)` Creates a new ATerm given a pattern and a fixed number of arguments.
`AFun`	`makeAFun(String name, int arity, boolean isQuoted)` Creates an AFun object
`ATermAppl`	`makeAppl(AFun fun)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm[] args)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm[] args, ATermList annos)`
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5, ATerm arg6)` Creates a function application.
`ATermAppl`	`makeAppl(AFun fun, ATerm arg1, ATerm arg2, ATerm arg3, ATerm arg4, ATerm arg5, ATerm arg6, ATerm arg7)`
`ATermAppl`	`makeApplList(AFun fun, ATermList list)` Creates a function application.
`ATermAppl`	`makeApplList(AFun fun, ATermList list, ATermList annos)`
`ATermBlob`	`makeBlob(byte[] data)` Creates an ATermBlob (Binary Large OBject).
`ATermBlob`	`makeBlob(byte[] data, ATermList annos)`
`ATermInt`	`makeInt(int val)` Creates a new ATermInt object
`ATermInt`	`makeInt(int value, ATermList annos)`
`ATermList`	`makeList()` Creates an empty ATermList object
`ATermList`	`makeList(ATerm singleton)` Creates a singleton ATermList object.
`ATermList`	`makeList(ATerm first, ATermList next)` Creates a head-tail style ATermList.
`ATermList`	`makeList(ATerm first, ATermList next, ATermList annos)`
`ATermLong`	`makeLong(long val)` Creates a new ATermLong object
`ATermLong`	`makeLong(long value, ATermList annos)`
`ATermPlaceholder`	`makePlaceholder(ATerm type)` Creates an ATermPlaceholder object.
`ATermPlaceholder`	`makePlaceholder(ATerm type, ATermList annos)`
`ATermReal`	`makeReal(double val)` Creates a new ATermReal object
`ATermReal`	`makeReal(double value, ATermList annos)`
`ATerm`	`parse(String trm)` Creates a new ATerm by parsing a string.
`ATerm`	`readFromBinaryFile(InputStream stream)` Creates an ATerm from a binary stream.
`ATerm`	`readFromFile(InputStream stream)` Creates an ATerm from a stream.
`ATerm`	`readFromFile(String filename)` Creates an ATerm from a given filename.
`ATerm`	`readFromSharedTextFile(InputStream stream)` Creates an ATerm from a shared text stream.
`ATerm`	`readFromTextFile(InputStream stream)` Creates an ATerm from a text stream.

Methods inherited from class shared.SharedObjectFactory
build, cleanup, contains, toString

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - PureFactory
```
public PureFactory()
```
  - PureFactory
```
public PureFactory(int termTableSize)
```
- Method Detail
  - abbrevSize
```
public static int abbrevSize(int abbrev)
```
  - makeInt
```
public ATermInt makeInt(int val)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATermInt object
    
    Specified by:
    
    makeInt in interface ATermFactory
    
    Parameters:
    val - the integer value to be stored.
    
    Returns:
    the constructed ATermInt object.
  - makeLong
```
public ATermLong makeLong(long val)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATermLong object
    
    Specified by:
    
    makeLong in interface ATermFactory
    
    Parameters:
    val - the long value to be stored.
    
    Returns:
    the constructed ATermLong object.
  - makeReal
```
public ATermReal makeReal(double val)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATermReal object
    
    Specified by:
    
    makeReal in interface ATermFactory
    
    Parameters:
    val - the double value to be stored.
    
    Returns:
    the constructed ATermReal object.
  - makeList
```
public ATermList makeList()
```
    Description copied from interface: ATermFactory
    
    Creates an empty ATermList object
    
    Specified by:
    
    makeList in interface ATermFactory
    
    Returns:
    the (empty) ATermList.
  - makeList
```
public ATermList makeList(ATerm singleton)
```
    Description copied from interface: ATermFactory
    
    Creates a singleton ATermList object.
    
    Specified by:
    
    makeList in interface ATermFactory
    
    Parameters:
    singleton - the element to be placed in the list.
    
    Returns:
    the singleton ATermList object.
  - makeList
```
public ATermList makeList(ATerm first,
                 ATermList next)
```
    Description copied from interface: ATermFactory
    
    Creates a head-tail style ATermList.
    
    Specified by:
    
    makeList in interface ATermFactory
    
    Parameters:
    first - the head of the list.
    next - the tail of the list.
    
    Returns:
    the constructed ATermList.
  - makePlaceholder
```
public ATermPlaceholder makePlaceholder(ATerm type)
```
    Description copied from interface: ATermFactory
    
    Creates an ATermPlaceholder object.
    
    Specified by:
    
    makePlaceholder in interface ATermFactory
    
    Parameters:
    type - the type of the hole in the placeholder.
    
    Returns:
    the constructed ATermPlaceholder.
  - makeBlob
```
public ATermBlob makeBlob(byte[] data)
```
    Description copied from interface: ATermFactory
    
    Creates an ATermBlob (Binary Large OBject).
    
    Specified by:
    
    makeBlob in interface ATermFactory
    
    Parameters:
    data - the data to be stored in the blob.
    
    Returns:
    the constructed ATermBlob.
  - makeAFun
```
public AFun makeAFun(String name,
            int arity,
            boolean isQuoted)
```
    Description copied from interface: ATermFactory
    
    Creates an AFun object
    
    Specified by:
    
    makeAFun in interface ATermFactory
    
    Parameters:
    name - the name of the function symbol.
    arity - the arity of the function symbol.
    isQuoted - whether the function symbol is quoted ("foo") or not (foo).
    
    Returns:
    the constructed AFun.
  - makeInt
```
public ATermInt makeInt(int value,
               ATermList annos)
```
  - makeLong
```
public ATermLong makeLong(long value,
                 ATermList annos)
```
  - makeReal
```
public ATermReal makeReal(double value,
                 ATermList annos)
```
  - makePlaceholder
```
public ATermPlaceholder makePlaceholder(ATerm type,
                               ATermList annos)
```
  - makeBlob
```
public ATermBlob makeBlob(byte[] data,
                 ATermList annos)
```
  - makeList
```
public ATermList makeList(ATerm first,
                 ATermList next,
                 ATermList annos)
```
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm[] args)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    args - an array containing the arguments.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm[] args,
                 ATermList annos)
```
  - makeApplList
```
public ATermAppl makeApplList(AFun fun,
                     ATermList list)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeApplList in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    list - an ATermList containing the arguments.
    
    Returns:
    the constructed function application.
  - makeApplList
```
public ATermAppl makeApplList(AFun fun,
                     ATermList list,
                     ATermList annos)
```
  - makeAppl
```
public ATermAppl makeAppl(AFun fun)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg - the argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg1 - the first argument of the application.
    arg2 - the second argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2,
                 ATerm arg3)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg1 - the first argument of the application.
    arg2 - the second argument of the application.
    arg3 - the third argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2,
                 ATerm arg3,
                 ATerm arg4)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg1 - the first argument of the application.
    arg2 - the second argument of the application.
    arg3 - the third argument of the application.
    arg4 - the fourth argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2,
                 ATerm arg3,
                 ATerm arg4,
                 ATerm arg5)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg1 - the first argument of the application.
    arg2 - the second argument of the application.
    arg3 - the third argument of the application.
    arg4 - the fourth argument of the application.
    arg5 - the fifth argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2,
                 ATerm arg3,
                 ATerm arg4,
                 ATerm arg5,
                 ATerm arg6)
```
    Description copied from interface: ATermFactory
    
    Creates a function application.
    
    Specified by:
    
    makeAppl in interface ATermFactory
    
    Parameters:
    fun - the function symbol of the application.
    arg1 - the first argument of the application.
    arg2 - the second argument of the application.
    arg3 - the third argument of the application.
    arg4 - the fourth argument of the application.
    arg5 - the fifth argument of the application.
    arg6 - the sixth argument of the application.
    
    Returns:
    the constructed function application.
  - makeAppl
```
public ATermAppl makeAppl(AFun fun,
                 ATerm arg1,
                 ATerm arg2,
                 ATerm arg3,
                 ATerm arg4,
                 ATerm arg5,
                 ATerm arg6,
                 ATerm arg7)
```
  - getEmpty
```
public ATermList getEmpty()
```
  - parse
```
public ATerm parse(String trm)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm by parsing a string.
    
    Specified by:
    
    parse in interface ATermFactory
    
    Parameters:
    trm - the string representation of the term
    
    Returns:
    the parsed term.
    See Also:
    ATermFactory.make(String)
  - make
```
public ATerm make(String trm)
```
    Description copied from interface: ATermFactory
    
    Equivalent of parse.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    trm - the string representation of the term
    
    Returns:
    the parsed term.
    See Also:
    ATermFactory.parse(String)
  - make
```
public ATerm make(String pattern,
         List<Object> args)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a string pattern and a list of arguments. First the string pattern is parsed into an ATerm. Then the holes in the pattern are filled with arguments taken from the supplied list of arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the string pattern containing a placeholder for each argument.
    args - the list of arguments to be filled into the placeholders.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a single argument. This convenience method creates an ATerm from a pattern and one argument.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the argument.
    arg1 - the argument to be filled into the hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and two arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2,
         Object arg3)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and three arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    arg3 - the argument to be filled into the third hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2,
         Object arg3,
         Object arg4)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and four arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    arg3 - the argument to be filled into the third hole.
    arg4 - the argument to be filled into the fourth hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2,
         Object arg3,
         Object arg4,
         Object arg5)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and five arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    arg3 - the argument to be filled into the third hole.
    arg4 - the argument to be filled into the fourth hole.
    arg5 - the argument to be filled into the fifth hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2,
         Object arg3,
         Object arg4,
         Object arg5,
         Object arg6)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and six arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    arg3 - the argument to be filled into the third hole.
    arg4 - the argument to be filled into the fourth hole.
    arg5 - the argument to be filled into the fifth hole.
    arg6 - the argument to be filled into the sixth hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(String pattern,
         Object arg1,
         Object arg2,
         Object arg3,
         Object arg4,
         Object arg5,
         Object arg6,
         Object arg7)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a fixed number of arguments. This convenience method creates an ATerm from a pattern and seven arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for the arguments.
    arg1 - the argument to be filled into the first hole.
    arg2 - the argument to be filled into the second hole.
    arg3 - the argument to be filled into the third hole.
    arg4 - the argument to be filled into the fourth hole.
    arg5 - the argument to be filled into the fifth hole.
    arg6 - the argument to be filled into the sixth hole.
    arg7 - the argument to be filled into the seventh hole.
    
    Returns:
    the constructed term.
  - make
```
public ATerm make(ATerm pattern,
         List<Object> args)
```
    Description copied from interface: ATermFactory
    
    Creates a new ATerm given a pattern and a list of arguments. The holes in the pattern are filled with arguments taken from the supplied list of arguments.
    
    Specified by:
    
    make in interface ATermFactory
    
    Parameters:
    pattern - the pattern containing a placeholder for each argument.
    args - the list of arguments to be filled into the placeholders.
    
    Returns:
    the constructed term.
  - isDeepEqual
```
protected boolean isDeepEqual(ATermImpl t1,
                  ATerm t2)
```
  - readFromTextFile
```
public ATerm readFromTextFile(InputStream stream)
                       throws IOException
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm from a text stream.
    
    Specified by:
    
    readFromTextFile in interface ATermFactory
    
    Parameters:
    stream - the inputstream to read the ATerm from.
    
    Returns:
    the parsed ATerm.
    
    Throws:
    
    IOException
  - readFromSharedTextFile
```
public ATerm readFromSharedTextFile(InputStream stream)
                             throws IOException
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm from a shared text stream.
    
    Specified by:
    
    readFromSharedTextFile in interface ATermFactory
    
    Parameters:
    stream - the inputstream to read the ATerm from.
    
    Returns:
    the parsed ATerm.
    
    Throws:
    
    IOException
  - readFromBinaryFile
```
public ATerm readFromBinaryFile(InputStream stream)
                         throws IOException
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm from a binary stream.
    
    Specified by:
    
    readFromBinaryFile in interface ATermFactory
    
    Parameters:
    stream - the inputstream to read the ATerm from.
    
    Returns:
    the parsed ATerm.
    
    Throws:
    
    IOException
  - readFromFile
```
public ATerm readFromFile(InputStream stream)
                   throws IOException
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm from a stream. This function determines the type of stream (text, shared, binary) and parses the ATerm accordingly.
    
    Specified by:
    
    readFromFile in interface ATermFactory
    
    Parameters:
    stream - the inputstream to read the ATerm from.
    
    Returns:
    the parsed ATerm.
    
    Throws:
    
    IOException
  - readFromFile
```
public ATerm readFromFile(String filename)
                   throws IOException
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm from a given filename.
    
    Specified by:
    
    readFromFile in interface ATermFactory
    
    Parameters:
    filename - the filename to read the ATerm from.
    
    Returns:
    the parsed ATerm.
    
    Throws:
    
    IOException
  - importTerm
```
public ATerm importTerm(ATerm term)
```
    Description copied from interface: ATermFactory
    
    Creates an ATerm by importing it from another ATermFactory.
    
    Specified by:
    
    importTerm in interface ATermFactory
    
    Parameters:
    term - the term (possibly from another ATermFactory) to rebuild in this factory.
    
    Returns:
    the imported ATerm.
    See Also:
    ATermFactory.importTerm(ATerm)

Class PureFactory

Field Summary

Fields inherited from interface aterm.ATermFactory

Constructor Summary

Method Summary

Methods inherited from class shared.SharedObjectFactory

Methods inherited from class java.lang.Object

Constructor Detail

PureFactory

PureFactory

Method Detail

abbrevSize

makeInt

makeLong

makeReal

makeList

makeList

makeList

makePlaceholder

makeBlob

makeAFun

makeInt

makeLong

makeReal

makePlaceholder

makeBlob

makeList

makeAppl

makeAppl

makeApplList

makeApplList

makeAppl

makeAppl

makeAppl

makeAppl

makeAppl

makeAppl

makeAppl

makeAppl

getEmpty

parse

make

make

make

make

make

make

make

make

make

make

isDeepEqual

readFromTextFile

readFromSharedTextFile

readFromBinaryFile

readFromFile

readFromFile

importTerm