MEIO DE ARMAZENAMENTO LEGÍVEL POR COMPUTADOR NÃO TRANSITÓRIO, E, MÉTODO PARA ESPECIALIZAR UMA CLASSE GENÉRICA

Classificação IPC

Prioridades unionistas

Resumo técnico

MEIO DE ARMAZENAMENTO LEGÍVEL POR COMPUTADOR NÃO TRANSITÓRIO, E, MÉTODO.Trata-se de especialização dinâmica acionada por metadados que pode incluir aplicar uma operação de eliminação de tipo a um conjunto de instruções em uma classe genérica ou a uma declaração de método que inclui variáveis tipadas com o uso de uma forma codificada de uma instrução ou um argumento para uma instrução. A instrução pode operar em valores dos tipos de referência e o argumento pode ser uma assinatura que indica os tipos de referência. A forma codificada pode ser anotada para incluir metadados que indicam que variáveis de tipo foram apagados e que tipos de referência são as eliminações de variáveis de tipo. Adicionalmente, os metadados podem indicar que a instrução opera em valores de, e que o argumento indica tipos de referência que são eliminações das variáveis de tipo da declaração de classe (ou método). Além disso, a forma codificada da instrução ou argumento pode ser usada diretamente sem especialização ou transformação.