> Compilers
- AdaMagic
- AppletMagic
> FAQs
AdaMagic™
Pioneering Ada Compiler Technology
SofCheck’s AdaMagic technology is a set of components for
incorporation in compilers and other tools that must process Ada 95 source
code. The primary component of AdaMagic is an Ada 95 Front End that inputs
the source, parses it, performs semantic analysis, and creates symbol
tables and intermediate representations for code generation.
Sharing Code Generators
AdaMagic Front End was developed to be connected to the Back End (Code
Generator) of existing Ada, C, or C++ compilers and supports an integrated,
multi-language approach. By sharing a code generator with C and C++, AdaMagic
reduces costs while increasing interoperability and run-time performance.
Rapid Compilation
AdaMagic is fast. Syntax analysis runs at approximately 350,000 lines
per minute on Sun SPARC stations and Pentium PCs. The entire parsing and
semantic analysis process, including overloading and separate compilation,
runs at about 150,000 lines per minute. The entire Front End – from
reading source code to emitting the Intermediate Language – runs
at 100,000 lines per minute. All measurements are taken on real application
code, and are stated in non-comment, non-blank lines per wall-clock minute.
Designed for Easy Integration
AdaMagic is available to compiler vendors, hardware manufacturers, tool
developers, and others needing efficient Ada 95 source code processing.
Since the Front End makes a single pass over the source code, calling
replaceable “emitter” routines as it completes the processing
of each Ada statement, a compiler manufacturer can modify the emitter
routines to create existing Intermediate Representations so that existing
code generators can be used unmodified. IDE and other tool vendors can
use tailored emitters to generate any semantics-based information needed.
In addition, the C-generating version can be used to provide a very rapid
path to integration, where in a matter of days a fully functional Ada
95 system can be created for any target with an ANSI C compiler.
AdaMagic is available to license to compiler and tool vendors; Aonix, Green Hills Software and other chip and tool vendors have licensed AdaMagic and incorporated it in their product lines.
| Toolset Features | |
| • | ANSI-C-generating version of AdaMagic is fully validated and highly optimizing, enabling a production-quality Ada capability on any machine with an ANSI C compiler. |
| • | AdaMagic front end generates cross-reference database which can be used to support graphical class-browsing web-based source code browsing, information flow analysis, etc. |
| • | Extensive error recovery is incorporated into the syntax and semantic checking of AdaMagic, minimizing the number of compilations required to find all the errors. |
| • | AdaMagic recognizes the compatible subset of Ada ’83 and Ada 95, which will help users transition from the old standard to the new. |
AppletMagic™
AppletMagic is SofCheck’s proprietary tool
that converts Ada 95 source code to Java bytecode, simplifying the development
of complex, high-reliability applets.
The AppletMagic compiler allows its users to construct these portable
Java applets or applications using the Ada 95 language. Once translated,
the Ada 95/Java applets execute in the context of any network, web browser,
or compatible device that supports the Java platform. AppletMagic supports
interoperability between Java and Ada 95, including the extension of Java
object classes with Ada 95 tagged records and vice versa, and can be used
as a supplement or alternative to Java.
AppletMagic is a simple tool to use, and comes
with documentation and some sample class libraries and applets.
© 2002-2010 SofCheck, Inc. All rights reserved. SofCheck, SofCheck Inspector, AdaMagic, ERA Framework, and SofPort are trademarks of SofCheck, Inc. |