Разработка метода информационной совместимости программных средств автоматизации начальных этапов проектирования изделий

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

1. Если один из унаследованных методов - не abstract, тогда имеется два варианта:

a. Если метод, который - не является abstract - static, происходит ошибка времени компиляции.

b. Иначе, метод, который - не является abstract, рассматривается как замещенный, и поэтому реализует, все методы класса, который наследует его. Ошибка времени компиляции происходит при, сравнивании не abstract метода с каждым из унаследованных методов, для любой такой пары справедливо: либо они имеют различные типы возвращения, либо один имеет тип возвращения, а другой объявлен со словом "void". Кроме того, ошибка времени компиляции происходит, если унаследованный не abstract метод содержит метод throws, что недопустимо для данного и любого другого из унаследованных методов.

2. Если ни один из унаследованных методов не является abstract, тогда класс обязательно должен быть abstract и учитывать все наследуемые abstract-методы. Ошибка времени компиляции происходит если, для любых двух таких унаследованных методов, причем либо они имеют различные типы возвращения, либо один имеет тип возвращения, а другой объявлен со словом "void". (Методы throws в этом случае не приводят к ошибкам.)

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

12.2 Использование сигнатур

Если два метода класса (либо объявленные в одном и том же классе, либо наследованы одним классом, либо один объявлен в классе, а другой наследован тем же самым классом) имеют одно и то же имя но различные сигнатуры, тогда имя метода перегружается. Этот факт не причиняет никаких трудностей и никогда не приводит к ошибкам времени компиляции. Не существует никаких ограничений на взаимосвязь между типом возвращения или между методами throws двух методов с одним и тем же именем, но с различной сигнатурой.

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

Ошибка времени компиляции может произойти, если тело класса имеет как члены два метода с одинаковой сигнатурой (именем, числом параметров, и типами всех параметров). Методы и поля могут иметь одинаковою сигнатуру, с того момента как они используются в различных контекстах и в них устранены неоднозначности различным процедурами поиска.

13.3 Специфика сигнатур

Если более одной сигнатуры является одновременно доступной и применимой для сигнатуры вызова, необходимо указать только одно. Внутренний язык моделирования выбирает наиболее конкретные сигнатуры. Термин конкретные сигнатуры определен в спецификации языка программирования Java для сигнатуры методов и на основе попарного сравнения объявления методов.

Например: пусть m и n-две подписи заявления, а m является менее определенной, чем n, то в отношении аргументов вызова подходит одно из следующих условий:

m has less parameters than n.

Сигнатура m является не более конкретной, чем n согласно спецификации языка программирования Java.

n является более конкретным, чем m в отношении аргументов и m не более конкретным, чем n, в отношении аргументов. Сигнатура является более конкретной, чем другая если выполняются следующие условия:

1. Для каждого параметра существует вызов метода преобразования с типом соответствующего параметра других сигнатур или у него примитивный тип, а другой параметр имеет тип задания.

2. Количество расширение double к float преобразования состоит из аргументов сигнатур параметров.

13.МОДУЛЬ КОМПИЛЯЦИИ

Модуль компиляции - это начальный символ для синтаксической грамматики программ. Типы, объявленные в различных модулях компиляции могут зависеть друг от друга. Компилятор должен упорядочивать типы, чтобы компилировать их в одно и то же время.

Модуль компиляции состоит из трех частей, каждая из которых необязательная:

1. Объявление пакета (package), содержащее полностью квалифицированное имя пакета, которому принадлежит модуль компиляции;

2. Объявление импорта (import), которое разрешает использовать простые имена типов из других пакетов;

3. Объявления классовых и интерфейсных типов.

Каждый модуль компиляции автоматически и неявно импортирует всякое имя типа с модификатором public, объявленное в предопределенном пакете java.lang, так, чтобы имена всех типов были доступны как простые имена.

Список литературы к приложению

1) Joy B. The Java Language Specification. Second Edition / G. Steele, J. Gosling, G. Bracha - Addison-Wesley, 2000.

2) Gosling J. The Java Language Specification, Third Edition / B. Joy, G. Steele, G. Bracha -Addison-Wesley, 2005.

3) Prusinkiewicz P. The Algorithmic Beauty of Plants. Springer / A. Lindenmayer - New York, 1990.

4) Kniemeyer O. A graph grammar approach to Artificial Life / G. Buck-Sorlin, W. Kurth - Artificial Life, 2004.

5) Schьrr A. Programmed graph replacement systems. In G. Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. 1 - Singapore, 1997.

6) Codd E.F. A Relational Model of Data for Large Shared Data Banks. Communications of the ACM. Vol. 13. Num. 6 - 1970.

Размещено на Allbest.ru