Errors.jrag 1.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 {
Niklas Fors's avatar
Niklas Fors committed
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
	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 '" + typeDecl() + "'")
		when isAlreadyDeclared()
		to Program.errors();
Niklas Fors's avatar
Niklas Fors committed
22
23
24
}

aspect HelpAttributes {
Niklas Fors's avatar
Niklas Fors committed
25
26
27
28
29
30
	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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
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
}

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);
	}
}