package - Specman e：所有文件都以“包”一词开头 - 这是什么意思？

Question

在我的验证环境中，所有 e 文件都以“package”一词开头，即：

<'
    package spi;
.
.
.
'>

你知道这是什么意思吗？谢谢您的帮助。

Answer 1

package是中的一个封装概念e。它类似于namespacein C++。这意味着，例如，foo在一个包内调用的结构与在不同包内调用的结构完全不同foo。

Answer 2

除了创建命名空间（避免名称冲突）之外，它还允许对类型和结构成员使用访问控制。类型、字段、方法或事件可以声明为package-private，例如：

package type color: [RED, GREEN];

struct packet {
    package foo() is { ... };
};

使用访问修饰符声明的类型或结构成员package只能从同一个包中访问。private顺便说一句，对于结构成员，还有protected访问修饰符。protected表示不能从不同的结构中访问该字段或方法，private仅表示packageand protected。（请注意，这些访问修饰符的含义与 C++ 或 Java 中的不同；例如，在 C++ 中 和 之间的区别在于protected成员private是否可以从同一个确切的类中访问，或者从类及其子类中访问） .