aminePlatform.util
Interface AmineObject

All Superinterfaces:
ToString
All Known Implementing Classes:
AmineList, AmineSet, CG, ComposedType, Concept, Relation, Term, Variable, VarListConstructor

public interface AmineObject
extends ToString

Title : util.AmineObject interface

Description : AmineObject interface specifies some operations that are common to Amine objects. The interface is implemented by Amine structures (AmineList, AmineSet, Term, Concept, Relation and CG) and of course any Java class can implement it and becomes a full Amine structure. The specification of most of the operations considers the presence of variables and the binding relation between variables and values. Copyright: Copyright (c) Adil KABBAJ, 2004-2009


Method Summary
 void clear()
          Clear the content of the object
 java.lang.Object clone()
          Return a clone of the object without considering binding context and resolution.
 java.lang.Object clone(BindingContext bindContext, java.lang.Object bindInf)
          Clone the object, taking into account the presence of variable and the binding context and resolution.
 void finalize()
          Finalize the object
 void getVariables(java.util.ArrayList varsIdent)
          This method adds in the specified varsIdent all the variables used in the object.
 java.lang.String toString(BindingContext bindContext, java.lang.Object bindInf, Lexicon lexicon)
          Return the textual formulation of an object, taking into account the presence of variable and the binding context and resolution.
 
Methods inherited from interface aminePlatform.kernel.lexicons.ToString
toString
 

Method Detail

clear

public void clear()
Clear the content of the object


finalize

public void finalize()
Finalize the object


toString

public java.lang.String toString(BindingContext bindContext,
                                 java.lang.Object bindInf,
                                 Lexicon lexicon)
                          throws ToStringException
Return the textual formulation of an object, taking into account the presence of variable and the binding context and resolution.

Parameters:
bindContext - The Binding context
bindInf - The binding information related to the binding context and to the current object
lexicon - The lexicon to use during the textual formulation of the current object
Returns:
a String that represents the textual formulation of the current object.
Throws:
ToStringException - if an error occurs during the textual formulation of the current object.

clone

public java.lang.Object clone(BindingContext bindContext,
                              java.lang.Object bindInf)
Clone the object, taking into account the presence of variable and the binding context and resolution.

Parameters:
bindContext - The Binding context
bindInf - The binding information related to the binding context and to the object
Returns:
A Clone of the object

clone

public java.lang.Object clone()
Return a clone of the object without considering binding context and resolution.

Returns:
a clone of the object without considering binding context and resolution.

getVariables

public void getVariables(java.util.ArrayList varsIdent)
This method adds in the specified varsIdent all the variables used in the object. This method is used for instance by the Prolog+CG interpreter.

Parameters:
varsIdent - : an ArrayList of Variable objects