/[eiffelstudio]/vendor/gobosoft.com/gobo/current/doc/gelint/index.xml
ViewVC logotype

Contents of /vendor/gobosoft.com/gobo/current/doc/gelint/index.xml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 90767 - (show annotations)
Tue Jan 22 00:56:30 2013 UTC (6 years, 8 months ago) by manus
File MIME type: text/xml
File size: 2509 byte(s)
Updated svn:eol-style to be native and svn:mime-style to be text/xml

1 <?xml version="1.0"?>
2
3 <!--
4 description:
5
6 "Gobo Eiffel Lint"
7
8 tool: "Gobo Eiffel Lint"
9 copyright: "Copyright (c) 2006, Eric Bezault and others"
10 license: "MIT License"
11 date: "$Date$"
12 revision: "$Revision$"
13 -->
14
15 <chapter xmlns="http://www.gobosoft.com/eiffel/gobo/documentation" id="gelint/index">
16 <chapterinfo>
17 <copyright>
18 <year>2006</year>
19 <holder>Eric Bezault</holder>
20 </copyright>
21 <author>
22 <firstname>Eric</firstname><surname>Bezault</surname>
23 </author>
24 <email>ericb@gobosoft.com</email>
25 <date>5 March 2006</date>
26 </chapterinfo>
27
28 <title>Gobo Eiffel Lint</title>
29
30 <para>
31 <projectname>Gobo Eiffel Lint</projectname>, or <projectname>gelint</projectname>
32 for short, is a companion tool of <link linkend="../gec/index">
33 <projectname>gec</projectname></link>. It's a <ulink
34 url="http://en.wikipedia.org/wiki/Lint_programming_tool">lint-like</ulink> tool
35 for Eiffel. In addition to reporting errors found by compilers, it also goes
36 further and tries to report suspicious language usage such as code that may lead
37 to CAT-calls at run-time by performing system-level static analysis of the code.
38 Contrary to some Eiffel compilers, <projectname>gelint</projectname> will report
39 as many errors as possible in one go, both in live and dead Eiffel code.
40 </para>
41
42 <para>
43 This documentation of <projectname>gelint</projectname> is structured as follows:
44
45 <blockquote>
46 <variablelist>
47 <varlistentry>
48 <term>
49 <link linkend="usage">Using <projectname>gelint</projectname></link>
50 </term>
51 <listitem><para>
52 Command-line options, Ace files.
53 </para></listitem>
54 </varlistentry>
55 <varlistentry>
56 <term>
57 <link linkend="technology">Code Analysis Technology</link>
58 </term>
59 <listitem><para>
60 Code analysis techniques used in <projectname>gelint</projectname>.
61 </para></listitem>
62 </varlistentry>
63 <varlistentry>
64 <term>
65 <link linkend="limitations">Limitations</link>
66 </term>
67 <listitem><para>
68 Limitations, bugs and other deficiencies.
69 </para></listitem>
70 </varlistentry>
71 <varlistentry>
72 <term>
73 <link linkend="see_also">See Also</link>
74 </term>
75 <listitem><para>
76 Bibliographical references, related resources and
77 acknowledgments.
78 </para></listitem>
79 </varlistentry>
80 <varlistentry>
81 <term>
82 <ulink url="http://www.gobosoft.com/eiffel/gobo/download.html">Downloading
83 Instructions</ulink>
84 </term>
85 <listitem><para>
86 License agreement and downloading instructions.
87 </para></listitem>
88 </varlistentry>
89 </variablelist>
90 </blockquote>
91
92 </para>
93
94 </chapter>

Properties

Name Value
svn:mime-type text/xml

  ViewVC Help
Powered by ViewVC 1.1.23