Errors.jrag

import java.util.Set;
import java.util.TreeSet;
import java.util.LinkedList;

aspect Errors {
  coll Set<ErrorMessage> RagConnect.errors()
    [new TreeSet<ErrorMessage>()]
    root RagConnect;

    ReadFromMqttDefinition contributes error("Read definition already defined for " + getToken().getName())
      when isAlreadyDefined()
      to RagConnect.errors();

    ReadFromMqttDefinition contributes error("Reading target token must not be an NTA token!")
      when getToken().getNTA()
      to RagConnect.errors();

    // if first mapping is null, then suitableDefaultMapping() == null
    ReadFromMqttDefinition contributes error("No suitable default mapping found for type " +
      ((getMappingList().isEmpty())
        ? getToken().getJavaTypeUse().prettyPrint()
        : getMappingList().get(0).getFromType().prettyPrint()))
      when effectiveMappings().get(0) == null
      to RagConnect.errors();

    ReadFromMqttDefinition contributes error("to-type of last mapping must be type of the Token!")
      when getToken().getJavaTypeUse().prettyPrint().equals(
          effectiveMappings().get(effectiveMappings().size() - 1))
      to RagConnect.errors();

    WriteToMqttDefinition contributes error("Writing target token must be an NTA token!")
      when !getToken().getNTA()
      to RagConnect.errors();

    WriteToMqttDefinition contributes error("Write definition already defined for " + getToken().getName())
      when isAlreadyDefined()
      to RagConnect.errors();

    DependencyDefinition contributes error("Dependency definition already defined for " + getSource().containingTypeDecl().getName() + " with name " + getID())
      when isAlreadyDefined()
      to RagConnect.errors();

    DependencyDefinition contributes error("The name of a dependency definition must not be equal to a list-node on the source")
      when isAlreadyDefinedAsList()
      to RagConnect.errors();

    DependencyDefinition contributes error("There must be a write update definition targeting " + getSource().parentTypeypeAndName() + " for dependency definition " + getID())
      when targetUpdateDefinition() == null
      to RagConnect.errors();
}

aspect ErrorHelpers {
  syn boolean DependencyDefinition.isAlreadyDefinedAsList() {
    for (Component comp : getSource().containingTypeDecl().getComponentList()) {
      if (comp.isListComponent() && comp.getName().equals(this.getID())) {
        return true;
      }
    }
    return false;
  }
  syn String TokenComponent.parentTypeypeAndName() = containingTypeDecl().getName() + "." + getName();
}

aspect ErrorMessage {
  public class ErrorMessage implements Comparable<ErrorMessage> {
    private final ASTNode node;
    private final String filename;
    private final int line;
    private final int col;
    private final String message;

    public ErrorMessage(ASTNode node, String message) {
      this.node = node;
      this.filename = node.containedFileName();
      this.line = node.getStartLine();
      this.col = node.getStartColumn();
      this.message = message;
    }

    public ASTNode getNode() {
      return node;
    }
    public int getLine() {
      return line;
    }
    public int getCol() {
      return col;
    }
    public String getMessage() {
      return message;
    }

    public String toString() {
      return filename + " Line " + line + ", column " + col + ": " + message;
    }

    @Override
    public int compareTo(ErrorMessage err) {
      int n = filename.compareTo(err.filename);
      if (n != 0) {
        return n;
      }

      n = line - err.line;
      if (n != 0) {
        return n;
      }

      n = col-err.col;
      if (n != 0) {
        return n;
      }

      return message.compareTo(err.message);
    }
  }

  protected ErrorMessage ASTNode.error(String message) {
    return new ErrorMessage(this, message);
  }
}