jade.content.abs
Class AbsIRE

java.lang.Object
  |
  +--jade.content.abs.AbsObjectImpl
        |
        +--jade.content.abs.AbsIRE

public class AbsIRE
extends AbsObjectImpl
implements AbsContentElement, AbsTerm

Represent an Abstract descriptor that can hold an Identifying Referential Expression (IRE). Note that an IRE is both a content element (as in the case of a QUERY-REF communicative act) and a Term (as in the case of (== (X) (iota ?x P(?x))

Author:
Paola Turci, Federico Bergenti - Universita` di Parma
See Also:
Serialized Form

Constructor Summary
AbsIRE(java.lang.String typeName)
          Construct an Abstract descriptor to hold a IRE of the proper type (e.g.
 
Method Summary
static java.lang.Class getJavaClass()
           
 AbsPredicate getProposition()
          Gets the proposition of this IRE.
 AbsVariable getVariable()
          Gets the variable of this IRE.
 boolean isGrounded()
          Redefine the isGrounded() method in order to always return false.
 void setProposition(AbsPredicate proposition)
          Sets the proposition of this IRE.
 void setVariable(AbsVariable variable)
          Sets the variable of this IRE.
 
Methods inherited from class jade.content.abs.AbsObjectImpl
equals, getAbsObject, getCount, getNames, getTypeName, hashCode, set, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AbsIRE

public AbsIRE(java.lang.String typeName)
Construct an Abstract descriptor to hold a IRE of the proper type (e.g. ANY, IOTA, ALL...).
Parameters:
typeName - The name of the type of the IRE held by this abstract descriptor.
Method Detail

setVariable

public void setVariable(AbsVariable variable)
Sets the variable of this IRE.
Parameters:
variable - The abstract descriptor holding the variable.

setProposition

public void setProposition(AbsPredicate proposition)
Sets the proposition of this IRE.
Parameters:
proposition - The abstract descriptor holding the proposition.

getVariable

public AbsVariable getVariable()
Gets the variable of this IRE.
Returns:
the abstract descriptor holding the variable of this IRE.

getProposition

public AbsPredicate getProposition()
Gets the proposition of this IRE.
Returns:
the abstract descriptor holding the proposition of this IRE.

isGrounded

public boolean isGrounded()
Redefine the isGrounded() method in order to always return false. Infact an IRE always includes a variable.
Overrides:
isGrounded in class AbsObjectImpl
Tags copied from interface: AbsObject
Returns:
true if the object is grounded.

getJavaClass

public static java.lang.Class getJavaClass()