dk.brics.tajs.lattice

Interface HostAPI

All Known Implementing Classes:

HostAPIs

public interface HostAPI

Host API. Names a collection of objects and functions.

Method Summary

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.

Method Detail

getShortName

java.lang.String getShortName()

Returns the short name of this host API.

toString

java.lang.String toString()

Returns the full name of this host API.

Overrides:

toString in class java.lang.Object