public class KeyDef
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
org.w3c.dom.Element |
element |
static java.lang.String |
ELEMENT_STUB |
java.lang.String |
format |
java.net.URI |
href |
java.lang.String |
keys
Space delimited list of key names
|
java.lang.String |
scope |
java.net.URI |
source |
Constructor and Description |
---|
KeyDef(java.lang.String keys,
java.net.URI href,
java.lang.String scope,
java.lang.String format,
java.net.URI source,
org.w3c.dom.Element element)
Construct new key definition.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
java.lang.String |
toString() |
static void |
writeKeydef(java.io.File keydefFile,
java.util.Collection<KeyDef> keydefs)
Write key definition XML configuration file
|
public static final java.lang.String ELEMENT_STUB
public final java.lang.String keys
public java.net.URI href
public final java.lang.String scope
public final java.net.URI source
public final org.w3c.dom.Element element
public final java.lang.String format
public KeyDef(java.lang.String keys, java.net.URI href, java.lang.String scope, java.lang.String format, java.net.URI source, org.w3c.dom.Element element)
keys
- key namehref
- href URI, may be null
scope
- link scope, may be null
source
- key definition source, may be null
public java.lang.String toString()
toString
in class java.lang.Object
public static void writeKeydef(java.io.File keydefFile, java.util.Collection<KeyDef> keydefs) throws DITAOTException
keydefFile
- key definition filekeydefs
- list of key definitionsDITAOTException
- if writing configuration file failedpublic int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object