public const int32 最大长度 = 0;
driver.MaxLength = 最大长度;
public link bit 当前值 = driver.buffer;
public link bit 数目 = driver.Length;
public link void OS_init(){} = driver.OS_init;
public link void 清空(){} = driver.Clear;
public link void 内容等于_(bit n1){} = driver.equal;
public link void 添加文本_(bit n1){} = driver.AddString;
public link void 添加字符_(bit n1){} = driver.AddCChar;
public link void 添加数字_(bit n1){} = driver.AddNumber;
public link void 用字符_把数字补齐到_位(bit n1,bit n3){} = driver.set_format;
public link void 取消数字位数补齐(){} = driver.clear_format;
