Package jade.content.abs

Class AbsIRE

java.lang.Object

jade.content.abs.AbsObjectImpl

jade.content.abs.AbsIRE

All Implemented Interfaces:

AbsContentElement, AbsObject, AbsTerm, ContentElement, Term, Serializable, Serializable

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

Field Summary

Fields inherited from interface jade.content.abs.AbsObject

ABS_AGENT_ACTION, ABS_AGGREGATE, ABS_CONCEPT, ABS_CONCEPT_SLOT_FUNCTION, ABS_CONTENT_ELEMENT_LIST, ABS_IRE, ABS_PREDICATE, ABS_PRIMITIVE, ABS_REFERENCE, ABS_VARIABLE, UNKNOWN

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
int	getAbsType()
static 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, getAbsObject, getCount, getNames, getTypeName, getValues, 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(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.

See Also:

AbsObject.isGrounded()

getJavaClass

public static 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

getAbsType

public int getAbsType()

Specified by:

getAbsType in interface AbsObject

Overrides:

getAbsType in class AbsObjectImpl