Java 类org.bukkit.event.player.PlayerUnregisterChannelEvent 实例源码

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}

public void removeChannel(String channel) {
    if (channels.remove(channel)) {
        server.getPluginManager().callEvent(new PlayerUnregisterChannelEvent(this, channel));
    }
}