DJ: Declarative Java
Version 0.2 User's Manual

Neng-Fa Zhou

Faculty of Computer Science and Systems Engineering
Kyushu Institute of Technology
680-4 Kawazu, Iizuka, Fukuoka, Japan
zhou@mse.kyutech.ac.jp

• Preface
• Acknowledgement
• Contents
• Getting Started
  • Structure of DJ programs
  • A simple example
  • Compiling DJ programs
  • The main panel
• Classes, Components, and Attributes
  • Base classes
  • Writing classes
  • Using inheritance
  • Component declarations
  • Attribute declarations
• Constraints
  • Introduction
  • Domain constraints
  • Arithmetic constraints
  • Symbolic constraints
  • Composite constraints
  • Defining constraints
  • Ordering constraints
• Arrays
  • Declaring and using arrays
  • Writing loops
  • Anonymous arrays
  • The grid constraint
  • Aggregation constraints
• Examples
  • Drawing Binary Trees
  • Building a Calculator
  • N-queens Problem
  • Magic Square
• Limitations and Conclusion
  • Limitations
  • Conclusion
• Appendix I: Base Classes
  • DJComponent
  • Arc
  • Button
  • Circle
  • Label
  • Line
  • Oval
  • Polygon
  • Rectangle
  • RoundRectangle
  • Square
  • Star
  • TextArea
  • TextField
  • Triangle
• Appendix II. The DJ Language Specification
  • Compilation Unit
  • Constraint Declaration
  • Class Member Declaration
  • Component Declaration
  • Attribute Declarations
  • Constraints
  • Other Nonterminal Symbols
• References
• Index
• About this document ...