cartago
Class ManRepoArtifact

java.lang.Object
  extended by cartago.Artifact
      extended by cartago.ManRepoArtifact

public class ManRepoArtifact
extends Artifact

Artifact providing basic functionalities to access and manage manuals.

Author:
aricci

Nested Class Summary
 
Nested classes/interfaces inherited from class cartago.Artifact
Artifact.AbstractAsyncProcess
 
Field Summary
 
Fields inherited from class cartago.Artifact
observabilityRadius, position, thisOpId
 
Constructor Summary
ManRepoArtifact()
           
 
Method Summary
 
Methods inherited from class cartago.Artifact
await_time, await, await, commit, defineObsProperty, defineOp, delay, dispose, dispose, execInternalOp, execLinkedOp, execLinkedOp, failed, failed, getCreatorId, getId, getManualSrcFile, getObservabilityRadius, getObsProperty, getObsPropertyByTemplate, getOpKey, getOpUserBody, getOpUserId, getOpUserName, getPosition, hasObsProperty, hasObsPropertyByTemplate, isLinked, log, lookupArtifact, makeArtifact, removeObsProperty, removeObsPropertyByTemplate, setupOperations, setupPosition, signal, signal, updateObservabilityRadius, updateObsProperty, updatePosition
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ManRepoArtifact

public ManRepoArtifact()


>DEIS - University of Bologna