Novidades no MPS 2023.2

Uma nova tarefa launchtests do Ant está disponível com suporte para os seguintes elementos:

• library
• macro
• plug-in
• testmodules

Ela oferece suporte à execução de todos os artefatos de teste, com exceção do JUnit 3, e serve como o novo alvo para a parte de build da configuração de teste.

• Qualquer classe Java devidamente anotada pode ser executada como um teste.
• Agora, há apenas suporte limitado para JUnit 4.
• São possíveis execuções em processo e geradas.

Essa API permite que você amplie os tipos de testes disponíveis no MPS, bem como implemente ouvintes para sessões de teste.

Classes em jetbrains.mps.baseLanguage.unitTest.platform formam a API da plataforma de teste do MPS:

O JUnit 5 introduz, entre outras coisas, suporte para a implementação de testes que são executados com um mecanismo personalizado. Um exemplo popular desse tipo de mecanismo é o jqwik – um framework de teste baseado em propriedades.

Em uma atualização anterior, o MPS recebeu suporte aprimorado para referências de métodos e a conversão de closures em lambdas Java. Ampliamos esse suporte com vários recursos menores e correções de bugs.

Anteriormente, introduzimos o operador diamante (new ArrayList<>()) para construtores BaseLanguage, mas os criadores de coleções foram excluídos dessa melhoria. Nesta atualização, agora você pode omitir parâmetros de tipo de novas coleções, simplificando o processo de escrita de código:

• Tipo inferido dos valores iniciais: var myList = new arraylist<> {myInitialValue}
• Tipo inferido da declaração de variável: map<int, string> myMap = new hashmap<>

Além disso, aprimoramos o suporte a variância em coleções. Por exemplo, não é mais possível atribuir uma notação ? extends Number. No entanto, o sistema de tipos não se oporá mais ao uso desses tipos limitados quando eles forem válidos. O tipo sequence<> permanecerá covariante por padrão, pois não resultará em nenhuma consequência insegura, já que você não pode inseri-lo numa sequência de elementos que não sejam do seu tipo. Isto pode trazer novos problemas de verificação de tipo onde códigos inseguros anteriormente não eram detectados. Eles podem ser resolvidos com tipos limitados list<? extends node<>> ou tipos de sequência sequence<node<>>.

Para criar instâncias em um modelo de aspecto, o MPS até agora seguia uma lógica geral que envolvia conceitos não abstratos enraizáveis, ordenados por nome ou sinalizador. Agora, a configuração opcional pode ser especificada junto com uma declaração de aspecto, permitindo que os designers de linguagem controlem quais conceitos são apresentados ao usuário, bem como seu agrupamento e sua ordem.

Esse aviso confuso costumava ser mostrado quando um ClassConcept estendia ou de outra forma expunha seu uso de um ClassConcept de outro módulo. Antes da versão 2023.2, o MPS dependia das dependências do módulo especificadas nos descritores do módulo para criar o grafo de dependências. Agora que o MPS cria as informações de dependência com base nos geradores e linguagens reais envolvidos na transformação de um modelo, você não precisa mais especificar essas dependências explicitamente, portanto, não há mais necessidade de verificar.

Compartilhar é uma característica útil de qualquer comunidade. Os recursos a seguir foram implementados com base nas solicitações dos usuários comerciais do MPS que patrocinaram nosso desenvolvimento. Agora, você também pode aproveitar ao máximo essas adições úteis.

O verificador de modelos agora pode utilizar efetivamente hardware paralelo, acelerando assim o processo de verificação de modelos. Dependendo das configurações em Settings | Tools | Model Checker, ele pode gerar vários threads ao iniciar esse processo.

O método FilePerRootDataSource.getStreamByName() foi otimizado para melhorar o desempenho do carregamento de dados do modelo. Se você usa a persistência File-per-root para armazenar modelos grandes, essa alteração será perceptível.

Ao migrar um projeto usando tarefas Ant fornecidas pelo MPS, as dependências podem não ser migradas adequadamente. Adicionamos um sinalizador para continuar a migração de um projeto mesmo nesses casos. Interromper o processo de migração assim que uma dependência não migrada é descoberta continua sendo o comportamento padrão. Para usar esse sinalizador, adicione haltOnDependencyError="false" à sua tarefa Ant migrate.

Em Settings / Preferences | Editor | Inspections, amostras de código agora incluem realce de sintaxe, o que torna mais fácil entender o que aciona uma inspeção e decidir se você deseja que ela fique ativa ou inativa.

A ação do editor Fill Paragraph agora é compatível com arquivos Markdown, permitindo que você quebre textos longos em várias linhas do mesmo comprimento. Para fazer isso, defina o cursor dentro do parágrafo que você deseja editar e procure o comando Fill Paragraph usando Find Action (Ctrl+Shift+A).

Melhoramos a usabilidade do pop-up Branches. Por exemplo, ficou mais fácil navegar entre branches, pois eles são agrupados e armazenados em listas expansíveis.

O MPS 2023.2 fornece complementação automática no pop-up Create New Branch. Assim que você começa a digitar um nome para seu novo branch, o IDE sugere prefixos relevantes com base nos nomes dos branches locais existentes.

Para cada lançamento principal, preparamos instruções sobre como migrar de versões mais antigas do MPS para garantir que tudo corra bem. Por favor, revise-as com cuidado.