級定義 (classdef) 要素内容木刈込み (prune) 属性 (属性集合定義体系)

[1] 属性集合定義体系の級定義 (classdef) 要素(形式)の内容木刈込み (prune content tree) (prune) 属性は、 級がグローブ設計から省かれるときに完全グローブ中のその級の節を根とする内容木を刈取るかどうか、 あるいは枝はその節の親の子供特性中のその節をその節の子供で置き換えることによって単に「接木する」かどうかを指定します。

仕様書: ISO/IEC 10744:1997 A.4.2.3 Class definition <http://www.y12.doe.gov/sgml/wg8/docs/n1920/html/clause-A.4.2.html#clause-A.4.2.3>

[2] 属性値:

prune

刈り取ります。 この属性の既定値です。

nprune

接木します。 この値を指定できるのは、内容特性の級が親の内容特性の部分集合となりうることが保証されるときだけです。

メモ