教学课件 编译原理－金成植.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1. SOOL语法-分程序 分程序：Block用来定义主程序体、函数体、方法体。分程序由两部分组成，其一是声明部分，其二是语句部分。为了简单起见，我们假设Block内的声明里没有函数、方法声明，即只有变量（称为临时变量）；另外还假设语句部分里不能有Block语句。 Block ? begin VecList StmList end 1. SOOL语法-类声明 类声明：每一个类声明均由保留字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; 1. SOOL语法-类型 类型：整数类型，实数类型，布尔类型，类类型，虚类型。其中虚类型用void符号来表示，其含义与C语言相同。 ty ? integer | real | boolean | void | classname 1. SOOL语法-变量声明 变量声明:变量声明均由保留字var打头，并定义一些变量标识符，例如： var i,j,k :integer; var x,y : C ( C是类名) 由Class名定义的变量称之为对象变量。对象变量的值是一个对象，而对象则代表一个对象空间。对象空间都包含哪些内容，完全依赖于定义对象变量的类Class。 VarDec? var IdList :Ty 1. SOOL语法-函数方法声明 函数声明和方法声明: 函数声明由保留字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. SOOL语法-语句 语句: 除通常语句外，增加了对象创建语句和发消息语句。 [1] V := new (ClassName) …… 创建对象语句 [2] reseiver.m( ExpList) …… 发送消息语句 其中ClassName 是Class名，reseiver是对象变量或虚对象变量self。 1. SOOL语法-变量 变量: 除通