|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
ClassTransformer | Trasformatore di una classe |
Class Summary | |
---|---|
ArgCheckTransformer | |
ClassTrasformerList | Trasformatore di classi che applica pił trasformazioni insieme |
InvariantTransformer | Trasformatore di classe per le precondizioni |
MethodTransformer | Funzionalitą comuni alla trasformazione di metodi e di costruttori |
PostconditionTransformer | Trasformatore di classe per le postcondizioni |
PreconditionTransformer | Trasformatore di classe per le precondizioni |
TransformerUtils | Classe di utilitą per i trasformatori |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |