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[Symbols.Symbol,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 |