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