1 19 20 package org.netbeans.editor.ext.html.dtd; 21 22 import java.util.Set ; 23 import java.util.Iterator ; 24 25 30 public class InvalidateEvent { 31 32 private Set identifiers; 33 34 36 public InvalidateEvent( Set identifiers ) { 37 this.identifiers = identifiers; 38 } 39 40 43 public Iterator getIdentifierIterator() { 44 return identifiers.iterator(); 45 } 46 47 49 public boolean isInvalidatedIdentifier( String identifier ) { 50 return identifiers.contains( identifier ); 51 } 52 } 53 | Popular Tags |