public class RefreshRequest extends Object
| Modifier and Type | Field and Description |
|---|---|
IFile |
file |
RefreshKind |
kind |
IModule |
module |
ITypeLoader |
typeLoader |
String[] |
types |
| Constructor and Description |
|---|
RefreshRequest(IFile file,
String[] types,
IModule module,
ITypeLoader typeLoader,
RefreshKind kind) |
RefreshRequest(IFile file,
String[] types,
IModule module,
RefreshKind kind) |
RefreshRequest(IFile file,
String[] types,
ITypeLoader typeLoader,
RefreshKind kind) |
RefreshRequest(String[] allTypes,
RefreshRequest request,
ITypeLoader typeLoader) |
public final IFile file
public final IModule module
public final ITypeLoader typeLoader
public final RefreshKind kind
public final String[] types
public RefreshRequest(IFile file, String[] types, IModule module, ITypeLoader typeLoader, RefreshKind kind)
public RefreshRequest(IFile file, String[] types, ITypeLoader typeLoader, RefreshKind kind)
public RefreshRequest(String[] allTypes, RefreshRequest request, ITypeLoader typeLoader)
public RefreshRequest(IFile file, String[] types, IModule module, RefreshKind kind)
Copyright © 2018. All rights reserved.