[Top] | [Contents] | [Index] | [ ? ]

# ASIS-for-GNAT User's Guide

ASIS-for-GNAT User's Guide

The GNAT Ada Compiler
GNAT GPL Edition, Version 2011
Configuration level 147314
Date: 2009/07/17

Copyright (C) 2000-2009, AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being "GNU Free Documentation License", with the Front-Cover Texts being "ASIS-for-GNAT User's Guide", and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".

> About This Guide |  |
> 1. Introduction |  |
> 2. Getting Started |  |
> 3. ASIS Overview |  |
> 4. ASIS `Context` |  |
> 5. ASIS Interpreter `asistant` |  |
> 6. ASIS Application Templates |  |
> 7. ASIS Tutorials |  |
> 8. How to Build Efficient ASIS Applications |  |
> 9. Processing an Ada Library by an ASIS-Based Tool |  |
> 10. Compiling, Binding and Linking Applications with ASIS-for-GNAT |  |
> 11. ASIS-for-GNAT Warnings |  |
> 12. Exception Handling and Reporting Internal Bugs |  |
> 13. File Naming Conventions and Application Name Space |  |
> A. GNU Free Documentation License |  |
> Index |  |

> -- The Detailed Node Listing --- About This Guide

> What This Guide Contains |  |
> What You Should Know Before Reading This Guide |  |
> Related Information |  |
> Conventions |  |

> Introduction

> 1.1 What Is ASIS? |  |
> 1.2 ASIS Scope - Which Kinds of Tools Can Be Built with ASIS? |  |

> Getting Started

> 2.1 The Problem |  |
> 2.2 An ASIS Application that Solves the Problem |  |
> 2.3 Required Sequence of Calls |  |
> 2.4 Building the Executable for an ASIS application |  |
> 2.5 Preparing Data for an ASIS Application - Generating Tree Files |  |
> 2.6 Running an ASIS Application |  |

> ASIS Overview

> 3.1 Main ASIS Abstractions |  |
> 3.2 ASIS Package Hierarchy |  |
> 3.3 Structural and Semantic Queries |  |
> 3.4 ASIS Error Handling Policy |  |
> 3.5 Dynamic Typing of ASIS Queries |  |
> 3.6 ASIS Iterator |  |
> 3.7 How to Navigate through the `Asis` Package Hierarchy |  |

> ASIS Context

> 4.1 ASIS `Context` and Tree Files |  |
> 4.2 Creating Tree Files for Use by ASIS |  |
> 4.2.1 Creating Trees for Data Decomposition Annex |  |
> 4.3 Different Ways to Define an ASIS `Context` in ASIS-for-GNAT |  |
> 4.4 Consistency Problems |  |
> 4.4.1 Inconsistent versions of ASIS and GNAT |  |
> 4.4.2 Consistency of a set of tree and source files |  |
> 4.5 Processing Several `Context`s at a Time |  |
> 4.6 Using ASIS with a cross-compiler |  |

> ASIS Interpreter asistant

> 5.1 `asistant` Introduction |  |
> 5.2 `asistant` commands |  |
> 5.3 `asistant` variables |  |
> 5.4 Browsing an ASIS tree |  |
> 5.5 Example |  |

> ASIS Application Templates ASIS Tutorials How to Build Efficient ASIS Applications

> 8.1 Tree Swapping as a Performance Issue |  |
> 8.2 Queries That Can Cause Tree Swapping |  |
> 8.3 How to Avoid Unnecessary Tree Swapping |  |
> 8.4 Using `gnatmake` to Create Tree Files |  |

> Processing an Ada Library by an ASIS-Based Tool Compiling Building and Linking Applications with ASIS-for-GNAT ASIS-for-GNAT Warnings Exception Handling and Reporting Internal Bugs File Naming Conventions and Application Name Space Index

This document was generated by Mail server on April, 19 2011 using texi2html