1 19 package org.netbeans.api.java.classpath; 20 21 import java.util.EventObject ; 22 import java.util.Set ; 23 24 27 public final class GlobalPathRegistryEvent extends EventObject { 28 29 private final String id; 30 private final Set <ClassPath> changed; 31 32 GlobalPathRegistryEvent(GlobalPathRegistry r, String id, Set <ClassPath> changed) { 33 super(r); 34 assert id != null; 35 assert changed != null && !changed.isEmpty(); 36 this.id = id; 37 this.changed = changed; 38 } 39 40 44 public GlobalPathRegistry getRegistry() { 45 return (GlobalPathRegistry)getSource(); 46 } 47 48 52 public String getId() { 53 return id; 54 } 55 56 60 public Set <ClassPath> getChangedPaths() { 61 return changed; 62 } 63 64 } 65 | Popular Tags |