Errors.jrag 2.44 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 {
Niklas Fors's avatar
Niklas Fors committed
6
7
8
9
10
11
12
13
14
15
16
17
18
	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()
19
			+ "' is already declared for type '" + toTypeDecl() + "'")
Niklas Fors's avatar
Niklas Fors committed
20
21
		when isAlreadyDeclared()
		to Program.errors();
Niklas Fors's avatar
Niklas Fors committed
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

	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() && !hasMultiplicityOne()
		to Program.errors();
Niklas Fors's avatar
Niklas Fors committed
37
38
39
}

aspect HelpAttributes {
Niklas Fors's avatar
Niklas Fors committed
40
41
42
43
44
45
	inh Program ASTNode.program();
	eq Program.getChild().program() = this;

	inh boolean TypeUse.isToken();
	eq Program.getChild().isToken() = false;
	eq TokenComponent.getTypeUse().isToken() = true;
Niklas Fors's avatar
Niklas Fors committed
46
47
48

	syn boolean RelationComponent.hasMultiplicityOne() = false;
	eq OneRelationComponent.hasMultiplicityOne() = true;
Niklas Fors's avatar
Niklas Fors committed
49
50
51
52
53
54
55
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
}

aspect ErrorMessage {
	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);
	}
}