Quixote では、次の２種類のオブジェクト項を用意しています。
などです。りんご, cider, 四角形
で表されます。りんご[色=青]
「固有属性」について、もう少し詳しく説明しましょう。
固有属性
「固有属性」とは、オブジェクトの属性のうち、そのオブジェクトを識別する
属性のことです。「青りんご」の「色は青」がそれです。別の言い方をすれば、
その属性が変化してしまったら、そのオブジェクトを識別できなくなる属性の
ことです。まさしく、「色が青」でなくなったら、「青りんご」では
なくなってしまいます。
「固有属性」は、以下の形をしています。
例えば、
などです。色=青, name=tom, 番号=3
Quixote では、この「固有属性」を使って、 性質継承 の例外を実現しています。