【離散類型的屬性】

豐碩

【離散類型的屬性】

 

英語翻譯：attributeofdiscretetype

 

【辭書名稱】資訊與通信術語辭典

 

Ada程式語言中，對每個離散類型T，以四個不同的函數定義其屬性。

 

例如T'POS（X）表示參數X必須為類型T的值，函數的結果是X的位置號。

 

T'VAL（N）表示參數N必須為整數，函數的結果是類型T的值，T的位置號是N。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary