Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.072.185 Times

AdaControl 1.6r8

  Date Added: January 18, 2010  |  Visits: 598

AdaControl

Report Broken Link
Printer Friendly Version


Product Homepage
Download (76 downloads)

AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. AdaControls first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. Searched elements range from very simple, like the occurrence of certaine entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed.. Which elements or constructs are searched is defined by a set of rules; the following table gives a short summary of rules currently checked by AdaControl. The number in parentheses after the rule name gives the number of subrules, if any. Considering all possible rules and subrules, this makes 216 tests that can be performed currently by AdaControl! - Abnormal_Function_Return Controls a design pattern that ensures that a function always returns a result . - Allocators Controls ocurrences of allocators, either all of them, or those targeting specified types. - Array_Declarations (x2) Controls several metrics in array declarations. - Barrier_Expressions Controls elements allowed in the expression of protected entries barriers - Case_Statement (x4) Controls several metrics in case statements. - Control_Characters Controls occurrences of control characters (like tabs) in the source. - Declarations (x75) Controls occurrences of certain Ada declarations. - Default_Parameter Controls subprogram calls and generic instantiations that use (or not) the default value for a given parameter. - Directly_Accessed_Globals Controls a design pattern that ensures that all global variables are accessed only through dedicated subprograms. - Entities Controls occurrences of any Ada entity. - Entity_Inside_Exception Controls occurrences of entities inside exception handlers. - Exception_Propagation (x4) Controls that certain subprograms (or tasks) cannot propagate exceptions, or that no elaboration can propagate exceptions. - Expressions (x9) Controls usage of certain forms of expressions - Global_References Controls unsynchronized accesses to global variables. - Header_Comments (x2) Controls the presence of comments at the start of each module. - If_For_Case Controls if statements that could be replaced by case statements. - Instantiations Controls generic instantiations, either all of them, or those that use specified entities. - Insufficient_Parameters Controls the use of positional parameters in calls where the value does not provide sufficient information. - Local_Hiding Controls occurrences of local identifiers that hide an identical outer one. - Local_Instantiation Controls instantiations in local scopes. - Max_Blank_Lines Controls the occurrence of more than a specified number of consecutive empty lines. - Max_Call_Depth Controls the maximum depth of subprogram calls. - Max_Line_Length Controls maximal length of source lines. - Max_Nesting Controls scopes nested more deeply than a given limit. - Max_Parameters (x6) Controls the maximum numbers of parameters in callable entities (procedures, functions and entries) - Max_Statement_Nesting (x5) Controls composite statements nested more deeply than a given limit. - Movable_Accept_Statements Controls statements that could be moved outside an accept statement. - Naming_Convention Controls the form of allowed (or forbidden) names in declarations. - No_Safe_Initialization Controls a design pattern that ensures that any variable is initialized before being used. - Non_Static (x3) Controls non static expressions in index or discriminant constraints, or in instantiations. - Not_Elaboration_Calls Controls subprogram calls performed from places outside package elaboration code. - Other_Dependencies Controls semantic dependencies to other units than those indicated - Parameter_Aliasing Controls subprograms and entry calls where a variable is provided to more than one [in] out parameter. - Potentially_Blocking_Operations Controls the use of potentially blocking operations from within protected operations. - Pragmas Controls the use of specific pragmas. - Real_Operators Controls occurrences of = or /= operators on real types. - Reduceable_Scope Controls declarations that could be move to more deeply nested scopes. - Representation_Clauses Controls occurrences of representation clauses. - Return_Type Controls the use of certain kinds of types as return types of functions. - Side_Effect_Parameters Controls subprogram calls and generic instantiations that call functions with side effect, thus creating a dependance to the order of evaluation. - Silent_Exceptions Controls exception handlers that do not reraise exceptions nor call indicated subprograms. - Simplifiable_Expressions (x4) Controls occurrences of various forms of expressions that could be simplified. - Special_Comments Controls the presence of certain string patterns in comments. - Statements (x42) Controls occurrences of Ada statements. - Style (x12) Controls various forms of constructs generally recommended in style rules. - Terminating_Tasks Controls a design pattern that ensures that tasks never terminate. - Uncheckable (x3) Controls constructs that are not statically checkable by other rules - Unnecessary_Use_Clause Controls use clauses on packages, where no element of the package is referred to within the scope of the use clause. - Unsafe_Paired_Calls Controls a design pattern that ensures that certain calls are allways paired (like P/V procedures). - Unsafe_Unchecked_Conversion Controls instantiations of Unchecked_Conversion between types of different or unspecified sizes. - Usage (x5) Controls usage of objects under certain conditions (in package specifications, read, written modified...). - Use_Clauses Controls occurrences of use clauses, except for indicated packages. - With_Clauses (x3) Controls proper usage of with clauses. Whats New in This Release: - This release adds rules to check that header comments match a given pattern. - It has indication of possible false positives and false negatives due to non-statically analyzable constructs. - There is a fine definition of constructs allowed in entry barriers (including the one of the Ravenscar profile). - There is better integration into GPS, and much more..

