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

Methods

Modifier and Type	Method and Description
String	getShortName() Returns the short name of this host API.
String	toString() Returns the full name of this host API.

Method Detail

getShortName

String getShortName()

Returns the short name of this host API.

toString

String toString()

Returns the full name of this host API.

Overrides:

toString in class Object