java

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, November 6th, 2014 9:32:16pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgit://github.com/jbclements/javac2d1359b05567fb9352178cedeba2dfc30ddc9ca
Last checkedMonday, June 26th, 2017 2:09:25pm (UTC)
Last editedTuesday, March 11th, 2014 8:14:31pm (UTC)
Modules
  • java/java.scrbl
  • java/syntax/ast.rkt
  • java/semantics/resolve-binary.rkt
  • java/semantics/class-resolver.rkt
  • java/tests/tests.rkt
  • java/syntax/class-file.rkt
  • java/syntax/parser.rkt
  • java/contract-utils.rkt
  • java/path-params.rkt
  • java/inspector/inspector.rkt
  • java/semantics/semantic-object.rkt
  • java/semantics/resolve-source.rkt
  • java/tools/javap.rkt
  • java/semantics/standard-resolver.rkt
  • java/semantics/utils.rkt
  • java/syntax/lexer.rkt
  • java/main.rkt