lij.model
Class Role

java.lang.Object
  extended by lij.model.Role

public class Role
extends java.lang.Object

This class provides the definition of a role as specified in an IM.

Author:
Nikolaos Chatzinikolaou

Field Summary
private  java.lang.String kind
           
static java.lang.String KIND_AUXILIARY
           
static java.lang.String KIND_CYCLIC
           
static java.lang.String KIND_INITIAL
           
static java.lang.String KIND_NECESSARY
           
static java.lang.String KIND_OPTIONAL
           
static java.lang.String KIND_UNCOMMITTED
           
private  int max
           
private  int min
           
private  Term type
           
 
Constructor Summary
Role(Term _type, java.lang.String _kind, int _min, int _max)
          Constructor.
 
Method Summary
 java.lang.String getKind()
          Accessor.
 int getMax()
          Accessor.
 int getMin()
          Accessor.
 Term getType()
          Accessor.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

KIND_INITIAL

public static final java.lang.String KIND_INITIAL
See Also:
Constant Field Values

KIND_NECESSARY

public static final java.lang.String KIND_NECESSARY
See Also:
Constant Field Values

KIND_OPTIONAL

public static final java.lang.String KIND_OPTIONAL
See Also:
Constant Field Values

KIND_AUXILIARY

public static final java.lang.String KIND_AUXILIARY
See Also:
Constant Field Values

KIND_CYCLIC

public static final java.lang.String KIND_CYCLIC
See Also:
Constant Field Values

KIND_UNCOMMITTED

public static final java.lang.String KIND_UNCOMMITTED
See Also:
Constant Field Values

type

private Term type

kind

private java.lang.String kind

min

private int min

max

private int max
Constructor Detail

Role

public Role(Term _type,
            java.lang.String _kind,
            int _min,
            int _max)
Constructor.

Parameters:
_type - The type of the Role.
_kind - The "kind" of the role (i.e. initial, necessary etc).
_min - The minimum number of agents specified in the role declaration.
_max - The maximum number of agents specified in the role declaration.
Method Detail

getType

public Term getType()
Accessor.

Returns:
The type of the Role.

getKind

public java.lang.String getKind()
Accessor.

Returns:
The "kind" of the role (i.e. initial, necessary etc).

getMin

public int getMin()
Accessor.

Returns:
The minimum number of agents specified in the role declaration.

getMax

public int getMax()
Accessor.

Returns:
The maximum number of agents specified in the role declaration.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object