Requirements: No special requirements
Platforms: Linux
Keyword: Adacontrol Assembler Tools Calls Certain Constructs Controls Design Pattern Occurrences Programming Statements Use Of
Users rating: 0/10

License: Freeware Size: 1024 KB
ADACONTROL RELATED
Modules  -  Observer Design Pattern 1.1
This class implements the observer design pattern. Acting as a registration hub, it fires simple Events when requested.
 
Miscellaneous  -  Null Object Design Pattern 1.0
This script is a sample implementation of the 'Null Object' design pattern. Roughly, the goal with Null objects is to provide an 'intelligent' replacement for the often used primitive data type None in Python or Null (or Null pointers) in other...
 
Miscellaneous  -  Memento design pattern in python 1.0
Memento design pattern in python script allows you to cache instances based on what arguments are passed to them.
 
Web Site Promotion  -  ApPHP MVC Framework 1.0.3
ApPHP MVC Framework is designed to provide modern and rapid development of websites, web applications and web services. It implements the the Model-View-Controller (MVC) design pattern and principles, including separation of display, logic, and...
1.85 MB  
Web Site Promotion  -  Direct PHP Framework 0.3.4
Direct PHP Framework is designed to provide modern and rapid development of websites, web applications and web services. It implements the the Model-View-Controller (MVC) design pattern and principles, including separation of display, logic, and...
516.07 KB  
Web Site Promotion  -  MVC Framework in PHP 0.4.0
MVC Framework in PHP is designed to provide modern and rapid development of websites, web applications and web services. It implements the the Model-View-Controller (MVC) design pattern and principles, including separation of display, logic, and...
792.95 KB  
Libraries  -  Class::Adapter 1.02
Class::Adapter is a Perl implementation of the "Adapter" Design Pattern. The Class::Adapter class is intended as an abstract base class for creating any sort of class or object that follows the Adapter pattern. What is an Adapter? The term...
24.58 KB  
Programming  -  wxWidgets 2.8.4
wxWidgets is a cross-platform C++ GUI library, offering classes for all common GUI controls as well as a comprehensive set of helper classes for most common application tasks, ranging from networking to HTML display and image manipulation....
 
Video Editors  -  MPlayer Tools 5.2.20061015
MPlayer Tools is a collection of utilities that eases the use of MPlayer. If you have a TV tuner, you can use MPlayer Tools to record and timeshift easily. MPlayer Tools also remembers movies and positions, so you can resume a movie with a short...
50.18 KB  
Miscellaneous  -  Handler stack 2.2
This script presents a design pattern that is highly reusable. Simple handlers implement one specific task from a complex set of tasks to be performed on an object. Such handlers can then be layered in a stack, in different combinations, together...
 
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB