public class Manual
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
static Manual |
EMPTY_MANUAL |
Constructor and Description |
---|
Manual(java.lang.String manualName,
java.net.URI uri) |
Modifier and Type | Method and Description |
---|---|
void |
addUsageProtocol(UsageProtocol p) |
java.lang.String |
getName() |
java.lang.String |
getSource() |
java.net.URI |
getURI() |
java.util.List<UsageProtocol> |
getUsageProtocols() |
static Manual |
parse(java.io.File file) |
static Manual |
parse(java.lang.String text) |
void |
setSource(java.lang.String src) |
public static final Manual EMPTY_MANUAL
public void setSource(java.lang.String src)
public void addUsageProtocol(UsageProtocol p)
public java.util.List<UsageProtocol> getUsageProtocols()
public java.lang.String getName()
public java.lang.String getSource()
public java.net.URI getURI()
public static Manual parse(java.io.File file) throws java.lang.Exception
java.lang.Exception
public static Manual parse(java.lang.String text) throws java.lang.Exception
java.lang.Exception
>DEIS - University of Bologna