Modifier and Type | Method and Description |
---|---|
java.util.List<OpDescriptor> |
IArtifactAdapter.getOperations()
Get the operations
|
java.util.List<OpDescriptor> |
ArtifactInfo.getOperations() |
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) |
>DEIS - University of Bologna