CSSE2002

Resources

• cxxr’s better-java
• Google Java Style

Notes

• The most commonly used type parameter names are:

  • E - Element (used extensively by the Java Collections Framework)
  • K - Key
  • N - Number
  • T - Type
  • V - Value
  • S, U, V etc. - 2nd, 3rd, 4th types

• Don’t declare generic types on the RHS (just use <>). Java will infer it from the LHS (much like Haskell type signatures).

  Unless gets implemented in Java 9 or 10. Then declare on the RHS because there’s nothing to infer from on the LHS.

Lecture 1

Course Overview

We’ll be focussing on:

• Modularity (the separate of responsibility)
• Abstraction (the hiding of implementation)
• Specification (the definition of behaviour)
• Verification (the verification of behaviour)

Week Overview

1. Introduction
2. Data Abstraction: Classes and Objects
3. Data Abstraction: Test-driven Implementation
4. Data Abstraction: Additional Methods
5. Procedural Abstraction: Specification and Testing