RefreshRequest (Manifold :: Core 2026.1.6 API)

java.lang.Object
- manifold.api.host.RefreshRequest

public class RefreshRequest
extends Object

Field Summary

Fields
Modifier and Type Field Description

IFile file

RefreshKind kind

IModule module

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

All Methods Instance Methods Concrete Methods
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 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