|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.petrinet.cpnexport.HLImplementation.HLGroup
public class HLGroup
Represents a group, or organizational unit.
It is assumed that at least one resource is associated to a group.
Constructor Summary | |
---|---|
HLGroup(java.lang.String name)
Constructor. |
|
HLGroup(java.lang.String name,
java.util.Set<HighLevelResource> resources)
Constructor for creating a group with a name and a set of resources |
Method Summary | |
---|---|
boolean |
addResource(HighLevelResource resource)
Adds the given resource to the list of resources that belong to this group, or organizational unit. |
java.lang.Object |
clone()
Makes a shalow copy of this object. |
boolean |
equals(java.lang.Object obj)
Compares the specified object with this HighLevelGroup for equality. |
boolean |
equalsName(java.lang.Object obj)
Compares the specified object with this HighLevelGroup for equality only on the name of a HighLevelGroup. |
java.lang.String |
getName()
Retrives the name of this group or organizational unit. |
java.util.Set<HighLevelResource> |
getResources()
Retrieves all the resources that are associated to this group. |
int |
hashCode()
Returns the hascode for a HighLevelGroup object. |
boolean |
isInGroup(HighLevelResource resource)
|
void |
removeAllResources()
Remove all the resources in the group |
boolean |
removeResource(HighLevelResource resource)
Removes the given resource from the list of resources that belong to this group. |
void |
setName(java.lang.String name)
Sets the name for this group. |
java.lang.String |
toString()
|
void |
writeDistributionToDot(java.lang.String boxId,
java.lang.String nodeId,
java.lang.String addText,
java.io.Writer bw)
Writes the highlevel group to dot. |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public HLGroup(java.lang.String name)
name
- the name of the grouppublic HLGroup(java.lang.String name, java.util.Set<HighLevelResource> resources)
name
- String the name of the groupresources
- HashSet the set of the resources for the groupMethod Detail |
---|
public void setName(java.lang.String name)
setName
in interface HighLevelGroup
name
- String the namepublic java.lang.String getName()
HighLevelGroup
getName
in interface HighLevelGroup
public boolean addResource(HighLevelResource resource)
HighLevelGroup
addResource
in interface HighLevelGroup
resource
- the resource to be addedpublic boolean removeResource(HighLevelResource resource)
HighLevelGroup
removeResource
in interface HighLevelGroup
resource
- Resource the resource that has to be removed from this group
True
if there has been a resource with the same name in this
group and that is has been removed correctly. False
otherwise (method call had no effect)public void removeAllResources()
public java.util.Set<HighLevelResource> getResources()
HighLevelGroup
getResources
in interface HighLevelGroup
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equalsName(java.lang.Object obj)
HighLevelGroup
equalsName
in interface HighLevelGroup
public boolean equals(java.lang.Object obj)
equals
in interface HighLevelGroup
equals
in class java.lang.Object
o
- Object object to be compared for equality with this HighLevelGroup.
true
if both HighLevelGroups have the same name and the same
set of resources.public int hashCode()
HighLevelGroup
hashCode
in interface HighLevelGroup
hashCode
in class java.lang.Object
public java.lang.Object clone()
clone
in class java.lang.Object
public boolean isInGroup(HighLevelResource resource)
public void writeDistributionToDot(java.lang.String boxId, java.lang.String nodeId, java.lang.String addText, java.io.Writer bw) throws java.io.IOException
HighLevelGroup
writeDistributionToDot
in interface HighLevelGroup
boxId
- the identifier of the box (in the DOT file) in which the relevant information of the highlevel group
will be written.nodeId
- the identifier of the node (in the DOT file) to which the box that will be created has to be connected.
""
has to be provided if the box that will be created does not need to be connected to another node in the DOT file.addText
- additional text that needs to be filled in at the beginning of the boxbw
- Writer the BufferedWriter used to stream the data to the file
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |