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.

• Adoption
• Version compatibility
• For project developers

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

• Java concepts/glossary
• Detail on type usages

• Basic model
• Notation
• Nullness glossary
• Null-aware type system
• Null pollution
• Unspecified nullness
• Nullness Design FAQ (now graduated to a page on jspecify.dev)

These are currently in one long page:

• Borderline cases

Except for:

• PolyNull

Long-term roadmap