public interface ParameterDescription
Modifier and Type | Method and Description |
---|---|
String |
getHTMLDescription()
Returns an HTML description of this parameter.
|
String |
getName()
Returns the name of this parameter.
|
TypeDescription |
getTypeDescription()
Returns a description of the type of this parameter.
|
String getName()
String getHTMLDescription()
TypeDescription getTypeDescription()
Copyright © 2022 ART Group, University of Rome, Tor Vergata. All rights reserved.