|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An ATermFactory is responsible for making new ATerms. A factory can create a new ATerm by parsing a String, by making it via one of the many "make" methods, or by reading it from an InputStream.
Field Summary | |
static byte |
START_OF_SHARED_TEXT_FILE
|
Method Summary | |
aterm.ATerm |
importTerm(aterm.ATerm term)
Creates an ATerm by importing it from another ATermFactory. |
aterm.ATerm |
make(aterm.ATerm pattern,
java.util.List args)
Creates a new ATerm given a pattern and a list of arguments. |
aterm.ATerm |
make(java.lang.String trm)
Equivalent of parse. |
aterm.ATerm |
make(java.lang.String pattern,
java.util.List args)
Creates a new ATerm given a string pattern and a list of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1)
Creates a new ATerm given a pattern and a single argument. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2,
java.lang.Object arg3)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2,
java.lang.Object arg3,
java.lang.Object arg4)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2,
java.lang.Object arg3,
java.lang.Object arg4,
java.lang.Object arg5)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2,
java.lang.Object arg3,
java.lang.Object arg4,
java.lang.Object arg5,
java.lang.Object arg6)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.ATerm |
make(java.lang.String pattern,
java.lang.Object arg1,
java.lang.Object arg2,
java.lang.Object arg3,
java.lang.Object arg4,
java.lang.Object arg5,
java.lang.Object arg6,
java.lang.Object arg7)
Creates a new ATerm given a pattern and a fixed number of arguments. |
aterm.AFun |
makeAFun(java.lang.String name,
int arity,
boolean isQuoted)
Creates an AFun object |
aterm.ATermAppl |
makeAppl(aterm.AFun fun)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm[] args)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg1,
aterm.ATerm arg2)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg1,
aterm.ATerm arg2,
aterm.ATerm arg3)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg1,
aterm.ATerm arg2,
aterm.ATerm arg3,
aterm.ATerm arg4)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg1,
aterm.ATerm arg2,
aterm.ATerm arg3,
aterm.ATerm arg4,
aterm.ATerm arg5)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATerm arg1,
aterm.ATerm arg2,
aterm.ATerm arg3,
aterm.ATerm arg4,
aterm.ATerm arg5,
aterm.ATerm arg6)
Creates a function application. |
aterm.ATermAppl |
makeAppl(aterm.AFun fun,
aterm.ATermList args)
Creates a function application. |
aterm.ATermBlob |
makeBlob(byte[] data)
Creates an ATermBlob (Binary Large OBject). |
aterm.ATermInt |
makeInt(int val)
Creates a new ATermInt object |
aterm.ATermList |
makeList()
Creates an empty ATermList object |
aterm.ATermList |
makeList(aterm.ATerm single)
Creates a singleton ATermList object. |
aterm.ATermList |
makeList(aterm.ATerm head,
aterm.ATermList tail)
Creates a head-tail style ATermList. |
aterm.ATermPlaceholder |
makePlaceholder(aterm.ATerm type)
Creates an ATermPlaceholder object. |
aterm.ATermReal |
makeReal(double val)
Creates a new ATermReal object |
aterm.ATerm |
parse(java.lang.String trm)
Creates a new ATerm by parsing a string. |
aterm.ATerm |
readFromBinaryFile(java.io.InputStream stream)
Creates an ATerm from a binary stream. |
aterm.ATerm |
readFromFile(java.io.InputStream stream)
Creates an ATerm from a stream. |
aterm.ATerm |
readFromFile(java.lang.String file)
Creates an ATerm from a given filename. |
aterm.ATerm |
readFromSharedTextFile(java.io.InputStream stream)
Creates an ATerm from a shared text stream. |
aterm.ATerm |
readFromTextFile(java.io.InputStream stream)
Creates an ATerm from a text stream. |
Field Detail |
public static final byte START_OF_SHARED_TEXT_FILE
Method Detail |
public aterm.ATerm parse(java.lang.String trm)
trm
- the string representation of the term
make(String)
public aterm.ATerm make(java.lang.String trm)
trm
- the string representation of the term
parse(String)
public aterm.ATerm make(java.lang.String pattern, java.util.List args)
pattern
- the string pattern containing a placeholder for each
argument.args
- the list of arguments to be filled into the placeholders.
public aterm.ATerm make(aterm.ATerm pattern, java.util.List args)
pattern
- the pattern containing a placeholder for each argument.args
- the list of arguments to be filled into the placeholders.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1)
pattern
- the pattern containing a placeholder for the argument.arg1
- the argument to be filled into the hole.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2)
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.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3)
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.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3, java.lang.Object arg4)
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.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3, java.lang.Object arg4, java.lang.Object arg5)
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.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3, java.lang.Object arg4, java.lang.Object arg5, java.lang.Object arg6)
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.
public aterm.ATerm make(java.lang.String pattern, java.lang.Object arg1, java.lang.Object arg2, java.lang.Object arg3, java.lang.Object arg4, java.lang.Object arg5, java.lang.Object arg6, java.lang.Object arg7)
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.
public aterm.ATermInt makeInt(int val)
val
- the integer value to be stored.
public aterm.ATermReal makeReal(double val)
val
- the double value to be stored.
public aterm.ATermList makeList()
public aterm.ATermList makeList(aterm.ATerm single)
single
- the element to be placed in the list.
public aterm.ATermList makeList(aterm.ATerm head, aterm.ATermList tail)
head
- the head of the list.tail
- the tail of the list.
public aterm.ATermPlaceholder makePlaceholder(aterm.ATerm type)
type
- the type of the hole in the placeholder.
public aterm.ATermBlob makeBlob(byte[] data)
data
- the data to be stored in the blob.
public aterm.AFun makeAFun(java.lang.String name, int arity, boolean isQuoted)
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).
public aterm.ATermAppl makeAppl(aterm.AFun fun)
fun
- the function symbol of the application.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg)
fun
- the function symbol of the application.arg
- the argument of the application.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg1, aterm.ATerm arg2)
fun
- the function symbol of the application.arg1
- the first argument of the application.arg2
- the second argument of the application.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg1, aterm.ATerm arg2, aterm.ATerm arg3)
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.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg1, aterm.ATerm arg2, aterm.ATerm arg3, aterm.ATerm arg4)
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.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg1, aterm.ATerm arg2, aterm.ATerm arg3, aterm.ATerm arg4, aterm.ATerm arg5)
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.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg1, aterm.ATerm arg2, aterm.ATerm arg3, aterm.ATerm arg4, aterm.ATerm arg5, aterm.ATerm arg6)
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.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm[] args)
fun
- the function symbol of the application.args
- an array containing the arguments.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATermList args)
fun
- the function symbol of the application.args
- an ATermList containing the arguments.
public aterm.ATerm readFromTextFile(java.io.InputStream stream) throws java.io.IOException
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromSharedTextFile(java.io.InputStream stream) throws java.io.IOException
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromBinaryFile(java.io.InputStream stream) throws java.io.IOException
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromFile(java.io.InputStream stream) throws java.io.IOException
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromFile(java.lang.String file) throws java.io.IOException
file
- the filename to read the ATerm from.
java.io.IOException
public aterm.ATerm importTerm(aterm.ATerm term)
term
- the term (possibly from another ATermFactory) to rebuild in
this factory.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |