asis-programs_2014-4_amd64.deb


Advertisement

Description

asis-programs - Ada Semantic Interface Specification (ASIS) example programs

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name asis-programs
Package version 2014
Package release 4
Package architecture amd64
Package type deb
Installed size 14.64 KB
Download size 2.53 MB
Official Mirror ftp.br.debian.org
ASIS (Ada Semantic Interface Specification) lets you develop applications
to walk through the sources of your Ada programs and examine the semantic
constructs.
* asistant is an interactive command-line tool to explore the ASIS parse tree
of a program.
* gnatcheck verifies the conformance of source text to coding conventions
* gnatelim finds out unused subprograms and eliminates them.
* gnatmetric calculates metrics such as code complexity.
* gnatpp is a pretty-printer which reformats Ada source text according to
a default or user-specified style guide.
* gnatstub generates an empty but compilable body for a given specification.
* gnattest creates AUnit test skeletons and harness for a project
(gnattest requires the libaunit development package to be installed)

Alternatives

Package Version Architecture Repository
asis-programs_2014-4_i386.deb 2014 i386 Debian Main
asis-programs - - -

Requires

Name Value
gnat -
gnat-4.9 -
libasis2014 -
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libgnat-4.9 >= 4.9.1-3
libgnatcoll1.6 -
libgnatprj4.9 >= 4.9.1-3
libgnatvsn4.9 >= 4.9.1-3

Download

Type URL
Binary Package asis-programs_2014-4_amd64.deb
Source Package asis

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install asis-programs deb package:
    # sudo apt-get install asis-programs

Files

Path
/usr/bin/asistant
/usr/bin/gnat2xml
/usr/bin/gnatcheck
/usr/bin/gnatelim
/usr/bin/gnatmetric
/usr/bin/gnatpp
/usr/bin/gnatstub
/usr/bin/gnattest
/usr/share/doc/asis-programs/changelog.Debian.gz
/usr/share/doc/asis-programs/changelog.gz
/usr/share/doc/asis-programs/copyright
/usr/share/man/man1/asistant.1.gz
/usr/share/man/man1/gnat2xml.1.gz
/usr/share/man/man1/gnatcheck.1.gz
/usr/share/man/man1/gnatelim.1.gz
/usr/share/man/man1/gnatmetric.1.gz
/usr/share/man/man1/gnatpp.1.gz
/usr/share/man/man1/gnatstub.1.gz
/usr/share/man/man1/gnattest.1.gz

Changelog

2014-10-21 - Ludovic Brenta <lbrenta@debian.org>
asis (2014-4) unstable; urgency=medium
* debian/patches/report_unexpected_gnat_version.diff: delete; caused
ASIS to report a "wrong" version of GNAT if Gnatvsn.Gnat_Version_String
returned a string lacking a "(" in it.
* debian/patches/weak_version_check.diff: new.  Do not check the version
string of the compiler embedded in the tree files against
Gnatvsn.Gnat_Version_String.  Checking only the tree version number
(Tree_IO.ASIS_Version_Number, in libgnatvsn) is sufficient.
Closes: #765467.
2014-10-06 - Nicolas Boulenguez <nicolas@debian.org>
asis (2014-3) unstable; urgency=medium
* Extra priority: asis-programs depends on gnatcoll, asis-dev on gnatvsn-dev.
2014-10-04 - Nicolas Boulenguez <nicolas@debian.org>
asis (2014-2) unstable; urgency=medium
* control: fix typo and version: asis-programs Recommends: libaunit-dev.
2014-10-04 - Nicolas Boulenguez <nicolas@debian.org>
asis (2014-1) unstable; urgency=medium
[Nicolas Boulenguez]
* Repackage without GFDL documentations.
* copyright: upstream license change from GPL 2 -> 3.
* Depend on gnatcoll, xmlada and gnatprj to build most executables.
* Manual pages: update doc references, remove authors (see man-pages(7)).
* Replace confusing and buggy get-orig-source with detailed README.source.
* Priority: -dev extra because Depends: libgnatvsn-dev.
* Avoid a GCC version check (redundant ant triggers #759038.
* Move -dbg to priority extra to please lintian.
* Standards-Version: 3.9.6 (no changes).
[Ludovic Brenta]
* New upstream release.  Package renamings per Debian Policy for Ada:
libasis2013{,-dev} -> libasis2014{,-dev}
* debian/patches/remove_ada_tree_predicate.diff: refresh.
* debian/rules (gnat2xsd): removed upstream, do not build anymore.
2014-05-01 - Nicolas Boulenguez <nicolas@debian.org>
asis (2013-1) unstable; urgency=low
[Nicolas Boulenguez]
* New upstream version. Relies on gnat-4.9. Gnatsync removed.
Per policy, 3 package renamings, no Replaces/Conflicts.
Bug #642980 is closed in gnat-4.8, work-around removed.
remove_ada_tree_predicate.diff: predicate misused, 4.9 detects it.
* control: -dev Suggests asis-doc, not libasis-doc.
* rules: get-orig-source may be called outside the source directory.
Remove run times assertions and style checking.
Run-tests target obsoleted by sadt from devscripts.
* Standards-Version: 3.9.5 (no changes).
[Ludovic Brenta]
* Do not build gnatcheck anymore as it requires gnatcoll which is not
yet packaged.
2013-09-14 - Nicolas Boulenguez <nicolas@debian.org>
asis (2010-6) unstable; urgency=low
* Switch to dpkg-source 3.0 (quilt) format.
* Uploaders += myself, removed obsolete DM-Upload-Allowed for Xavier.
* Rely on dpkg-dev and dh-ada-library for (hardening) flags.
Actually set library_kind when building tools.
Let gnatmake decide if recompilation is needed.
Do not set ALI files read-only (dh_fixperms handles this now).
* Switch to debhelper 9. Readers now handle compressed pdf.
Install README only once (in asis-doc).
* Switch to dh-ada-library. -dbg is now Multi-Arch: same.
* rules, *.gpr: consistent naming for persistent obj directories.
* Lintian: GFDL is mentioned in the patch removing it. Closes: #708779.
-dbg->lib dependency is generated in ada:Depends, not forgotten.
* copyright: adapt to the machine-readable format 1.0.
* Minimal link-with-shared test.
* Doc-base registration. Use texi2any instead of texi2html. Ignore texiplus.
* control: Standards-Version: 3.9.4. VCS-*. Homepage. Commented watch file.
* Replace - with \- in manpages.
* patches: refreshed without timestamps.
* Avoid duplicate installed README files. Avoid duplicate cleaning recipes.

See Also

Package Description
ask_1.0.1-2_all.deb Adaptive Sampling Kit for big experimental spaces
asmail_2.1-4_amd64.deb AfterStep mail monitor
asmix_1.5-4.1_amd64.deb display a volume knob
asmixer_0.5-14_amd64.deb AfterStep audio mixer
asmon_0.71-5_amd64.deb system resource monitor dockapp for Afterstep and WindowMaker
asn1c_0.9.24+dfsg-1_amd64.deb ASN.1 compiler for C
asp.net-examples_3.8-2.1_all.deb demo pages for ASP.NET infrastructure
asp_1.8-8_amd64.deb Discovers present ip-address of dynamically connected hosts
aspcud_1.9.0-2_amd64.deb CUDF solver based on Answer Set Programming
aspectc++_1.2-1_amd64.deb aspect-oriented programming extension for C++
aspectj-doc_1.8.3-2_all.deb aspect-oriented extension for Java - documentation
aspectj_1.8.3-2_all.deb aspect-oriented extension for Java - tools
aspell-am_0.03-1-5_all.deb Amharic dictionary for aspell
aspell-ar-large_1.2-0-3_all.deb Large Arabic dictionary for aspell
aspell-ar_0.0.20060329-5_all.deb Arabic dictionary for aspell
Advertisement
Advertisement