Page Index - jspecify/jspecify GitHub Wiki

25 page(s) in this GitHub Wiki:

• Home
• Practical stuff
• General project stuff
• General Java background stuff
• JSpecify nullness stuff
• Interesting cases
• Future
• adoption
• for developers
• glossary
• jspecify faq
• local analysis
• long term roadmap
• notation
• null aware type system
• null pollution
• nullness basic model
• nullness borderline cases
• nullness design faq
• nullness glossary
• nullness unspecified
• polynull
• two kinds of analysis
• type usages
• version compatibility