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.