This document discusses using metamodels to resolve symbols in source code. It describes building metamodels of programming languages like Smalltalk and Java that represent concepts like classes, methods, and packages. These metamodels allow resolving symbols by looking them up in different scopes like method, class, package scopes. Case studies are presented on applying this technique to resolve symbols in languages like Smalltalk, Java and Cobol.

1. Generic Name Resolution
with Metamodels
Yuriy Tymchuk, Benjamin Arezki, Anne Etien,
Nicolas Anquetil and Stéphane Ducasse

2. Software Assessment
Development
Assessment

3. Software Assessment

4. Modelling source code
a
#middleOf:and:
middleOf: a and: b
| sum |
sum := a + b.
^ sum / 2
st
^st
:=
/
sum +
sum 2
a b
b
sum

5. Resolving symbols
a
#middleOf:and:
a
b
sum
st
^st
:=
/
sum +
sum 2
a b
b
sum

6. Moose Toolchain
www.moosetechnology.org

7. FAMIX Metamodel

8. Core metamodel

9. Smalltalk metamodel

10. Java (sub)Metamodel

11. Resolving a symbol
⚜

12. Lookup
Symbol
Method scope
Class scope
Superclass scope
Package scope

13. Select
Symbol
private?
protected?
public?

14. Case studies
Pharo (smalltalk)
Java (subset)
Cobol