编译原理第11章-对象式语言的实现

<MethodDecList> <MethodDec1>;……, <MethodDeck>;
1. SOOL语法-类型
类型：整数类型，实数类型，布尔类型，类类型，虚类型。其中虚类型用void 符号来表示，其含义与C语言相同。 <ty> integer | real | boolean | void |
其中ClassName 是Class名，reseiver是对象变量或虚对象变量self。
1. SOOL语法-变量
变量: 除通常变量外，增加了成员变量：即x.a，其中x是一 个对象变量，a是一个成员变量名。其作用完全类似于记录 类型中的域选择变量，对象变量类似指向记录的指针变量， 成员变量则类似记录中的域名。变量x.a的空间是x所指向对 象空间中对应成员变量a的空间。变量按其结构可分为三种 ：
<PublicPart><PrivatePart>
}
<PublicPart> public <MemberDec>; |
<PrivatePart> private <Memberdec>; |
<MmemberDec> <VarDecList> <MethodDecList>
<VarDecList> <VarDec1> ;……,<VarDeck>;
1. SOOL语法-函数&方法声明
函数声明和方法声明: 函数声明由保留字function打头，而方法 声明则由保留字method打头 ，每个函数和方法声明都有其 类型，若其类型标志为void，则没有返回值，否则有返回值 。
<FuncDec> function id (<ParamDecList>):<ty> <Block> <MethodDec> method id (<ParamDecList>):<ty> <Block> <ParamDecList> <ParamDec1>,……,<ParamDeck> <ParamDec> id :<ty>
<Exp>
C
| <Var>
| <Exp> <op> <Exp>
| f(<ActParamList>)
| <Receiver>.m( <ActParamList> )
<ActParamList> <Exp1>,……,<Expk>
2. SOOL语义-的作用域
全程作用域规则：
由Class声明定义的类名在整个程序内有效 由Function声明定义的函数名在整个程序内有效
classname
1. SOOL语法-变量声明
变量声明:变量声明均由保留字var打头，并定义一些变量标识符，例如： var i,j,k :integer; var x,y : C ( C是类名)
由Class名定义的变量称之为对象变量。对象变量的值是一个对象，而对象则代 表一个对象空间。对象空间都包含哪些内容，完全依赖于定义对象变量的类 Class。 <VarDec> var <IdList> :<Ty>
<Program> <ClassDecList> <FuncDecList><MainPart> <ClassDecList><ClassDec1>; …….<ClassDeck>; <FuncDecList><FuncDec1>; …….<FuncDeck>; <MainPart> main <Block>
第十一章 对象式语言的实现
SOOL语言的语法 SOOL语言的语义 SOOL的语义分析 SOOL的目标代码生成
1. SOOL语法-程序
程序：由一串类声明、一串函数声明和一个主程序组成。每个类声明定义一 个类，每个函数声明定义一个函数，而主程序则是由变量声明和语句列组成的 一个分程序Block，它是整个程序的启动部分。
方法和函数的主要区别是它们的调用方式不同，即如果 m是方法名，则只能以发消息的语句或表达式 Receiver.m(e1,...,en)形式调用方法m；如果f是函数名，则按 通常的方式f(……)调用函数f。
1. SOOL语法-语句
语句: 除通常语句外，增加了对象创建语句和发消息语句。
[1] V := new (ClassName) …… 创建对象语句 [2] reseiver.m( ExpList) …… 发送消息语句
BLOCK作用域规则：{ VarDecList;StmList }
由VarDecList声明的变量(称其为临时变量)标识符号，在 StamList内有效。
METHOD作用域规则：
在方法声明中被声明的形参名，在其Block内有效。
2. SOOL语义-声明声明的作用域
CLASS作用域规则：
public成员变量名和成员方法名，在本类和子孙类有效 。
1. SOOL语法-分程序
分程序：Block用来定义主程序体、函数体、方法体。分程序由两部分组成， 其一是声明部分，其二是语句部分。为了简单起见，我们假设Block内的声明里 没有函数、方法声明，即只有变量（称为临时变量）；另外还假设语句部分里 不能有Block语句。 <Block> begin <VecList> <StmList> end
private成员变量名和成员方法名，只在本类有效。为了 简化起见，SOOL特别规定私有名只在私有范围内有效， 即公有方法里不出现私有成员名。
1. SOOL语法-类声明
类声明：每一个类声明均由保留字class打头，并定义一个
Class名。每个类都有其父类，没有父类的类名定义为Object
（根类）。类的成员分为公有(Public)型和私有（Private）型
两种；成员又可分为变量成员和方法成员 。
<ClassDec> class id extend id {
[1] 自定义变量名id（一般变量，形参变量，成员变量） [2] 虚变量名self （预定义对象变量名） [3] 复合型变量x.a （选域变量 ） 因为SOOL语言没有复杂类型的变量，因此变量的语法结构 可描述如下：
<Var> id | self | <Var>.id1. SOOL语 Nhomakorabea-表达式
表达式: 除通常表达式外，增加了发消息表达式：x.m()，其 中x是接受消息的对象变量，m是消息的方法名。