Uses of Package
types

Packages that use types

errors
interpreter
learningTool
lib.java
lib.lang
types

Classes in types used by errors

Widget
The general type of all widgets.

Classes in types used by interpreter

ErrorHandler
Passed to functions that may report errors in the .gui file.

Classes in types used by learningTool

ErrorHandler
Passed to functions that may report errors in the .gui file.

Classes in types used by lib.java

GUIAttributes
A specialized extension of TreeMap which helps in handling widget attributes.

Widget
The general type of all widgets.

WidgetDef
WidgetDef is the abstract class that all definitions in the library implement.

WidgetDef.Abstract
Annotation forbidding a widget type from being instantiated.

WidgetDef.Contained
Declare that a widget type cannot appear at the top level.

WidgetDef.Derived
Annotation specifying the base widget types of a widget.

Classes in types used by lib.lang

ErrorHandler
Passed to functions that may report errors in the .gui file.

GUIFile
The GUI definition file.

LangDef
LangDef is the abstract class that all Language Definitions inherit from.

WidgetDef
WidgetDef is the abstract class that all definitions in the library implement.

Classes in types used by types

ErrorHandler
Passed to functions that may report errors in the .gui file.

EventHandlerDef
Defines the event handler types allowed in %controller blocks in .gui files, along with the signatures of the methods generated in the output Controller interface.

GUIAttributes
A specialized extension of TreeMap which helps in handling widget attributes.

GUIFile
The GUI definition file.

GUIFile.EventHandler
A handler declared in the GUI file as part of the controller.

GUIFile.Flag
The enumeration type of flags set in the file.

LangDef
LangDef is the abstract class that all Language Definitions inherit from.

Widget
The general type of all widgets.

WidgetDef
WidgetDef is the abstract class that all definitions in the library implement.