org.netbeans.api.java.classpath.GlobalPathRegistryEvent Maven / Gradle / Ivy
The newest version!
/*
* Licensed to the Apache Software Foundation (ASF) under one
* or more contributor license agreements. See the NOTICE file
* distributed with this work for additional information
* regarding copyright ownership. The ASF licenses this file
* to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance
* with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
* KIND, either express or implied. See the License for the
* specific language governing permissions and limitations
* under the License.
*/
package org.netbeans.api.java.classpath;
import java.util.EventObject;
import java.util.Set;
/**
* Event object giving details of a change in the path registry.
*/
public final class GlobalPathRegistryEvent extends EventObject {
private final String id;
private final Set changed;
GlobalPathRegistryEvent(GlobalPathRegistry r, String id, Set changed) {
super(r);
assert id != null;
assert changed != null && !changed.isEmpty();
this.id = id;
this.changed = changed;
}
/**
* Get the affected registry.
* @return the registry
*/
public GlobalPathRegistry getRegistry() {
return (GlobalPathRegistry)getSource();
}
/**
* Get the type of classpaths that were added or removed.
* @return the type, e.g. {@link ClassPath#SOURCE}
*/
public String getId() {
return id;
}
/**
* Get a set of classpaths that were added or removed.
* @return an immutable and nonempty set of {@link ClassPath}s of the given type
*/
public Set getChangedPaths() {
return changed;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy