gnatcheck(1) [debian man page]
GNATCHECK(1) ASIS Tools GNATCHECK(1) NAME
gnatcheck - The GNAT rule checking tool SYNOPSIS
gnatcheck [OPTION]... filename [-cargs gcc_switches] [-rules rule_switches] gnatcheck [OPTION]... -files=filename [-cargs gcc_switches] [-rules rule_switches] DESCRIPTION
gnatcheck checks the conformance of Ada source text with rules and produces a report file for later analysis as well as on standard output. In the first form, gnatcheck examines the specified Ada source files (wildcards are allowed). In the second form, gnatcheck examines the Ada source files listed in the specified file. gnatcheck is an ASIS application developed on top of the ASIS implementation for GNAT. As such, it reads tree files (*.adt) produced by the compiler to accomplish its goals, and invokes gnatgcc for this. OPTIONS
-a Process RTL units. -cargs gcc_switches Pass gcc_switches to GCC when producing the tree files. -d Debug mode. -dd Progress indicator mode, for use in the GNAT Programming Studio. -h Print the list of built-in rules. -l Full source location chains in report file. -q Quiet mode: do not report detections on standard output. -rules rule_switches rule_switches can be any combination of the following: -from=file Read rule options from file +ALL Turn all rules on. -ALL Turn all rules off. +Rrule_id[:param[,param...]] Turn the specified rule on, passing it optional parameters. -Rrule_id Turn the specified rule off. +Rrule_id[:param[,param...]] Turn off some of the checks for the specified rule. rule_id is any of the rules listed with the -h option. -s Short form of the report file. -sn Include only section n (n in 1 .. 3) in the report file. -v Verbose mode. AUTHOR gnatcheck was written by AdaCore (http://www.adacore.com). This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project, from information in the sources of gnatcheck. COPYRIGHT
gnatcheck is Copyright (c) 2004-2007 AdaCore This manual page is Copyright (C) 2008 Ludovic Brenta <ludovic@ludovic-brenta.org>. SEE ALSO
asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1) The full documentation for gnatcheck in /usr/share/doc/asis-programs/README.gnatcheck. info asis_ug ASIS-for-GNAT User's Guide info asis_rm ASIS-for-GNAT Reference Manual GNU Ada Tools March 2008 GNATCHECK(1)
Check Out this Related Man Page
ADA2WSDL(1) AWS User's Guide ADA2WSDL(1) NAME
ada2wsdl - Generate a WDSL document from an Ada package specification SYNOPSIS
ada2wsdl [options] ada_spec DESCRIPTION
The Ada Web Server is a library that allows you to embed a web server into your Ada application. It provides not only HTTP but also SOAP, WSDL and several other facilities. Thus you can write full-fledged web applications. WSDL (Web Service Definition Language) is a language based on XML. WSDL documents describe, in a formal way, the interface to Web Ser- vices. This description consists of the end-point (URL to the server offering the service), the SOAPAction (needed to call the remote pro- cedure), the procedure names and a description of the input and output parameters. Using ada2wsdl, you can create a WSDL document that describes Web Services provided by an Ada package. ada2wsdl uses ASIS to parse your Ada package specification, and generates a WSDL document by mapping Ada types to Web Services types, and Ada subprograms to operations. Please see the AWS User's guide for more details on how ada2wsdl works, and how you can use it to develop web services. OPTIONS
-a url Specify the URL for the Web Server address. Web Services will be available at this address. A port can be specified on the URL, http://server[:port]. The default value is http://.../. -f Force creation of the WSDL file. Overwrite exiting file with the same name. -I path Add path option for the ASIS compilation step. This option can appear any number of time on the command line. -noenum Do not generate WSDL representation for Ada enumerations, map them to standard string. -o file Generate the WSDL document into file. -q Quiet mode (no output). -s name Specify the Web Service name for the WSDL document, by default the spec package's name is used. -v Verbose mode, display the parsed spec. BUGS
ada2wsdl does not handle constrained arrays in records. Unbounded_String are supported with full interoperability only inside a record. Only unconstrained arrays are supported. Arrays with multiple dimensions are not supported. SEE ALSO
awsres(1), wsdl2aws(1) The Ada Web Server User's Guide in package libaws-doc. AUTHOR
wsdl2aws was written by Dmitriy Anisimkov <anisimkov@yahoo.com> and Pascal Obry <p.obry@wanadoo.fr> as part of the Ada Web Server. This manual page was written by Ludovic Brenta <ludovic.brenta@insalien.org> for Debian GNU/Linux. GNU Ada Tools 11 JUN 2004 ADA2WSDL(1)