Appearance
| 1 | namespace Semantic.Types is | |
| 2 | use IO.Std; | |
| 3 | ||
| 4 | class MEMBER: Type is | |
| 5 | left: Type; | |
| 6 | name: string; | |
| 7 | ||
| 8 | short_description: string => | |
| 9 | "{left.short_description}.{name}"; | |
| 10 | ||
| 11 | init(left: Type, name: string) is | |
| 12 | self.left = left; | |
| 13 | self.name = name; | |
| 14 | si | |
| 15 | ||
| 16 | specialize(type_map: Collections.Map[string,Type]) -> Type => | |
| 17 | let specialized_left = left.specialize(type_map) in | |
| 18 | specialized_left.find_member(name)!.type!; | |
| 19 | ||
| 20 | to_string() -> string => IoC.CONTAINER.instance.name_display.name_for(symbol); | |
| 21 | si | |
| 22 | si |