manifold.api.host

Class RefreshRequest

java.lang.Object

manifold.api.host.RefreshRequest

public class RefreshRequest
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

file

public final IFile file

module

public final IModule module

kind

public final RefreshKind kind

types

public final String[] types

Constructor Detail

RefreshRequest

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

RefreshRequest

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

Method Detail

toString

public String toString()

Overrides:

toString in class Object