コード例 #1
0
  /**
   * {@inheritDoc} <br>
   * Referring pages: 69.
   *
   * @since 1.0
   */
  @SuppressWarnings("unchecked")
  @Override
  public boolean check(final Node node) {

    final int size = node.childrenCount();
    final Node child = node.getChild(0);
    child.addAttributeRecursive(Attribute.ITYPE, node.getAttribute(Attribute.ITYPE));
    if (!child.check()) {
      return Utils.badNode(node);
    }

    final Type type = (Type) child.getAttribute(Attribute.TYPE);
    Integer elemCount = (Integer) child.getAttribute(Attribute.ELEMENT_COUNT);
    if (elemCount == null) {
      elemCount = 1;
    }

    if (size == 1) {
      // 2. <izravni_deklarator> != {const(T), niz(const(T))}
      final boolean first = type.isConst();
      final boolean second = type.isArray() ? ((ArrayType) type).fromArray().isConst() : false;
      if (first || second) {
        return Utils.badNode(node);
      }

      return true;
    }

    for (int i = 1; i < size; i++) {
      final Node current = node.getChild(i);

      if (!current.check()) {
        return Utils.badNode(node);
      }

      if (current.name().equals(InitializatorManipulator.HR_NAME)) {
        List<Type> initTypes;
        if (type.isArray()) {
          initTypes = (List<Type>) current.getAttribute(Attribute.TYPES);
        } else {
          initTypes = new ArrayList<>();
          final Type initType = (Type) current.getAttribute(Attribute.TYPE);
          if (initType == null) {
            return Utils.badNode(node);
          }
          initTypes.add((Type) current.getAttribute(Attribute.TYPE));
        }

        if (handleInits(elemCount, type, initTypes)) {
          return true;
        } else {
          return Utils.badNode(node);
        }
      }
    }

    System.err.println("Shold never happen");
    SemanticErrorReporter.report(node);
    return false;
  }
コード例 #2
0
  /**
   * {@inheritDoc} <br>
   * Referring pages: 57.
   *
   * @since 1.0
   */
  @Override
  public boolean check(final Node node) {
    final Node firstChild = node.getChild(0);
    final String firstSymbol = firstChild.name();

    // <multiplikativni_izraz> ::= <cast_izraz>
    if ("<cast_izraz>".equals(firstSymbol)) {

      // 1. provjeri(<cast_izraz>)
      if (!firstChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      node.addAttribute(Attribute.TYPE, firstChild.getAttribute(Attribute.TYPE));
      node.addAttribute(Attribute.L_EXPRESSION, firstChild.getAttribute(Attribute.L_EXPRESSION));
      return true;
    }
    final Node secondChild = node.getChild(1);
    final String secondSymbol = secondChild.name();
    final Node thirdChild = node.getChild(2);
    // <multiplikativni_izraz> ::= <multiplikativni_izraz> OP_PUTA <cast_izraz>
    if ("OP_PUTA".equals(secondSymbol)) {

      // 1. provjeri(<multiplikativni_izraz>
      if (!firstChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 2. <multiplikativni_izraz>.tip ~ int
      final Type type1 = (Type) firstChild.getAttribute(Attribute.TYPE);
      if (!type1.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 3. provjeri(<cast_izraz>)
      if (!thirdChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 4. <cast_izraz>.tip ~ int
      final Type type2 = (Type) thirdChild.getAttribute(Attribute.TYPE);
      if (!type2.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      node.addAttribute(Attribute.TYPE, new IntType());
      node.addAttribute(Attribute.L_EXPRESSION, false);
      return true;
    }

    // <multiplikativni_izraz> ::= <multiplikativni_izraz> OP_DIJELI <cast_izraz>
    if ("OP_DIJELI".equals(secondSymbol)) {

      // 1. provjeri(<multiplikativni_izraz>
      if (!firstChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 2. <multiplikativni_izraz>.tip ~ int
      final Type type1 = (Type) firstChild.getAttribute(Attribute.TYPE);
      if (!type1.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 3. provjeri(<cast_izraz>)
      if (!thirdChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 4. <cast_izraz>.tip ~ int
      final Type type2 = (Type) thirdChild.getAttribute(Attribute.TYPE);
      if (!type2.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      node.addAttribute(Attribute.TYPE, new IntType());
      node.addAttribute(Attribute.L_EXPRESSION, false);
      return true;
    }

    // <multiplikativni_izraz> ::= <multiplikativni_izraz> OP_MOD <cast_izraz>
    if ("OP_MOD".equals(secondSymbol)) {

      // 1. provjeri(<multiplikativni_izraz>
      if (!firstChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 2. <multiplikativni_izraz>.tip ~ int
      final Type type1 = (Type) firstChild.getAttribute(Attribute.TYPE);
      if (!type1.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 3. provjeri(<cast_izraz>)
      if (!thirdChild.check()) {
        SemanticErrorReporter.report(node);
        return false;
      }

      // 4. <cast_izraz>.tip ~ int
      final Type type2 = (Type) thirdChild.getAttribute(Attribute.TYPE);
      if (!type2.implicitConversion(new IntType())) {
        SemanticErrorReporter.report(node);
        return false;
      }

      node.addAttribute(Attribute.TYPE, new IntType());
      node.addAttribute(Attribute.L_EXPRESSION, false);
      return true;
    }

    System.err.println("Shold never happen");
    SemanticErrorReporter.report(node);
    return false;
  }