|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--aterm.pure.PureFactory
Field Summary |
Fields inherited from interface aterm.ATermFactory |
START_OF_SHARED_TEXT_FILE |
Constructor Summary | |
PureFactory()
|
|
PureFactory(int term_table_size,
int afun_table_size)
|
Method Summary | |
static int |
abbrevSize(int abbrev)
|
aterm.ATermList |
getEmpty()
|
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[] args,
aterm.ATermList annos)
|
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.ATerm arg1,
aterm.ATerm arg2,
aterm.ATerm arg3,
aterm.ATerm arg4,
aterm.ATerm arg5,
aterm.ATerm arg6,
aterm.ATerm arg7)
|
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.ATermBlob |
makeBlob(byte[] data,
aterm.ATermList annos)
|
aterm.ATermInt |
makeInt(int val)
Creates a new ATermInt object |
aterm.ATermInt |
makeInt(int val,
aterm.ATermList annos)
|
aterm.ATermList |
makeList()
Creates an empty ATermList object |
aterm.ATermList |
makeList(aterm.ATerm singleton)
Creates a singleton ATermList object. |
aterm.ATermList |
makeList(aterm.ATerm first,
aterm.ATermList next)
Creates a head-tail style ATermList. |
aterm.ATermList |
makeList(aterm.ATerm first,
aterm.ATermList next,
aterm.ATermList annos)
|
aterm.ATermPlaceholder |
makePlaceholder(aterm.ATerm type)
Creates an ATermPlaceholder object. |
aterm.ATermPlaceholder |
makePlaceholder(aterm.ATerm type,
aterm.ATermList annos)
|
aterm.ATermReal |
makeReal(double val)
Creates a new ATermReal object |
aterm.ATermReal |
makeReal(double val,
aterm.ATermList annos)
|
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. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public PureFactory()
public PureFactory(int term_table_size, int afun_table_size)
Method Detail |
public static int abbrevSize(int abbrev)
public aterm.ATermInt makeInt(int val)
ATermFactory
makeInt
in interface ATermFactory
val
- the integer value to be stored.
public aterm.ATermInt makeInt(int val, aterm.ATermList annos)
public aterm.ATermReal makeReal(double val)
ATermFactory
makeReal
in interface ATermFactory
val
- the double value to be stored.
public aterm.ATermReal makeReal(double val, aterm.ATermList annos)
public aterm.ATermList makeList()
ATermFactory
makeList
in interface ATermFactory
public aterm.ATermList makeList(aterm.ATerm singleton)
ATermFactory
makeList
in interface ATermFactory
singleton
- the element to be placed in the list.
public aterm.ATermList makeList(aterm.ATerm first, aterm.ATermList next)
ATermFactory
makeList
in interface ATermFactory
first
- the head of the list.next
- the tail of the list.
public aterm.ATermList makeList(aterm.ATerm first, aterm.ATermList next, aterm.ATermList annos)
public aterm.ATermPlaceholder makePlaceholder(aterm.ATerm type)
ATermFactory
makePlaceholder
in interface ATermFactory
type
- the type of the hole in the placeholder.
public aterm.ATermPlaceholder makePlaceholder(aterm.ATerm type, aterm.ATermList annos)
public aterm.ATermBlob makeBlob(byte[] data)
ATermFactory
makeBlob
in interface ATermFactory
data
- the data to be stored in the blob.
public aterm.ATermBlob makeBlob(byte[] data, aterm.ATermList annos)
public aterm.AFun makeAFun(java.lang.String name, int arity, boolean isQuoted)
ATermFactory
makeAFun
in interface ATermFactory
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, aterm.ATerm[] args)
ATermFactory
makeAppl
in interface ATermFactory
fun
- the function symbol of the application.args
- an array containing the arguments.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm[] args, aterm.ATermList annos)
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATermList args)
ATermFactory
makeAppl
in interface ATermFactory
fun
- the function symbol of the application.args
- an ATermList containing the arguments.
public aterm.ATermAppl makeAppl(aterm.AFun fun)
ATermFactory
makeAppl
in interface ATermFactory
fun
- the function symbol of the application.
public aterm.ATermAppl makeAppl(aterm.AFun fun, aterm.ATerm arg)
ATermFactory
makeAppl
in interface ATermFactory
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)
ATermFactory
makeAppl
in interface ATermFactory
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)
ATermFactory
makeAppl
in interface ATermFactory
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)
ATermFactory
makeAppl
in interface ATermFactory
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)
ATermFactory
makeAppl
in interface ATermFactory
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)
ATermFactory
makeAppl
in interface ATermFactory
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 arg1, aterm.ATerm arg2, aterm.ATerm arg3, aterm.ATerm arg4, aterm.ATerm arg5, aterm.ATerm arg6, aterm.ATerm arg7)
public aterm.ATermList getEmpty()
public aterm.ATerm parse(java.lang.String trm)
ATermFactory
parse
in interface ATermFactory
trm
- the string representation of the term
ATermFactory.make(String)
public aterm.ATerm make(java.lang.String trm)
ATermFactory
make
in interface ATermFactory
trm
- the string representation of the term
ATermFactory.parse(String)
public aterm.ATerm make(java.lang.String pattern, java.util.List args)
ATermFactory
make
in interface ATermFactory
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(java.lang.String pattern, java.lang.Object arg1)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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)
ATermFactory
make
in interface ATermFactory
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.ATerm make(aterm.ATerm pattern, java.util.List args)
ATermFactory
make
in interface ATermFactory
pattern
- the pattern containing a placeholder for each argument.args
- the list of arguments to be filled into the placeholders.
public aterm.ATerm readFromTextFile(java.io.InputStream stream) throws java.io.IOException
ATermFactory
readFromTextFile
in interface ATermFactory
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromSharedTextFile(java.io.InputStream stream) throws java.io.IOException
ATermFactory
readFromSharedTextFile
in interface ATermFactory
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromBinaryFile(java.io.InputStream stream)
ATermFactory
readFromBinaryFile
in interface ATermFactory
stream
- the inputstream to read the ATerm from.
public aterm.ATerm readFromFile(java.io.InputStream stream) throws java.io.IOException
ATermFactory
readFromFile
in interface ATermFactory
stream
- the inputstream to read the ATerm from.
java.io.IOException
public aterm.ATerm readFromFile(java.lang.String file) throws java.io.IOException
ATermFactory
readFromFile
in interface ATermFactory
file
- the filename to read the ATerm from.
java.io.IOException
public aterm.ATerm importTerm(aterm.ATerm term)
ATermFactory
importTerm
in interface ATermFactory
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 |