JADE_SL.abs
Class AbsIRE

java.lang.Object
  JADE_SL.abs.AbsObjectImpl
      JADE_SL.abs.AbsIRE

All Implemented Interfaces:

AbsContentElement, AbsObject, AbsTerm

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

Field Summary

Fields inherited from class JADE_SL.abs.AbsObjectImpl

Constructor Summary

AbsIRE(java.lang.String typeName)
Construct an Abstract descriptor to hold a IRE of the proper type (e.g.

Method Summary

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_SL.abs.AbsObjectImpl

dump, dump, getAbsObject, getCount, getNameEnumeration, getNames, getTypeName, set, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface JADE_SL.abs.AbsObject

dump, getAbsObject, getCount, getNames, getTypeName

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.

Specified by:

isGrounded in interface AbsObject

Overrides:

isGrounded in class AbsObjectImpl

Returns:

true if the object is grounded.

See Also:

AbsObject.isGrounded()