Modifier and Type | Field and Description |
---|---|
static Manual |
Manual.EMPTY_MANUAL |
Modifier and Type | Method and Description |
---|---|
Manual |
IArtifactAdapter.getManual()
Get the artifact manual
|
Manual |
ArtifactInfo.getManual() |
Manual |
WorkspaceKernel.getManual(AgentId userId,
java.lang.String manualName) |
static Manual |
Manual.parse(java.io.File file) |
static Manual |
Manual.parse(java.lang.String text) |
Manual |
WorkspaceKernel.registerManual(java.lang.String artifactType,
java.lang.String uri,
java.lang.String src) |
Modifier and Type | Method and Description |
---|---|
cartago.events.ConsultManualSucceededEvent |
EventRegistry.makeConsultManualSucceededEvent(long actionId,
ArtifactId aid,
Op op,
Manual man) |
void |
WorkspaceKernel.notifyConsultManualCompleted(ICartagoCallback listener,
long actionId,
ArtifactId aid,
Op op,
Manual man) |
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