设计子程序与参数要求
此页面需较新浏览器（支持 SharedArrayBuffer）。请升级 Chrome、Edge、Firefox 或 Safari 至最新版本。
选择过程或函数
函数返回值供表达式使用；过程执行操作，如更改库存或输出报告。实现前先规定参数类型与结果。
例题：返回计算结果
FUNCTION Double(Value : INTEGER) RETURNS INTEGER
RETURN Value * 2
ENDFUNCTION
OUTPUT Double(6)
调用方决定如何使用 12。函数内 OUTPUT 不等于返回。BYVAL 提供值；BYREF 允许过程改变调用方变量。
检查接口
说明调用方哪些值会改变，哪些结果返回或输出。检查会提供调用，仅编写指定子程序。检查成功与拒绝分支，拒绝不能改状态。
仅编写 FUNCTION Charge(Hours : INTEGER) RETURNS INTEGER。1 或 2 小时收费 3，超过 2 的每小时加 2。Hours 为正。
点击“运行”查看此处输出。
仅编写 PROCEDURE Supply(BYREF Stock : INTEGER, Wanted : INTEGER)。Wanted 为正且库存足够时扣减 Stock 并输出 supplied，否则输出 refused。
点击“运行”查看此处输出。
P 初值 10。PROCEDURE Add(BYVAL X : INTEGER) 执行 X ← X + 4。CALL Add(P) 后 P 为多少？
解释数据结构与循环选择，指出一个边界用例并预测结果。对子程序，解释返回值或调用方变化。
本次答案保存在本浏览器。请自行或与老师复核；文字解释不自动评分。
按要点复核解释
- 类型与数据结构符合数据及要求。
- 已解释循环选择并检查首末次。
- 初值与被拒操作保持正确状态。
- 测试包含输入、用途与预期结果。
- 区分了返回、输出与改变调用方状态。