public class OpId
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
AgentId |
getAgentBodyId()
Get the identifier of the agent performer of the operation
|
ArtifactId |
getArtifactId()
Get the id of the artifact where the operation has been executed
|
int |
getId()
Get the numeric identifier of the operation id
|
java.lang.String |
getOpName()
Get the operation name.
|
java.lang.String |
toString() |
public int getId()
public java.lang.String getOpName()
public ArtifactId getArtifactId()
public AgentId getAgentBodyId()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
>DEIS - University of Bologna