我希望能够为GTK ComboBox声明一个固定长度字符串的常量数组 . 是否可以在ADA中使用两个参数?
此代码允许通过声明字符串来设置数组的大小 . 是否有可能以某种方式用参数替换规范中的常量?
一个简单的数组不允许判别 . 判别式记录不允许匿名数组 .
编辑:
我可以以某种方式声明与表单等效的类型:
type StringOfStrings(sringlength:positive; arraysize:positive)array(1..arraysize)of string(1..stringlength);
这种形式是不可能的,因为数组不能有判别式 .
要么
子类型SelectorString是字符串;
type SelectorStringArray(arraysize:positive; stringlength:positive)是记录stringarray:SelectorString的数组(1..arraysize)(1..stringlength);结束记录;
此表单是不可能的,因为记录不能具有匿名数组 .
回答:
以下作品,
包Selectors.Strings是
子类型ArrayIndex是正范围1..64; - ComboBox中的最大条目
子类型TextIndex是正范围1..32; - 最大入场时间
type SelectorStringArray是字符的数组(arrayindex range <>,textindex range <>);
function StringSelector(stringarray:SelectorStr