Java 类org.eclipse.xtext.validation.Check 实例源码

项目：n4js 文件：N4JSStatementValidator.java

/**
 * general top-level test: - invalid statements for StaticPolyfillModules. Constraints 140 (restrictions on
 * static-polyfilling) IDE-1735
 */
@Check
public void checkVariableStatement(Statement statement) {
    EObject con = statement.eContainer();
    if (con instanceof Script) { // top-level elements will be checked only.
        Script script = (Script) con;
        if (!isContainedInStaticPolyfillModule(script)) {
            return;
        }
        // FunctionDeclarations have finer grained check in own validator.
        if (statement instanceof FunctionDeclaration)
            return;

        // it is a static polyfill module
        addIssue(getMessageForPOLY_STATIC_POLYFILL_MODULE_ONLY_FILLING_CLASSES(), statement,
                POLY_STATIC_POLYFILL_MODULE_ONLY_FILLING_CLASSES);

    }
}

项目：n4js 文件：N4JSNameValidator.java

/**
 * Constraints 3 and 4.2
 */
@Check
public void checkN4TypeDeclaration(N4TypeDeclaration n4TypeDeclaration) {
    if (isNotChecked(n4TypeDeclaration)) {
        return;
    }

    // quick exit:
    if (Character.isUpperCase(n4TypeDeclaration.getName().charAt(0))) {
        return;
    }
    if (holdsTypeNameNotIndistinguishable(n4TypeDeclaration, "getter/setter", GETTER_SETTER) //
            && holdsTypeNameNotIndistinguishable(n4TypeDeclaration, "access modifier", ACCESS_MODIFIERS) //
            && holdsTypeNameNotIndistinguishable(n4TypeDeclaration, "boolean literal", BOOLEAN_LITERALS) //
            && holdsTypeNameNotIndistinguishable(n4TypeDeclaration, "base type", BASE_TYPES) //
            && holdsTypeNameNotIndistinguishable(n4TypeDeclaration, "keyword",
                    languageHelper.getECMAKeywords())
            && holdsDoesNotStartWithLowerCaseLetter(n4TypeDeclaration)) {
        // error messages are created with in constraint validation
    }
}

项目：n4js 文件：N4JSNameValidator.java

/**
 * Constraints 4.1
 */
@Check
public void checkN4MemberDeclaration(N4MemberDeclaration n4Member) {
    if (isNotChecked(n4Member)) {
        return;
    }

    if (
    // IDEBUG-304 allow member names to be keywords
    // holdsNameMayNotBeConfusedWith(n4Member, "keyword", KEYWORDS) //
    // &&
    holdsDoesNotEqualWithConstructor(n4Member) //
            && holdsNameMayNotBeConfusedWith(n4Member, "future reserved word", FUTURE_RESERVED_WORDS) //
            && holdsNameMayNotBeConfusedWith(n4Member, "boolean literal", BOOLEAN_LITERALS) //
            && //
            (!(n4Member instanceof Variable) // avoid redundant checks
                    && holdsDoesNotStartWithUpperCaseLetter(n4Member) //
                    && holdsNoTypeNameOrNameEqualsType(n4Member) //
                    && holdsDoesNotContainDiscouragedCharacter(n4Member) //
                    && holdsNameMayNotBeConfusedWith(n4Member, "access modifier", ACCESS_MODIFIERS) //
            )) {
        // error messages are created with in constraint validation
    }

}

项目：n4js 文件：N4JSNameValidator.java

/**
 * Constraints 4.3
 */
@Check
public void checkVariable(Variable variable) {
    if (isNotChecked(variable)) {
        return;
    }

    if (holdsDoesNotStartWithDollarSign(variable) //
            && holdsDoesNotEqualWithConstructor(variable) //
            && holdsStartWithLowercaseLetter(variable) //
            && holdsNameMayNotBeConfusedWith(variable, "access modifier", ACCESS_MODIFIERS) //
            && holdsNoTypeNameOrNameEqualsType(variable) //
            && holdsDoesNotContainDiscouragedCharacter(variable)) {
        // error messages are created with in constraint validation
    }
}

项目：org.xtext.dsl.restaurante 文件：RestauranteValidator.java

@Check
public void checkFecha(final Restaurante restaurante) {
  try {
    SimpleDateFormat formateadorFecha = new SimpleDateFormat("dd-MM-yyyy");
    Date fechaDada = formateadorFecha.parse(restaurante.getFecha());
    Calendar fechaActual = Calendar.getInstance();
    Date _time = fechaActual.getTime();
    boolean _greaterThan = (fechaDada.compareTo(_time) > 0);
    if (_greaterThan) {
      this.error("La fecha tiene que ser igual o menor que la actual", 
        RestaurantePackage.Literals.RESTAURANTE__FECHA, RestauranteValidator.FECHA_INVALIDA);
    }
  } catch (Throwable _e) {
    throw Exceptions.sneakyThrow(_e);
  }
}

项目：dsl-devkit 文件：ExportJavaValidator.java

/**
 * Check that there is no overlap between the fields exported by a class and its parents.
 *
 * @param context
 *          model to check
 */
@Check
public void checkOverlap(final ExportModel context) {
  UniquenessJavaValidationHelper<Attribute> helper = new UniquenessJavaValidationHelper<Attribute>(NameFunctions.fromFeature(ExportPackage.Literals.ATTRIBUTE__ATTRIBUTE), getMessageAcceptor());
  for (Export export : context.getExports()) {
    for (Export candidate : context.getExports()) {
      if (export.getType() != candidate.getType() && candidate.getType().isSuperTypeOf(export.getType())) {
        for (Attribute attribute : helper.findDuplicates(Iterables.concat(export.getAttributes(), candidate.getAttributes()))) {
          if (attribute.eContainer() == export) {
            error("Overlap duplicate found: " + attribute.getAttribute().getName(), attribute, ExportPackage.Literals.ATTRIBUTE__ATTRIBUTE, null);
          }
        }
      }
    }
  }
}

项目：dsl-devkit 文件：CheckJavaValidator.java

/**
 * Checks that Check names are unique. A Check name may only occur once in a Check Catalog.
 *
 * @param catalog
 *          the check catalog
 */
@Check
public void checkCheckNamesAreUnique(final CheckCatalog catalog) {
  Function<com.avaloq.tools.ddk.check.check.Check, QualifiedName> function = new Function<com.avaloq.tools.ddk.check.check.Check, QualifiedName>() {
    @Override
    public QualifiedName apply(final com.avaloq.tools.ddk.check.check.Check from) {
      return QualifiedName.create(from.getName()); // no need to create a fully qualified name with check catalog here, it is only used for
                                                   // comparing check instances
    }
  };
  UniquenessJavaValidationHelper<com.avaloq.tools.ddk.check.check.Check> helper = //
      new UniquenessJavaValidationHelper<com.avaloq.tools.ddk.check.check.Check>(function, getMessageAcceptor()) {
        @Override
        public String getMessage(final com.avaloq.tools.ddk.check.check.Check duplicate) {
          return NLS.bind("Duplicate Check name: {0}", duplicate.getName()); //$NON-NLS-1$
        }
      };

  final Iterable<com.avaloq.tools.ddk.check.check.Check> allChecksWithName = Iterables.filter(catalog.getAllChecks(), new Predicate<com.avaloq.tools.ddk.check.check.Check>() {
    @Override
    public boolean apply(final com.avaloq.tools.ddk.check.check.Check input) {
      return input.getName() != null;
    }
  });
  helper.errorOnDuplicates(allChecksWithName, locationInFileProvider::getIdentifierFeature, IssueCodes.DUPLICATE_CHECK);
}