Specman 如何从文件中读取特定行，没有循环

Specman how to read a specific line from a file, with no loop

我有一个很长的文件，我想从第一个序列行中读取特定的行。 有没有一种方法可以做到这一点而无需遍历整个文件并计算行数？

例如files.read，从哪一行获取索引？

谢谢

您可以使用预定义的方法files.get_text_lines()。