Package jadex.extension.agr
Class MAGRSpaceType
- java.lang.Object
-
- jadex.extension.agr.MAGRSpaceType
-
public class MAGRSpaceType extends java.lang.ObjectAn AGR space description.
-
-
Field Summary
Fields Modifier and Type Field Description protected java.lang.StringclassnameThe class name.protected java.util.ListgrouptypesThe grouptypes.protected java.lang.StringnameThe name.
-
Constructor Summary
Constructors Constructor Description MAGRSpaceType()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddMGroupType(MGroupType grouptype)Add a group type to this space type.java.lang.StringgetClassName()Get the classname.MGroupTypegetGroupType(java.lang.String name)Get a group type by name.MGroupType[]getMGroupTypes()Get the group types of this space type.java.lang.StringgetName()Get the name.voidremoveMGroupType(MGroupType grouptype)Remove a group type from this space type.voidsetClassName(java.lang.String classname)Set the classname.voidsetName(java.lang.String name)Set the name.java.lang.StringtoString()Get a string representation of this AGR space type.
-
-
-
Method Detail
-
getName
public java.lang.String getName()
Get the name.- Returns:
- The name.
-
setName
public void setName(java.lang.String name)
Set the name.- Parameters:
name- The name to set.
-
getClassName
public java.lang.String getClassName()
Get the classname.- Returns:
- the classname.
-
setClassName
public void setClassName(java.lang.String classname)
Set the classname.- Parameters:
classname- The classname to set.
-
getMGroupTypes
public MGroupType[] getMGroupTypes()
Get the group types of this space type.- Returns:
- An array of group types (if any).
-
addMGroupType
public void addMGroupType(MGroupType grouptype)
Add a group type to this space type.- Parameters:
grouptype- The group type to add.
-
removeMGroupType
public void removeMGroupType(MGroupType grouptype)
Remove a group type from this space type.- Parameters:
grouptype- The group type to remove.
-
getGroupType
public MGroupType getGroupType(java.lang.String name)
Get a group type by name.
-
toString
public java.lang.String toString()
Get a string representation of this AGR space type.- Overrides:
toStringin classjava.lang.Object- Returns:
- A string representation of this AGR space type.
-
-