Errors.jrag 2.79 KB
Newer Older
Niklas Fors's avatar
Niklas Fors committed
1
2
3
4
5
import java.util.Set;
import java.util.TreeSet;
import java.util.LinkedList;

aspect Errors {
Johannes Mey's avatar
Johannes Mey committed
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
  coll Set<ErrorMessage> Program.errors()
    [new TreeSet<ErrorMessage>()]
    root Program;

  TypeUse contributes error("Type '" + getID() + "' not found")
    when decl() == null && !isToken()
    to Program.errors();

  TypeDecl contributes error("Type '" + getID() + "' is already declared")
    when isAlreadyDeclared()
    to Program.errors();

  Component contributes error("Component '" + name()
      + "' is already declared for type '" + toTypeDecl() + "'")
    when isAlreadyDeclared()
    to Program.errors();

  RelationComponent contributes
    error("Role name missing for type '" + toTypeDecl() + "'")
    when !isTargetOfDirectedRelation() && name().isEmpty()
    to Program.errors();

  RelationComponent contributes
    error("The target of a directed relation cannot have a role name")
    when isTargetOfDirectedRelation() && !getID().isEmpty()
    to Program.errors();

  RelationComponent contributes
    error("The target of a directed relation may only have multiplicity 1")
    when isTargetOfDirectedRelation() && !multiplicityOne()
    to Program.errors();
Niklas Fors's avatar
Niklas Fors committed
37
38
39
}

aspect HelpAttributes {
Johannes Mey's avatar
Johannes Mey committed
40
41
42
43
44
45
46
47
48
49
50
51
52
  inh Program ASTNode.program();
  eq Program.getChild().program() = this;

  inh boolean TypeUse.isToken();
  eq Program.getChild().isToken() = false;
  eq TokenComponent.getTypeUse().isToken() = true;

  syn boolean RelationComponent.multiplicityOne() = false;
  eq OneRelationComponent.multiplicityOne() = true;
  syn boolean RelationComponent.multiplicityOpt() = false;
  eq OptionalRelationComponent.multiplicityOpt() = true;
  syn boolean RelationComponent.multiplicityMany() = false;
  eq ManyRelationComponent.multiplicityMany() = true;
Niklas Fors's avatar
Niklas Fors committed
53
54
55
}

aspect ErrorMessage {
Johannes Mey's avatar
Johannes Mey committed
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  public class ErrorMessage implements Comparable<ErrorMessage> {
    private final ASTNode node;
    private final int line;
    private final int col;
    private final String message;

    public ErrorMessage(ASTNode node, String message) {
      this.node = node;
      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 "Line " + line + ", column " + col + ": " + message;
    }

    @Override
    public int compareTo(ErrorMessage err) {
      int 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);
  }
Niklas Fors's avatar
Niklas Fors committed
105
}