String Template

A biblioteca String Template fornece uma solução estruturada para a geração de código textual.

O software e documentação podem ser encontrados em www.stringtemplate.org .

Para ser utilizada é apenas necessário o pacote ST-4.?.jar (a instalação feita do antlr4 já incluiu este pacote).

Mesmo sendo um exemplo muito simples, podemos já verificar que a definição do padrão de texto, está separada do preenchimento dos “buracos” (atributos ou expressões) definidos, e da geração do texto final.

Podemos assim delegar em partes diferentes do gerador de código, a definição dos padrões (que passam a pertencer ao contexto do elemento de código a gerar), o preenchimento dos “buracos” definidos, e a geração do texto final de código.

Os padrões são blocos de texto e expressões.

O texto corresponde a código destino literal, e as expressões são em “buracos” que podem ser preenchidos com o texto que se quiser.

Sintaticamente, as expressões são identificadores delimitados por <expr> (ou por $).

String Template Group

Podemos também agrupar os padrões numa espécie de funções (módulo STGroup):

Podemos também colocar cada função num ficheiro:

Uma melhor opção é optar por ficheiros modulares contendo grupos de funções/padrões:

String Template: dicionários e condicionais

Neste módulos podemos ainda definir dicionários (arrays associativos).

Na definição de padrões podemos utilizar uma instrução condicional que só aplica o padrão caso o atributo seja adicionado:

O campo separator indica que em em cada operação add em stat, se irá utilizar esse sepa- rador (no caso, uma mudança de linha).

String Template: Funções

Podemos ainda definir padrões utilizando outros padrões (como se fossem funções).

String Template: listas

Também existe a possibilidade de utilizar listas para concatenar texto e argumentos de padrões:

Geração de código: padrões comuns

Uma geração de código modular requer um contexto uniforme que permita a inclusão de qualquer combinação de código a ser gerado.

Na sua forma mais simples, o padrão comum pode ser simplesmente uma sequência de instruções.

Com este padrão, podemos inserir no lugar do “buraco” stat a sequência de instruções que quisermos.

Naturalmente, que para uma geração de código mais complexa podemos considerar a inclusão de buracos para membros de classe, múltiplas classes, ou mesmo vários ficheiros.

Para a linguagem C, teríamos o seguinte padrão para um módulo de compilação:

Se a geração de código for guiada pela árvore sintáctica (como normalmente acontece), então os padrões de código a ser gerados devem ter em conta as definições gramaticais de cada símbolo, permitindo a sua aplicação modular em cada contexto.

Geração de código para expressões

Para ilustrar a simplicidade e poder de abstração do String Template vamos estudar o problema de geração de código para expressões.

Para resolver este problema de uma forma modular, podemos utilizar a seguinte estratégia:

1. Considerar que qualquer expressão tem a si associada uma variável (na linguagem destino) com o seu valor;

2. Para além dessa associação, podemos também associar a cada expressão um ST (stats) com as instruções que atribuem o valor adequado à variável.

Como habitual, para fazer estas associações podemos definir atributos na gramática, fazer uso do resultados das funções de um Visitor ou utilizar a classe ParseTreeProperty.

Desta forma, podemos fácil e de uma forma modular, gerar código para qualquer tipo de expressão.

Padrões para expressões (para Java) podem ser:

Para C apenas seria necessário mudar o padrão typeValue: