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 and Description
java.util.HashSet<java.lang.String>	dirs

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

requestUUID

Constructor Summary

Constructors

Constructor and Description
UpdateListRequestEvent(java.util.HashSet<java.lang.String> dirs)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getType()

Methods inherited from class java.lang.Object

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

Field Detail

dirs

public final java.util.HashSet<java.lang.String> dirs

Constructor Detail

UpdateListRequestEvent

public UpdateListRequestEvent(java.util.HashSet<java.lang.String> dirs)

Method Detail

getType

public java.lang.String getType()