public interface JavaTypeDescription extends TypeDescription
Modifier and Type | Method and Description |
---|---|
Type |
getJavaType()
Returns the corresponding Java
Type |
getName
Copyright © 2022 ART Group, University of Rome, Tor Vergata. All rights reserved.