/usr/share/covered/doc/html/chapter.gui.assert.source.html is in covered-doc 0.7.10-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Chapter 24. Navigating the Assertion Source Code Window</title><link rel="stylesheet" href="covered.css" type="text/css"><meta name="generator" content="DocBook XSL Stylesheets V1.71.1"><link rel="start" href="index.html" title="Covered User's Guide - 0.7.9"><link rel="up" href="part.gui.html" title="Part IV. Graphical User Interface"><link rel="prev" href="chapter.gui.assert.html" title="Chapter 23. Navigating the Assertion Coverage Window"><link rel="next" href="chapter.gui.new.html" title="Chapter 25. Creating a New CDD"><center><img src="img/banner.jpg"></center><hr></head><body bgcolor="#dfeef8" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Chapter 24. Navigating the Assertion Source Code Window</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="chapter.gui.assert.html"><img src="img/prev.gif" alt="Prev"></a> </td><th width="60%" align="center">Part IV. Graphical User Interface</th><td width="20%" align="right"> <a accesskey="n" href="chapter.gui.new.html"><img src="img/next.gif" alt="Next"></a></td></tr></table><hr></div><div class="chapter" lang="en"><div class="titlepage"><div><div><h2 class="title"><a name="chapter.gui.assert.source"></a>Chapter 24. Navigating the Assertion Source Code Window</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><dl><dt><span class="sect1"><a href="chapter.gui.assert.source.html#section.gui.assert.source.navigate">24.1. Navigating the Source Code</a></span></dt></dl></div><p>
The Assertion Source Viewer window allows the user to see the source code for the current assertion in the
<a href="chapter.gui.assert.html" title="Chapter 23. Navigating the Assertion Coverage Window">verbose assertion window</a>. To view this window, simply click the
<span class="bold"><strong>Show Code</strong></span> button in the Verbose Assertion Coverage window.
<a href="chapter.gui.assert.source.html#figure.gui.assert.source" title="Figure 24.1. Assertion Source Viewer Window">Figure 24.1, “Assertion Source Viewer Window”</a> shows a zero_one_hot OVL assertion code with syntax highlighting applied.
</p><p>
</p><div class="figure"><a name="figure.gui.assert.source"></a><p class="title"><b>Figure 24.1. Assertion Source Viewer Window</b></p><div class="figure-contents"><div class="mediaobject"><img src="img/assert_src.gif" alt="Assertion Source Viewer Window"></div></div></div><p><br class="figure-break">
</p><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="section.gui.assert.source.navigate"></a>24.1. Navigating the Source Code</h2></div></div></div><p>
The source code for the current assertion will be automatically displayed in the text viewer when the window is
created. However, the source code will be displayed as it is found in the file system, without preprocessing
applied to it. This means that included files will not be displayed in an in-lined fashion. To view included
files, simply click on the included filename (it will be underlined). This will cause the included file to replace
its includer in the text viewer. An infinite number of includes may be traversed in this manner. To go back to the
file that included the current file, simply click on the <span class="bold"><strong>Back</strong></span> button located in
the bottom left-hand corner of the window. This will cause the current source code to be replaced with its "parent"
source code.
</p><p>
Note that the <span class="bold"><strong>Back</strong></span> button will be disabled when the top-level assertion file is
currently displayed.
</p><p>
To exit this window, simply click on <span class="bold"><strong>Close</strong></span> button. To see this help page for the
assertion source code window, click on the help (?) button.
</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="chapter.gui.assert.html"><img src="img/prev.gif" alt="Prev"></a> </td><td width="20%" align="center"><a accesskey="u" href="part.gui.html"><img src="img/up.gif" alt="Up"></a></td><td width="40%" align="right"> <a accesskey="n" href="chapter.gui.new.html"><img src="img/next.gif" alt="Next"></a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 23. Navigating the Assertion Coverage Window </td><td width="20%" align="center"><a accesskey="h" href="index.html"><img src="img/home.gif" alt="Home"></a></td><td width="40%" align="right" valign="top"> Chapter 25. Creating a New CDD</td></tr></table></div></body></html>
|