Semantics Analysis

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情况。