Annotation Type Transformer.ProgressState