Uses of Class
alice.util.thinlet.Thinlet

Packages that use Thinlet

Package	Description
alice.tuprologx.ide

Uses of Thinlet in alice.tuprologx.ide

Subclasses of Thinlet in alice.tuprologx.ide

Modifier and Type	Class and Description
class	LibraryDialog A dialog providing an UI for the Library Manager.
class	ThinletConsole A complete console for the tuProlog engine, featuring an input field for submitting queries, and two areas for displaying solutions to a goal and output text due to particular predicates (e.g.
class	ThinletDebugArea A simple area where to show debug messages.
class	ThinletStatusBar A status bar for the tuProlog IDE.
class	ThinletTheoryEditor A set of commands and facilities for components implementing an edit area.
class	ThinletToolBar A toolbar for the tuProlog IDE.

Methods in alice.tuprologx.ide that return Thinlet

Modifier and Type	Method and Description
Thinlet	ThinletToolBar.getDebugArea() Get the debug area used by the toolbar.

Methods in alice.tuprologx.ide with parameters of type Thinlet

Modifier and Type	Method and Description
void	ThinletToolBar.setDebugArea(Thinlet debugArea) Set the debug area referenced by the toolbar for use in displaying debug informations.