Курсовая работа: Предметно-ориентированные аннотации для типов в Java

Оглавление






3

3.1.6. Правила вывода типов объявлений методов и кон-

структоров....................... 19

• Архитектура инструментального средства и особенности

4

Введение

При разработке современных промышленных приложений зачастую возникает множество разнообразных и трудноуловимых ошибок, кото-рые могут приводить к некорректному поведению программы во время исполнения. Эффективным языковым средством, позволяющим избе-гать многих ошибок, является система типов языка.

Основная роль системы типов любого языка программирования, как формального метода проверки корректности программ, заключается в сокращении числа ошибок, возникающих в этих программах [14]. Это возможно благодаря классификации выражений языка по разновид-ностям вычисляемых ими значений. Классы в такой классификации называются типами языка программирования.

Несмотря на высокую эффективность, системы типов гарантиру-ют отсутствие только определенных видов ошибок [6]. Например, боль-шинство систем типов способны статически проверить, что в качестве фактического параметра метода, принимающего целое число, действи-тельно используется целочисленное значение. Однако системы типов не способны гарантировать, чтобы при вызове метода пользователь в пра-вильном порядке перечислял аргументы, которые принадлежат одному

• тому же типу.

языке программирования Java подобные ошибки особенно часто возникают при использовании примитивных типов. К сожалению в про-мышленном коде подобные ошибки приводят к нежелательным послед-ствиям, в том числе к убыткам. Чтобы избегать таких ошибок, можно размечать примитивные типы дополнительной информацией, а затем с помощью статических проверок, использующих эту информацию