📄 bank.idl
字号:
// 银行帐户管理系统的对象接口定义
module Bank {
// 帐户
valuetype Account {
private float balance;
// 存款
void deposit(in float amount);
// 取款
boolean withdraw(in float amount);
// 查询余额
float getBalance();
factory open(in float init);
};
// 帐户管理员
interface AccountManager {
// 查询指定名字的帐户,查无则新开帐户
Account open(in string name);
};
};
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -