class-specifier は次のとおりである。
 
               	 
               interface-specifier は次のとおりである。
 
               	 
               program-specifier は次のとおりである。
 
               	 
               property-specifier は次のとおりである。
 
               	 
               function-specifier は次のとおりである。
書き方 1 (利用者定義)
 
               	 
               関数 2 (組み込み)
 
               	 
               delegate-specifier は次のとおりである。
 
               	 
               enum-specifier は次のとおりである。
 
               
            クラス class-name-1 はパラメーター化されたクラスである class-name-2 から作成される。その際、仮パラメーターの各指定が対応する実パラメーターで置き換えられる。その置換は COPY 文および REPLACE 文の処理が終わった後で行われる。
インターフェイス interface-name-2 はパラメーター化されたインターフェイスである interface-name-3 から作成される。その際、仮パラメーターの各指定が対応する実パラメーターで置き換えられる。その置換は COPY 文および REPLACE 文の処理が終わった後で行われる。