Package pro.gravit.launcher.events.request

Class UpdateListRequestEvent

java.lang.Object

pro.gravit.launcher.events.RequestEvent

pro.gravit.launcher.events.request.UpdateListRequestEvent

All Implemented Interfaces:

WebSocketEvent, pro.gravit.utils.TypeSerializeInterface

public class UpdateListRequestEvent
extends RequestEvent

Field Summary

Fields

Modifier and Type	Field	Description
final HashSet<String>	dirs

Fields inherited from class pro.gravit.launcher.events.RequestEvent

eventUUID, requestUUID

Constructor Summary

Constructors

Constructor	Description
UpdateListRequestEvent(HashSet<String> dirs)

Method Summary

Modifier and Type	Method	Description
String	getType()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

dirs

public final HashSet<String> dirs

Constructor Details

UpdateListRequestEvent

public UpdateListRequestEvent(HashSet<String> dirs)

Method Details

getType

public String getType()