public interface HostAPI
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getShortName()
Returns the short name of this host API.
|
java.lang.String |
toString()
Returns the full name of this host API.
|
Copyright © 2009-2019 Aarhus University