|
public PushEntry ( EntryKind loc, String name, |
||
| loc | EntryKind | |
| name | String | |
| type | ||
| return | ||
public Env PushEntry(EntryKind loc, String name, ExprType type) {
Scope top = this._scopes.Peek();
return new Env(this._scopes.Pop().Push(top.PushEntry(loc, name, type)));
}
