public class ValidationJobScheduler extends java.lang.Object implements IValidationJobScheduler
validation job scheduler
.
It will put a validation job into the job queue if the resource in newly opened has
a known reference to a currently dirty resource in another editor.
This implementation can be easily specialized by overriding isDirty(URI)
or
the more coarse template method doScheduleInitialValidation(XtextDocument)
.Constructor and Description |
---|
ValidationJobScheduler() |
Modifier and Type | Method and Description |
---|---|
protected void |
doScheduleInitialValidation(XtextDocument document) |
protected DescriptionUtils |
getDescriptionUtils() |
protected IDirtyStateManager |
getDirtyStateManager() |
protected IResourceDescriptions |
getResourceDescriptions() |
protected boolean |
isDirty(org.eclipse.emf.common.util.URI uri) |
void |
scheduleInitialValidation(IXtextDocument document)
Optionally triggers the validation on the given
document |
void |
setBuilderStateProvider(com.google.inject.Provider<IResourceDescriptions> provider) |
void |
setDescriptionUtils(DescriptionUtils descriptionUtils) |
void |
setDirtyStateManager(IDirtyStateManager dirtyStateManager) |
void |
setResourceDescriptionManager(IResourceDescription.Manager resourceDescriptionManager) |
void |
setResourceDescriptions(IResourceDescriptions resourceDescriptions) |
public void scheduleInitialValidation(IXtextDocument document)
IValidationJobScheduler
document
scheduleInitialValidation
in interface IValidationJobScheduler
protected void doScheduleInitialValidation(XtextDocument document)
protected boolean isDirty(org.eclipse.emf.common.util.URI uri)
protected IDirtyStateManager getDirtyStateManager()
public void setDirtyStateManager(IDirtyStateManager dirtyStateManager)
protected IResourceDescriptions getResourceDescriptions()
public void setResourceDescriptions(IResourceDescriptions resourceDescriptions)
protected DescriptionUtils getDescriptionUtils()
public void setDescriptionUtils(DescriptionUtils descriptionUtils)
public void setBuilderStateProvider(com.google.inject.Provider<IResourceDescriptions> provider)
public void setResourceDescriptionManager(IResourceDescription.Manager resourceDescriptionManager)