Package manifold.api.host

Class RefreshRequest

java.lang.Object

manifold.api.host.RefreshRequest

public class RefreshRequest
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final IFile	file
final RefreshKind	kind
final IModule	module
final String[]	types

Constructor Summary

Constructors

Constructor	Description
RefreshRequest(String[] allTypes, RefreshRequest request, IModule module)
RefreshRequest(IFile file, String[] types, IModule module, RefreshKind kind)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

file

public final IFile file

module

public final IModule module

kind

public final RefreshKind kind

types

public final String[] types

Constructor Details

RefreshRequest

public RefreshRequest(IFile file,
 String[] types,
 IModule module,
 RefreshKind kind)

RefreshRequest

public RefreshRequest(String[] allTypes,
 RefreshRequest request,
 IModule module)

Method Details

toString

public String toString()

Overrides:

toString in class Object