Skip to content

History

New page

Revisions

  • correct behavior

    @reprogrammer reprogrammer committed May 9, 2014
    323390d

  • Added assert statements.

    @reprogrammer reprogrammer committed May 8, 2014
    28b72ee

  • Added assert.

    @reprogrammer reprogrammer committed May 7, 2014
    8b42186

  • Added assert.

    @reprogrammer reprogrammer committed May 7, 2014
    de20191

  • Added @Nullable to the array code example.

    @reprogrammer reprogrammer committed May 7, 2014
    b702fa9

  • Added questions about double-clicking.

    @reprogrammer reprogrammer committed May 7, 2014
    7fecda0

  • Added questions for Cascade.

    @reprogrammer reprogrammer committed May 3, 2014
    88ced28

  • Added two questions about Julia.

    @reprogrammer reprogrammer committed May 3, 2014
    420f927

  • Added a step for answering the questions about the tools.

    @reprogrammer reprogrammer committed May 3, 2014
    23548de

  • Added @Raw.

    @reprogrammer reprogrammer committed May 2, 2014
    070a8af

  • Nullness -> nullness

    @reprogrammer reprogrammer committed May 2, 2014
    23daf62

  • Instructed the participants to resolve errors.

    @reprogrammer reprogrammer committed May 2, 2014
    4c3154b

  • Removed an unnecessary @NonNull.

    @reprogrammer reprogrammer committed May 2, 2014
    661f9bf

  • Added Exercise 5.

    @reprogrammer reprogrammer committed May 2, 2014
    f6019e6

  • Revised the tutorial and explained the effect of inheritance on the nullness annotations.

    @reprogrammer reprogrammer committed May 2, 2014
    44280d5

  • Explained annotation subtyping.

    @reprogrammer reprogrammer committed May 2, 2014
    d68e7c0

  • @UnderInitialization(Object.class)

    @reprogrammer reprogrammer committed May 1, 2014
    36f2ec9

  • Removed footer.

    @reprogrammer reprogrammer committed May 1, 2014
    266405a

  • Removed the solutions.

    @reprogrammer reprogrammer committed May 1, 2014
    5c6491f

  • the field -> field

    @reprogrammer reprogrammer committed May 1, 2014
    6c827cf

  • Added the solution to Exercise 4.

    @reprogrammer reprogrammer committed May 1, 2014
    93cda28

  • Emphasize invalid.

    @reprogrammer reprogrammer committed May 1, 2014
    f938e18

  • Removed the extra closing braces.

    @reprogrammer reprogrammer committed May 1, 2014
    0eef30e

  • Add the solution to exercise 3.

    @reprogrammer reprogrammer committed May 1, 2014
    7c6ffdb

  • Formatted the source code.

    @reprogrammer reprogrammer committed May 1, 2014
    e19babd

  • Added the solution to Exercise 2.

    @reprogrammer reprogrammer committed May 1, 2014
    c40cf41

  • Used multiple fields in @EnsuresNonNull.

    @reprogrammer reprogrammer committed May 1, 2014
    d84928e

  • Added the solution to Exercise 1.

    @reprogrammer reprogrammer committed May 1, 2014
    b8064a5

  • Added vice versa

    @reprogrammer reprogrammer committed May 1, 2014
    abb54df

  • Added a exercise for full arrays.

    @reprogrammer reprogrammer committed May 1, 2014
    537c807