编译原理－金成植--第11章-对象式语言的实现.pptVIP

第十一章 对象式语言的实现 SOOL语言的语法 SOOL语言的语义 SOOL的语义分析 SOOL的目标代码生成 1. SOOL语法-程序 1. SOOL语法-分程序 1. SOOL语法-类声明 1. SOOL语法-类型 1. SOOL语法-变量声明 1. SOOL语法-函数方法声明 1. SOOL语法-语句 1. SOOL语法-变量 1. SOOL语法-表达式 2. SOOL语义-的作用域 2. SOOL语义-声明声明的作用域 2. SOOL语义-Class声明的语义 2. SOOL语义-语句的语义 2. SOOL语义-语句的语义 2. SOOL语义-语句的语义 3. SOOL语言的语义分析 3. SOOL语言的语义分析 3. SOOL语言的语义分析 3. SOOL语言的语义分析 3. SOOL语言的语义分析 3. SOOL语言的语义分析 4. SOOL的目标代码 4. SOOL的目标代码 4. SOOL的目标代码 4. SOOL的目标代码 4. SOOL的目标代码 4. SOOL的目标代码 4. SOOL的目标代码 * * 程序：由一串类声明、一串函数声明和一个主程序组成。每个类声明定义一个类，每个函数声明定义一个函数，而主程序则是由变量声明和语句列组成的一个分程序Block，它是整个程序的启动部分。 Program ? ClassDecList FuncDecListMainPart ClassDecList?ClassDec1; …….ClassDeck; FuncDecList?FuncDec1; …….FuncDeck; MainPart? main Block 分程序：Block用来定义主程序体、函数体、方法体。分程序由两部分组成，其一是声明部分，其二是语句部分。为了简单起见，我们假设Block内的声明里没有函数、方法声明，即只有变量（称为临时变量）；另外还假设语句部分里不能有Block语句。 Block ? begin VecList StmList end 类声明：每一个类声明均由保留字class打头，并定义一个Class名。每个类都有其父类，没有父类的类名定义为Object（根类）。类的成员分为公有(Public)型和私有（Private）型两种；成员又可分为变量成员和方法成员 。 ClassDec ? class id extend id { PublicPartPrivatePart } PublicPart ? public MemberDec; | ? PrivatePart ? private Memberdec; | ? MmemberDec? VarDecList MethodDecList VarDecList ? VarDec1 ;……,VarDeck; MethodDecList? MethodDec1;……, MethodDeck; 类型：整数类型，实数类型，布尔类型，类类型，虚类型。其中虚类型用void符号来表示，其含义与C语言相同。 ty ? integer | real | boolean | void | classname 变量声明:变量声明均由保留字var打头，并定义一些变量标识符，例如： var i,j,k :integer; var x,y : C ( C是类名) 由Class名定义的变量称之为对象变量。对象变量的值是一个对象，而对象则代表一个对象空间。对象空间都包含哪些内容，完全依赖于定义对象变量的类Class。 VarDec? var IdList :Ty 函数声明和方法声明: 函数声明由保留字function打头，而方法声明则由保留字method打头 ，每个函数和方法声明都有其类型，若其类型标志为void，则没有返回值，否则有返回值。 FuncDec ? function id (ParamDecList):ty Block MethodDec ? method id (ParamDecList):ty Block ParamDecList ? ParamDec1,……,ParamDeck ParamDec ? id :ty 方法和函数的主要区别是它们的调用方式不同，即如果m是方法名，则只能以发消息的语句或表达式Receiver.m(e1,...,en)形式调用方法m；如果f是函数名，则按通常的方式f(……)调用函数f。 语句: 除通常语句外，增加了对象创建语句和发消息语句。 [1] V := new (ClassName