public class ArtifactInfo
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
ArtifactInfo(AgentId creatorId,
ArtifactId id,
java.util.List<OpDescriptor> operations,
java.util.List<ArtifactObsProperty> obsProperties,
java.util.List<OperationInfo> ongoingOp,
Manual manual) |
Modifier and Type | Method and Description |
---|---|
AgentId |
getCreatorId() |
ArtifactId |
getId() |
Manual |
getManual() |
java.util.List<ArtifactObsProperty> |
getObsProperties() |
java.util.List<OperationInfo> |
getOngoingOp() |
java.util.List<OpDescriptor> |
getOperations() |
public ArtifactInfo(AgentId creatorId, ArtifactId id, java.util.List<OpDescriptor> operations, java.util.List<ArtifactObsProperty> obsProperties, java.util.List<OperationInfo> ongoingOp, Manual manual)
public AgentId getCreatorId()
public ArtifactId getId()
public java.util.List<OpDescriptor> getOperations()
public java.util.List<ArtifactObsProperty> getObsProperties()
public java.util.List<OperationInfo> getOngoingOp()
public Manual getManual()
>DEIS - University of Bologna