Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

Лава является экспериментальной, визуальным объектно-ориентированным , переводчик -На языка программирования с соответствующей средой программирования (Lava среды программирования или LavaPE ) , который использует структуру редакторов вместо текстовых редакторов . В виде текста можно вводить только комментарии, константы и новые идентификаторы .

Объявления представлены в LavaPE как древовидные структуры, поддеревья которых могут быть свернуты или развернуты. Свойства объявленных сущностей Lava можно редактировать через всплывающие диалоговые окна.

Хотя исполняемый код имеет традиционное текстовое представление в LavaPE, его можно редактировать только как полные синтаксические блоки, а не посимвольно. Если вы вставляете новую синтаксическую конструкцию, она обычно будет содержать «заполнители» (синтаксические переменные), которые затем могут быть заменены конкретными конструкциями; последние, в свою очередь, могут содержать синтаксические переменные и т. д. LavaPE предоставляет кнопку инструмента для каждого типа синтаксической конструкции, и кнопка активируется только в том случае, если синтаксически правильно вставить связанную конструкцию в выбранное место.

Другие характерные свойства Lava и LavaPE включают следующее:

  • Он обеспечивает строгое синтаксическое разделение разделов интерфейса (общедоступных) и реализации (частных) класса Lava .
  • Он отличает переменные «объекты состояния» от постоянных «объектов значений»; последний не может быть изменен после создания / инициализации.
  • Он поддерживает «виртуальные типы»: параметры типов классов и пакетов (семейства связанных классов). Как следствие, больше не требуется подрыв строгих проверок типов "приведением типов".
  • Он использует рекурсию и логические квантификаторы вместо традиционных конструкций цикла .
  • Он использует одно присвоение ; т.е. значение может быть присвоено переменной только один раз в одной ветви функции.
  • Он широко поддерживает рефакторинг с помощью редакторов структуры LavaPE.
  • Он различает составные части (подобъекты) и знакомые объекты (указатели на независимые объекты). Таким образом значительно упрощается копирование и удаление сложных объектов.
  • Начиная с версии 0.9.0, LavaPE полностью предотвращает непреднамеренный доступ к неинициализированным переменным и нулевым объектам уже во время программирования путем полных статических проверок инициализации.

Lava - это программное обеспечение с открытым исходным кодом, использующее лицензию GPL (см. Также Lava в Free Software Foundation и на KDE-Apps.org ). В настоящее время он работает на Microsoft Windows , Linux и Mac OS X платформ.

См. Также [ править ]

Ссылки [ править ]

Внешние ссылки [ править ]

Лава как источник концепций для улучшения других языков программирования:

Lava в известных списках языков программирования: