Presentation of FAST generic symbol resolution at BENEVOL 2013 workshop

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