Package gw.lang.reflect
Class RefreshRequest
- java.lang.Object
-
- gw.lang.reflect.RefreshRequest
-
public class RefreshRequest extends Object
-
-
Field Summary
Fields Modifier and Type Field Description IFile
file
RefreshKind
kind
IModule
module
ITypeLoader
typeLoader
String[]
types
-
Constructor Summary
Constructors Constructor Description RefreshRequest(IFile file, String[] types, ITypeLoader typeLoader, RefreshKind kind)
RefreshRequest(IFile file, String[] types, IModule module, ITypeLoader typeLoader, RefreshKind kind)
RefreshRequest(IFile file, String[] types, IModule module, RefreshKind kind)
RefreshRequest(String[] allTypes, RefreshRequest request, ITypeLoader typeLoader)
-
-
-
Field Detail
-
file
public final IFile file
-
module
public final IModule module
-
typeLoader
public final ITypeLoader typeLoader
-
kind
public final RefreshKind kind
-
types
public final String[] types
-
-
Constructor Detail
-
RefreshRequest
public RefreshRequest(IFile file, String[] types, IModule module, ITypeLoader typeLoader, RefreshKind kind)
-
RefreshRequest
public RefreshRequest(IFile file, String[] types, ITypeLoader typeLoader, RefreshKind kind)
-
RefreshRequest
public RefreshRequest(String[] allTypes, RefreshRequest request, ITypeLoader typeLoader)
-
RefreshRequest
public RefreshRequest(IFile file, String[] types, IModule module, RefreshKind kind)
-
-