com.declarativa.interprolog

Class InitiallyFlatTermModel

java.lang.Object

com.declarativa.interprolog.TermModel

com.declarativa.interprolog.InitiallyFlatTermModel

All Implemented Interfaces:

Serializable, TreeModel

public class InitiallyFlatTermModel
extends TermModel

A TermModel specialization so serialization is done faster, based on string representations of the term. On the Prolog side a specification for this can be obtained with buildInitiallyFlatTermModel(T,M)

See Also:

Serialized Form

Field Summary

Fields inherited from class com.declarativa.interprolog.TermModel

children, listMaxLength, node, root

Constructor Summary

Constructors

Constructor and Description
InitiallyFlatTermModel()
InitiallyFlatTermModel(Object n) Variable names and their numbers - order of the first occurrence
InitiallyFlatTermModel(Object n, TermModel[] c, boolean isAList)

Method Summary

Modifier and Type	Method and Description
void	deflate() rebuilds field canonicalTerm and nullifies node and children, so that the term looses its tree and becomes ready for quicker serialization; unfortunately this method must be invoked explicitly...
static ObjectExamplePair	example()
String	getCanonicalTerm()
static TermModel[]	getTermList(File F) Get a TermModel array previously written by Prolog with ipPutTermList(L,FilePath)
boolean	isStillFlat()
String	toString() Returns a close imitation of a Prolog's write, following infix/prefix/postfix operartor declarations.

Methods inherited from class com.declarativa.interprolog.TermModel

addChildren, addTermModelListener, addTreeModelListener, assignTermChanges, assignToVar, clone, deleteChildren, deleteChildren, destroy, destroy, doubleQuotes, equals, findPathForNode, fireTermChanged, flatList, flatList, flatListToString, getChild, getChild, getChildCount, getChildCount, getChildren, getFunctorArity, getIndexOfChild, getRoot, getTemplate, hashCode, intValue, isAtom, isInteger, isLeaf, isLeaf, isList, isListEnd, isLong, isNumber, isRoot, isVar, listToString, longValue, makeIntegerVector, makeList, makeList, makeList, nodeIsVar, parenthesize, precedence, props2Hashtable, quoteIfFirstUpper, quotesAreNeeded, removeTermModelListener, removeTreeModelListener, setChild, setChildren, setNodeValue, setRoot, setRoot, toIndentedString, toIndentedString, toString, toString, toString, toString, unifies, valueForPathChanged, variant, variant

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

InitiallyFlatTermModel

public InitiallyFlatTermModel(Object n)

Variable names and their numbers - order of the first occurrence

InitiallyFlatTermModel

public InitiallyFlatTermModel()

InitiallyFlatTermModel

public InitiallyFlatTermModel(Object n,
                              TermModel[] c,
                              boolean isAList)

Method Detail

getTermList

public static TermModel[] getTermList(File F)

Get a TermModel array previously written by Prolog with ipPutTermList(L,FilePath)

deflate

public void deflate()

rebuilds field canonicalTerm and nullifies node and children, so that the term looses its tree and becomes ready for quicker serialization; unfortunately this method must be invoked explicitly... because writeObject can not do its job (in readObjects fashion, which fortunately dispenses an explicit call to inflate()...): it is messaged by the system after the object graph to be serialized is build... so writeObject can NOT nullify node and children temporarily :-( If you wish to keep the original term, reassign the term structure with setNode and setChildren AFTER the serialization

example

public static ObjectExamplePair example()

toString

public String toString()

Description copied from class: TermModel

Returns a close imitation of a Prolog's write, following infix/prefix/postfix operartor declarations. However it does NOT add the necessary parenthesis according to precedence declarations; if this is a problem use toString(true) instead

Overrides:

toString in class TermModel

isStillFlat

public boolean isStillFlat()

getCanonicalTerm

public String getCanonicalTerm()