jade.content.abs
Class AbsVariable

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

public class AbsVariable
extends AbsObjectImpl
implements AbsTerm

An abstract descriptor that can hold a variable expression, i.e. an entity that is not known yet.

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

Constructor Summary
AbsVariable()
          Construct an Abstract descriptor to hold a variable
AbsVariable(java.lang.String name, java.lang.String valueType)
          Construct an AbsVariable with the given name and value type
 
Method Summary
static java.lang.Class getJavaClass()
           
 java.lang.String getName()
          Gets the name of this variable.
 java.lang.String getType()
          Gets the value type of this variable.
 boolean isGrounded()
          Redefine the isGrounded() method in order to always return false.
 boolean isMetaTerm()
          Return true if this object represents a meta term (i.e. symbol ??
 void setIsMetaTerm(boolean isMeta)
          Sets the value of isMetaTerm, where the default is false.
 void setName(java.lang.String name)
          Sets the name of this variable.
 void setType(java.lang.String valueType)
          Sets the value type of this variable.
 
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

AbsVariable

public AbsVariable()
Construct an Abstract descriptor to hold a variable


AbsVariable

public AbsVariable(java.lang.String name,
                   java.lang.String valueType)
Construct an AbsVariable with the given name and value type

Parameters:
name - The name of the variable.
valueType - The type of values that can be assigned to this variable.
Method Detail

setName

public void setName(java.lang.String name)
Sets the name of this variable.

Parameters:
name - The new name of this variable.

setType

public void setType(java.lang.String valueType)
Sets the value type of this variable.

Parameters:
valueType - The type of values that can be assigned to this variable.

getName

public java.lang.String getName()
Gets the name of this variable.

Returns:
The name of this variable.

getType

public java.lang.String getType()
Gets the value type of this variable.

Returns:
The type of values that can be assigned to this variable.

isGrounded

public boolean isGrounded()
Redefine the isGrounded() method in order to always return false.

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()

isMetaTerm

public final boolean isMetaTerm()
Return true if this object represents a meta term (i.e. symbol ??x) rather than a concrete variable. This method is currently used only by the semantics framework.

Returns:
true if this object represents a meta term
Since:
JADE3.4

setIsMetaTerm

public final void setIsMetaTerm(boolean isMeta)
Sets the value of isMetaTerm, where the default is false. This method is currently used only by the semantics framework.

Since:
JADE3.4


JADE