Ciao a tutti.
Vorrei estrarre le annotazioni per generare check (postcondizioni) a runtime dopo una chiamata di metodo.
Quello che prevedo è:
Inserire una classe java che analizzerò per verificare se sono presenti annotazioni di tipo post, in tal caso estraggo quest'ultime attraverso la riflessione.
Successivamente dovrei generare un aspetto a runtime che implementi un codice che mi permetta in un secondo momento(con la compilazione di aspectj, ajc .....) di verificare che le annotazioni presenti nei metodi di quella classe siano soddisfatte, ed in questo caso mandare in output grazie all'aspetto generato un testo che mi confermi l'esattezza(“Post del metodo x verificate correttamente!”), o non.
Il mio problema principale è di non riuscire a confrontare l'annotazione del metodo con il valore di ritorno dello stesso metodo nell'aspetto generato.