Commit f2b3e338 authored by Christoph Reichenbach's avatar Christoph Reichenbach
Browse files

Expose array field types

parent 7c0849e1
......@@ -30,10 +30,15 @@ aspect TypeAnalysis {
TypeDecl implements TypeDefinition;
TypeVarDecl implements TypeDefinition;
Type implements TypeDefinition;
syn TypeDefinition Type.qualifiedTypeDefinition() {
syn IdDecl Type.memberLookup(String s) {
TypeDefinition td = (TypeDefinition) getIdUse().lookup().getDecl();
return new QualifiedTypeDefinition(td, getTypeQualifiers());
return td.memberLookup(s);
syn TypeDefinition Type.qualifiedTypeDefinition() {
return this;
// The following gives us the type of the expression if and only if we know the type precisely
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment