java

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

Build status: ok passing tests missing license metadata

Documentation README Code
Authors
Documentation
Tags
License
    Last updatedThursday, May 11th, 2023 1:52:17pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/jbclements/javac2d1359b05567fb9352178cedeba2dfc30ddc9ca
    Last checkedSaturday, November 1st, 2025 5:52:40pm (UTC)
    Last editedTuesday, March 11th, 2014 8:14:31pm (UTC)
    Date addedN/A
    Modules
    • java/semantics/resolve-binary.rkt
    • java/syntax/parser.rkt
    • java/syntax/class-file.rkt
    • java/contract-utils.rkt
    • java/semantics/semantic-object.rkt
    • java/syntax/ast.rkt
    • java/tools/javap.rkt
    • java/java.scrbl
    • java/inspector/inspector.rkt
    • java/syntax/lexer.rkt
    • java/semantics/utils.rkt
    • java/semantics/resolve-source.rkt
    • java/semantics/class-resolver.rkt
    • java/main.rkt
    • java/path-params.rkt
    • java/semantics/standard-resolver.rkt
    • java/tests/tests.rkt