Skip to content

Overruler/NullableExtract

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 

NullableExtract

A quick and dirty project to read class files with @Nullable annotations and output the corresponding Java source code.

Only stub classes are generated, and only containing those methods that have @Nullable annotations. The generated source code is well-formed Java but not a replacement for the original class files.

Works at least on the annotated JDK (jdk8.jar) distributed in the Checker Framework v1.8.3.

Requirements

Depends on SuperiorStreams which can be Git cloned using HTTPS or from its GitHub site.

Built with the Eclipse IDE.

License

Your choice of:

About

A quick and dirty project to read class files with @nullable annotations and output the corresponding Java source code.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages