Uses of Class
cartago.Manual

Uses of Manual in cartago
 

Fields in cartago declared as Manual
static Manual Manual.EMPTY_MANUAL
           
 

Methods in cartago that return Manual
 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)
           
 

Methods in cartago with parameters of type Manual
 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)
           
 

Constructors in cartago with parameters of type Manual
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