class ProjectTracker
extends java.lang.Object
implements java.lang.AutoCloseable
| Modifier and Type | Field and Description |
|---|---|
private boolean |
changed |
private java.util.Map<java.lang.String,Project> |
models |
private Workspace |
workspace |
| Constructor and Description |
|---|
ProjectTracker(Workspace workspace) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
(package private) java.util.Set<Project> |
getAllProjects() |
(package private) java.util.Optional<Project> |
getProject(java.lang.String name) |
(package private) void |
refresh() |
private void |
update() |