Difference between revisions of "AdaControl"

From Free Software Directory
Jump to: navigation, search
(Debian import)
 
m (Completed info (by program author))
Line 1: Line 1:
 
{{Entry
 
{{Entry
|Status=
 
|User level=
 
|Submitted by=Debian import
 
|Computer languages=Ada
 
 
|Name=Adacontrol
 
|Name=Adacontrol
|Submitted date=2013-03-20
 
 
|Short description=Ada rules controller
 
|Short description=Ada rules controller
|VCS checkout command=
 
 
|Full description=AdaControl verifies that Ada software meets the requirements of a
 
|Full description=AdaControl verifies that Ada software meets the requirements of a
 
number of parameterizable rules.  It is not intended to
 
number of parameterizable rules.  It is not intended to
 
supplement checks made by the compiler, but rather to search for
 
supplement checks made by the compiler, but rather to search for
 
particular violations of good-practice rules, or to check that
 
particular violations of good-practice rules, or to check that
some rules are obeyed project-wide. This package also contains
+
some rules are obeyed project-wide.  
the following utilities:
+
 
 +
This package also contains the following utilities:
  
 
* pfni: Print Full Name Image - expands any identifier to a
 
* pfni: Print Full Name Image - expands any identifier to a
fully-qualified    name  * ptree: Prints a graphic representation
+
fully-qualified    name   
 +
 
 +
* ptree: Prints a graphic representation
 
of an ASIS tree with corresponding    source
 
of an ASIS tree with corresponding    source
|Component programs=
+
|Homepage URL=http://www.adalog.fr/en/adacontrol.html
|Homepage URL=http://www.adalog.fr/adacontrol2.htm
+
|Computer languages=Ada
 +
|Paid support=http://www.adalog.fr/en/adacontrol.html#maintenance
 +
|Keywords=ada,coding rules,checker
 +
|Version status=mature
 +
|Submitted by=Debian import
 +
|Submitted date=2013-03-20
 +
|Status=
 
|Is GNU=No
 
|Is GNU=No
}}
 
{{Import
 
|Date=2013-03-20
 
|Source=Debian import
 
|Source link=http://packages.debian.org/sid/adacontrol
 
 
}}
 
}}
 
{{Project license
 
{{Project license
 +
|License=GPLv2orlater
 +
|License copyright=© Copyright (C) 2005-2015 Eurocontrol/Adalog
 +
|License verified by=Debian
 
|License verified date=2013-03-20
 
|License verified date=2013-03-20
|License verified by=Debian
 
|License copyright=© Copyright (C) 2005-2008 Eurocontrol/Adalog
 
 
|License=GPLv2orlater
 
 
|License note=License: GPL-2+
 
|License note=License: GPL-2+
  
Line 38: Line 35:
 
}}
 
}}
 
{{Project license
 
{{Project license
 +
|License=Other
 +
|License copyright=© Copyright (C) 2005-2015 Eurocontrol/Adalog
 +
|License verified by=Debian
 
|License verified date=2013-03-20
 
|License verified date=2013-03-20
|License verified by=Debian
 
|License copyright=© Copyright (C) 2005-2008 Eurocontrol/Adalog
 
 
|License=Other
 
 
|License note=License:  
 
|License note=License:  
  
Line 51: Line 47:
 
}}
 
}}
 
{{Project license
 
{{Project license
 +
|License=GPLv2orlater
 +
|License copyright=© Copyright (C) 2006-2012 Ludovic Brenta
 +
|License verified by=Debian
 
|License verified date=2013-03-20
 
|License verified date=2013-03-20
|License verified by=Debian
 
|License copyright=© Copyright (C) 2006-2012 Ludovic Brenta
 
 
|License=GPLv2orlater
 
 
|License note=License: GPL-2+
 
|License note=License: GPL-2+
  
Line 62: Line 57:
 
{{Person
 
{{Person
 
|Real name=http://www.adalog.fr
 
|Real name=http://www.adalog.fr
 +
|Role=contact
 +
|Email=rosen@adalog.fr
 
|Resource URL=
 
|Resource URL=
|Role=contact
+
}}
|Email=
+
{{Software category
 +
|Interface=command-line
 +
|Runs-on=Windows, BSD, OS X
 +
|Software-development=static-analysis
 +
|Use=software-development
 +
}}
 +
{{Featured}}
 +
{{Import
 +
|Date=2013-03-20
 +
|Source=Debian import
 +
|Source link=http://packages.debian.org/sid/adacontrol
 
}}
 
}}

Revision as of 12:40, 19 March 2015


[edit]

Adacontrol

http://www.adalog.fr/en/adacontrol.html
Ada rules controller

AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide.

This package also contains the following utilities:

  • pfni: Print Full Name Image - expands any identifier to a

fully-qualified name

  • ptree: Prints a graphic representation

of an ASIS tree with corresponding source





Licensing

License

Verified by

Verified on

Notes

Verified by

Debian

Verified on

20 March 2013

Notes

License: GPL-2+ GPL-2+ GNU GPL v2 or later; see /usr/share/common-licenses/GPL-2.

License

Other

Verified by

Debian

Verified on

20 March 2013

Notes

License:

This document may be copied, in whole or in part, in any form or by any means, as is or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this

copyright notice is included unmodified in any copy.




Leaders and contributors

Contact(s)Role
http://www.adalog.fr contact


Resources and communication

AudienceResource typeURI
Debian (Ref) (R)https://tracker.debian.org/pkg/adacontrol


Software prerequisites




Entry














"contact" is not in the list (Maintainer, Contributor, Developer, Sponsor, Unknown) of allowed values for the "Role" property.





Date 2013-03-20
Source Debian import
Source link http://packages.debian.org/sid/adacontrol

[[Category:]]



Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.