Package edu.mit.sketch.language.debugger

Class Summary
ButtonPanel ButtonPanel.java
ConceptPanel ConceptPanel:
ConstraintMatrix Holds the matrix of all of the variables assignments and all of the constraints tested for that matching.
DebuggerFrame DebuggerFrame is the main frame and window controller of the debugger program.
DebugMenu DebuggerFrame is the main frame and window controller of the debugger program.
DomainListPanel The panel containing the list of domain shapes (part of domain view)
DrawCheckPanel The panel for the shape view
ErrorMessage A collection of static error messages.
GeometricTextInputPanel GeometricTextInputPanel:
GUILD Debugger is the main accessor class to the debugger program.
ImageCardPane A panel holding an image and its description
ImagePanel A panel holding an image and its description
JudgePanel JudgePanel:
Matching Holds a variable name, type and it shape assignment
PopUp A collection of static error messages.
SectionPanel SectionPanel.java
ShapeDefinitionFormPanel ShapeDefinitionFormPanel.java
ShapePanel The panel for the shape view
UserPanel UserPanel: This is my user study frame.
VariableAssignment Holds a variable name, type and it shape assignment