public class ValidationJobScheduler extends 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)
IValidationJobSchedulerdocumentscheduleInitialValidation in interface IValidationJobSchedulerprotected 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)
Copyright © 2016. All Rights Reserved.