jade.content.abs
Class AbsIRE

java.lang.Object
  |
  +--jade.content.abs.AbsObjectImpl
        |
        +--jade.content.abs.AbsIRE
All Implemented Interfaces:
AbsContentElement, AbsObject, AbsTerm, ContentElement, java.io.Serializable, Serializable, Term

public class AbsIRE
extends AbsObjectImpl
implements AbsContentElement, AbsTerm

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.
 AbsTerm getTerm()
          Gets the variable term of this IRE.
 AbsVariable getVariable()
          Gets the variable of this IRE.
 AbsAggregate getVariables()
          Gets the sequence of variables of this IRE.
 boolean isAContentExpression()
          Return true if this Abstract Content Element represents a ContentExpression of the SL Grammar (see also FIPA-SL specifications).
 boolean isGrounded()
          Redefine the isGrounded() method in order to always return false.
 void setIsAContentExpression(boolean flag)
          Set the isAContentExpression flag to the passed value.
 void setProposition(AbsPredicate proposition)
          Sets the proposition of this IRE.
 void setTerm(AbsTerm t)
          Sets the variable term of this IRE.
 void setVariable(AbsVariable variable)
          Sets the variable of this IRE.
 void setVariables(AbsAggregate variables)
          Sets the sequence of variables 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
 
Methods inherited from interface jade.content.abs.AbsObject
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.

setVariables

public void setVariables(AbsAggregate variables)
Sets the sequence of variables of this IRE.

Parameters:
variables - The abstract descriptor holding the sequence of variables.

setTerm

public void setTerm(AbsTerm t)
Sets the variable term of this IRE.

Parameters:
t - The abstract descriptor holding the variable or sequence of variables.

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.

getVariables

public AbsAggregate getVariables()
Gets the sequence of variables of this IRE.

Returns:
the abstract descriptor holding the sequence of variables of this IRE.

getTerm

public AbsTerm getTerm()
Gets the variable term of this IRE.

Returns:
the abstract descriptor holding the variable term 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.

getJavaClass

public static java.lang.Class getJavaClass()

isAContentExpression

public boolean isAContentExpression()
Description copied from interface: AbsContentElement
Return true if this Abstract Content Element represents a ContentExpression of the SL Grammar (see also FIPA-SL specifications).

Specified by:
isAContentExpression in interface AbsContentElement
Returns:
true if this Abstract Content Element represents a ContentExpression of the SL Grammar (see also FIPA-SL specifications), false otherwise
See Also:
AbsContent.isAContentExpression

setIsAContentExpression

public void setIsAContentExpression(boolean flag)
Description copied from interface: AbsContentElement
Set the isAContentExpression flag to the passed value. By default, if this method was not called, this value is intialized to false.

Specified by:
setIsAContentExpression in interface AbsContentElement
Parameters:
flag - true if this Abstract Content Element represents a ContentExpression of the SL Grammar (see also FIPA-SL specifications), false otherwise
See Also:
AbsContent.setIsAContentExpression(boolean flag)


JADE