java

A port of David Herman's java.plt PLaneT package, without the PLaneT dependencies.

Build status:

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:55:42pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/jbclements/javac2d1359b05567fb9352178cedeba2dfc30ddc9ca
    Last checkedSunday, February 17th, 2019 10:50:48pm (UTC)
    Last editedTuesday, March 11th, 2014 8:14:31pm (UTC)
    Date addedN/A
    Modules
    • java/path-params.rkt
    • java/syntax/ast.rkt
    • java/contract-utils.rkt
    • java/syntax/lexer.rkt
    • java/semantics/semantic-object.rkt
    • java/main.rkt
    • java/inspector/inspector.rkt
    • java/syntax/parser.rkt
    • java/tools/javap.rkt
    • java/tests/tests.rkt
    • java/semantics/resolve-binary.rkt
    • java/semantics/standard-resolver.rkt
    • java/semantics/utils.rkt
    • java/syntax/class-file.rkt
    • java/semantics/resolve-source.rkt
    • java/semantics/class-resolver.rkt
    • java/java.scrbl