|
Lines 82-87
Link Here
|
| 82 |
} |
82 |
} |
| 83 |
ResolvedTypeX exactType = pi.getExactType().resolve(scope.getWorld()); |
83 |
ResolvedTypeX exactType = pi.getExactType().resolve(scope.getWorld()); |
| 84 |
if (exactType == ResolvedTypeX.MISSING) continue; |
84 |
if (exactType == ResolvedTypeX.MISSING) continue; |
|
|
85 |
|
| 86 |
if (!exactType.isAspect()) { |
| 87 |
scope.getWorld().showMessage(IMessage.ERROR, |
| 88 |
"Non-aspect types cannot be specified in a declare precedence statement. Non-aspect type is : "+exactType.getName(), |
| 89 |
pi.getSourceLocation(),null); |
| 90 |
} |
| 91 |
|
| 85 |
for (int j=0; j < patterns.size(); j++) { |
92 |
for (int j=0; j < patterns.size(); j++) { |
| 86 |
if (j == i) continue; |
93 |
if (j == i) continue; |
| 87 |
TypePattern pj = patterns.get(j); |
94 |
TypePattern pj = patterns.get(j); |
