A software development environment that permits early detection of problems
that arise in porting a program to a number of different platforms. In the
environment, the source code for the program to be ported is compiled
together with a set of header files or other database that describes the
different platforms. The compiler emits a list of porting problems that
the program source code has with respect to the platforms. Also included
in the environment are run-time binary code that detects porting problems
for the different platforms at run time and a library of run-time routines
that deal with particular porting problems. The header files, the run-time
binary code for the platform, and the run-time routines are generated by a
meta-compiler from a description of the differences between the platforms
written in the AdI language. Also generated is platform proof source code
which tests whether the description of a platform in the AdI language is
correct.
Окружающая среда развития средства программирования позволяет раннее выявление проблем возникают в держать программу к нескольким по-разному платформам. В окружающей среде, Кодий источника для программы, котор нужно сдержать составлено together with комплект заглавных частей файла или другой базы данных которая описывает по-разному платформы. Составитель испускает перечень держа проблемы Кодий источника программы имеет по отношению к платформам. Также включено в окружающую среду бинарное Кодий продолжитеное по времени обнаруживает держа проблемы для по-разному платформ на, котор побежали времени и архива режимов продолжитеных по времени общаются с определенными держа проблемами. Заглавные части файла, бинарное Кодий продолжитеное по времени для платформы, и режимы продолжитеные по времени произведены мета-sostavitelem от описания разниц между платформами написанными в языке adI. Также произведено Кодий источника доказательства платформы испытывает ли описание платформы в языке adI правильно.
