dispatch:
与之前的type check不同，semantic analysis是从上往下写的
首先我们这里先check 每一个argument
然后取出caller object的Type vo.
create 一个object type vo. 划分空间地址：X(a1=la1, ...am=lam) ai是class的attributes!!!!
Implementation(x,f)=(x1,x2,...xn, en+1) 这里的x1,x2,x3....都是arguments, en+1 是function body
如果impl(x,f) 如果class x里没有function f 怎么办？不可能。因为type-check会先帮忙check了。
Lxi = newLoc(sn+2) for i=1 to n. 表示划分N个内存空间，用来装argument values。
每个空间assign value vi. update store.[这一步表示给实际参数给function]
v0, Sn+3, [a1:la1, a2:la2..., x1: lx1, x2:lx2...] |- en+1:vn+1, Sn+4
这一步就是evaluate function。
注意语法非常奇妙。。[a1:la1, a2:la2..., x1: lx1, x2:lx2...] 表示E表示where in memory variables are. 这里包含了
class 里的attribute和function的parameter。
Lastly:
OMG。。。context其实就是交代了一下mapping情况。
