Question

在我的验证环境中，所有电子文件都以＆＃34; package＆＃34;开头，即：

<'
    package spi;
.
.
.
'>

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

Answer 1

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

Answer 2

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

package type color: [RED, GREEN];

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

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

Specman e：所有文件都以＆＃34; package＆＃34;开头。 - 这是什么意思？

2 个答案: