Home

Welcome to the JSpecify wiki!

If you haven't arrived here from the Start Here page, you should... start there.

This wiki contains a mishmash of various other drafts we've written, so we can decide where it belongs later. These aren't polished, but we try to keep them current.

Practical stuff

• Adoption
• Version compatibility
• For project developers

General project stuff

• JSpecify overall FAQ
• Thoughts on Local analysis as a strategy
• Distinguishing two kinds of analysis

General Java background stuff

• Java concepts/glossary
• Detail on type usages

JSpecify nullness stuff

• Basic model
• Notation
• Nullness glossary
• Null-aware type system
• Null pollution
• Unspecified nullness
• Nullness Design FAQ

Interesting cases

These are currently in one long page:

• Borderline cases

Except for:

• PolyNull

Future

Long-term roadmap