派生属性

スラッシュ（/）は、その属性が派生属性（derived attribute）であることを表現する。

派生属性はクラスに含まれる他の属性値などから計算したり、判断することが可能な属性であり、派生属性をクラス内の独立した属性として含む必要がないことを表している。

また、大抵の場合、派生属性は読み取り専用（）readonlyである。