【離散類型的屬性】
英語翻譯: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
歡迎光臨 【五術堪輿學苑】 (http://gw.wsky.ink/) | Powered by Discuz! X3.1 |