Java Code Examples for org.eclipse.xtext.validation.CheckMode#ALL

The following examples show how to use org.eclipse.xtext.validation.CheckMode#ALL . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: ErrorToDiagnoticTranslator.java    From gama with GNU General Public License v3.0 5 votes vote down vote up 
private CheckType getType(final CheckMode mode) {
	if (mode == CheckMode.FAST_ONLY) {
		return CheckType.FAST;
	} else if (mode == CheckMode.EXPENSIVE_ONLY) {
		return CheckType.EXPENSIVE;
	} else if (mode == CheckMode.ALL) {
		return CheckType.FAST;
	} else if (mode == CheckMode.NORMAL_AND_FAST) {
		return CheckType.FAST;
	} else if (mode == CheckMode.NORMAL_ONLY) {
		return CheckType.NORMAL;
	} else {
		return CheckType.FAST;
	}
}
Example 2
Source File: CheckMarkerUpdateJob.java    From dsl-devkit with Eclipse Public License 1.0 3 votes vote down vote up 
/**
 * Instantiates a new marker update job in which all sources identified by given
 * set of URIs are validated.
 *
 * @param name
 *          the name of the job, must not be {@code null}
 * @param uris
 *          the set of URIs to be validated, must not be {@code null}
 */
public CheckMarkerUpdateJob(final String name, final Set<URI> uris) {
  super(name);

  this.serviceProviderRegistry = IResourceServiceProvider.Registry.INSTANCE;
  this.uris = uris;
  this.checkMode = CheckMode.ALL;
}
Example 3
Source File: ValidMarkerUpdateJob.java    From dsl-devkit with Eclipse Public License 1.0 3 votes vote down vote up 
/**
 * Instantiates a new valid marker update job.
 *
 * @param name
 *          the name
 * @param fileExtensions
 *          the file extensions
 * @param resourceSet
 *          the resource set
 * @param markerCreator
 *          the marker creator
 * @param resourceDescriptions
 *          the resource descriptions
 * @param resourceServiceProvider
 *          the resource service provider
 * @param performExpensiveValidation
 *          true if expensive validation should be performed, false otherwise
 */
public ValidMarkerUpdateJob(final String name, final String fileExtensions, final ResourceSet resourceSet, final MarkerCreator markerCreator, final IResourceDescriptions resourceDescriptions, final IResourceServiceProvider resourceServiceProvider, final boolean performExpensiveValidation, final IStorage2UriMapper storage2UriMapper) {
  super(name + " " + fileExtensions); //$NON-NLS-1$

  this.fileExtensions = fileExtensions;
  this.resourceSet = resourceSet;
  this.markerCreator = markerCreator;
  this.resourceDescriptions = resourceDescriptions;
  this.resourceServiceProvider = resourceServiceProvider;
  this.performExpensiveValidation = performExpensiveValidation;
  this.checkMode = performExpensiveValidation ? CheckMode.ALL : CheckMode.NORMAL_AND_FAST;
  this.storage2UriMapper = storage2UriMapper;
}