| |
|
| java.lang.Object org.netbeans.editor.ext.html.dtd.InvalidateEvent
InvalidateEvent | public class InvalidateEvent (Code) | | The event fired to all registered interfaces when some DTD is invalidated.
author: Petr Nejedly version: 1.0 |
InvalidateEvent | public InvalidateEvent(Set identifiers)(Code) | | Create new InvalidateEvent for given Set of instances of String
representing public identifiers of DTDs to invalidate
|
getIdentifierIterator | public Iterator getIdentifierIterator()(Code) | | Get the iterator of instances of String representing public identifiers
of the invalidated DTDs. Usable for classes holding more DTDs.
|
isInvalidatedIdentifier | public boolean isInvalidatedIdentifier(String identifier)(Code) | | Test if given public identifier is invalidated by this event. Usable for
classes holding only one DTD.
|
|
|
|