Package jadex.extension.agr

Class MAGRSpaceInstance

  • All Implemented Interfaces:
    IExtensionInfo
    public class MAGRSpaceInstance
extends java.lang.Object
implements IExtensionInfo
    An instance of an AGR space.

    • Field Detail

      • name

        protected java.lang.String name
        The name.

      • type

        protected java.lang.String type
        The space type name.

      • spacetype

        protected MAGRSpaceType spacetype
        The space type (resolved during loading).

      • groups

        protected java.util.List groups
        The groups.

    • Constructor Detail

      • MAGRSpaceInstance

        public MAGRSpaceInstance()

    • Method Detail

      • createInstance

        public IFuture createInstance​(IExternalAccess access,
                              IValueFetcher fetcher)
        Instantiate the extension for a specific component instance.
        Specified by:
        createInstance in interface IExtensionInfo
        Parameters:
        access - The external access of the component.
        fetcher - The value fetcher of the component to be used for evaluating dynamic expressions.
        Returns:
        The extension instance object.

      • getName

        public java.lang.String getName()
        Get the name.
        Specified by:
        getName in interface IExtensionInfo
        Returns:
        The name.

      • setName

        public void setName​(java.lang.String name)
        Set the name.
        Parameters:
        name - The name to set.

      • getTypeName

        public java.lang.String getTypeName()
        Get the type name.
        Returns:
        The type name.

      • setTypeName

        public void setTypeName​(java.lang.String type)
        Set the type name.
        Parameters:
        type - The type name to set.

      • getType

        public MAGRSpaceType getType()
        Get the type of this element.
        Returns:
        The structure type.

      • setType

        public void setType​(MAGRSpaceType spacetype)
        Set the type of this element.

      • getMGroupInstances

        public MGroupInstance[] getMGroupInstances()
        Get the groups of this space.
        Returns:
        An array of groups (if any).

      • addMGroupInstance

        public void addMGroupInstance​(MGroupInstance group)
        Add a group to this space.
        Parameters:
        group - The group to add.

      • getMGroupInstance

        public MGroupInstance getMGroupInstance​(java.lang.String name)
        Get a group per name.
        Parameters:
        name - The name.
        Returns:
        The group.

      • toString

        public java.lang.String toString()
        Get a string representation of this AGR space instance.
        Overrides:
        toString in class java.lang.Object
        Returns:
        A string representation of this AGR space instance.