Capability Safe Reflection for the Wyvern Language, Esther Wang

Transcript

2. • • • ◦ ◦ •
3. • ◦ • •
4. • ◦ • ◦ • •
5. • • • ◦ ◦ •
6. • • • ◦ ◦ ◦
7. type List = def append[T](object:T) : Unit def get[T](index:Integer) : T def make[T]() : List = new /* ... Object definition ... */ val myList : List = make[Integer]()
8. • ◦ ◦ • ◦ ◦
9. • • • ◦ ◦ •
10. • ◦ • • •
11. resource module wyvern/reflection/full def reflect[T](obj:T) : Object def reflectType[T]() : Type
12. module wyvern/reflection/dynamic resource type Object module wyvern/reflection/static type Type type Method type Variable type Field
13. val listObj:Object = \ reflect[List](List.make[Integer]().add(1)) val listType:Type = listObj.typeOf() val getMethod:Method = listType.methodByName(“get”) listObj.invoke(getMethod, List.make().add(0))
14. • ◦ • ◦ • ◦
15. • • • ◦ ◦ •
16. • ◦ ◦ ◦ •
17. resource type Object = ... def viewAtType(t:Type) : Object
18. resource module wyvern/reflection/limited def reflect[T](obj:T) : Object def reflectType[T]() : Type • viewAtType reflect • •
19. • • • ◦ ◦ •
20. • • ◦ ◦ •
21. • ◦ ◦ viewAtType ◦
23. • ◦ ◦ viewAtType ◦