package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type identifier =
  1. | SimpleName of string * Javalib_pack.JBasics.value_type option
type statement =
  1. | If
  2. | Catch of Javalib_pack.JBasics.class_name
  3. | Finally
  4. | Switch
  5. | Synchronized of bool
  6. | Return
  7. | Throw
type node_unit =
  1. | Statement of statement
  2. | Expression of expression
  3. | Name of identifier