public class Notation extends Object
| Constructor and Description |
|---|
Notation(DTDdocument document,
String name)
Constructor, setting name and owning DTD document of the notation.
|
| Modifier and Type | Method and Description |
|---|---|
DTDdocument |
getDocument()
Returns DTD document owning this notation.
|
String |
getName()
Returns the name of the notation.
|
String |
getPubIdentifier()
Returns public identifier.
|
String |
getSysIdentifier()
Returns system identifier.
|
boolean |
isPublic()
True if PUBLIC notation, false otherwise.
|
boolean |
isSystem()
True if SYSTEM notation, false otherwise.
|
void |
setPublic(String pubId,
String sysId)
Sets the notation to PUBLIC.
|
void |
setSystem(String sysId)
Sets the notation to SYSTEM.
|
public Notation(DTDdocument document, String name)
document - must not be null.name - must not be null or equal to empty String.public String getName()
public DTDdocument getDocument()
public void setPublic(String pubId, String sysId)
pubId - public identifier - must not be null.sysId - system identifier - must not be null.public boolean isPublic()
public void setSystem(String sysId)
sysId - system identifier - must not be null.public boolean isSystem()
public String getPubIdentifier()
public String getSysIdentifier()
Copyright © 2021. All rights reserved.