|
public GetStmt ( ABT env ) : ABT.Stmt>.Tuple |
||
| env | ABT | |
| Результат | ABT.Stmt>.Tuple | |
public override Tuple<ABT.Env, ABT.Stmt> GetStmt(ABT.Env env) {
Tuple<ABT.Env, ABT.Stmt> r_stmt = this.Stmt.GetStmt(env);
env = r_stmt.Item1;
return new Tuple<ABT.Env, ABT.Stmt>(env, new ABT.LabeledStmt(this.Label, r_stmt.Item2));
}
}