12、Eiffel的符号约定

Eiffel的符号约定

1 引言

Eiffel是一种面向对象的编程语言，以其简洁的语法和强大的设计原则著称。符号约定在Eiffel语言中扮演着至关重要的角色，确保代码的清晰性和一致性。本篇文章将详细介绍Eiffel语言中的符号约定，帮助读者更好地理解和使用这些约定。

2 标准元素

Eiffel语言的标准元素包括语法、有效性、语义和定义。每个元素都有其特定的作用和规则，共同构成了Eiffel语言的完整规范。以下是这些元素的具体分类：

• 语法 ：影响Eiffel文本结构的规则，包括词法属性和语法本身。
• 有效性 ：对句法上合法文本的限制。
• 语义 ：有效文本执行的属性。
• 定义 ：引入一个术语，用于定义某个概念，可能与语法、有效性或语义属性有关。

2.1 语法

语法规则决定了Eiffel文本的基本结构和组成部分。例如，类的定义、特征的声明、例程的定义等都需要遵循一定的语法格式。以下是Eiffel类定义的一个简单示例：

class
    ACCOUNT
feature
    deposit (amount: INTEGE