Module Java_label.StatementSource

Sourcetype t =
  1. | Empty
  2. | Assert
  3. | If of tie_id
  4. | For
  5. | ForEnhanced
  6. | While
  7. | Do
  8. | Try
  9. | Yield
  10. | Switch
  11. | Synchronized
  12. | Return
  13. | Throw
  14. | Break of identifier option
  15. | Continue of identifier option
  16. | Labeled of identifier
  17. | Expression of Expression.t * tie_id
  18. | ElseIf of tie_id
  19. | Else
Sourceval get_tid : t -> tie_id
Sourceval get_name : ?strip:bool -> t -> identifier
Sourceval is_named : t -> bool
Sourceval is_named_orig : t -> bool
Sourceval to_string : t -> string
Sourceval strip : t -> t
Sourceval anonymize : ?more:bool -> t -> t
Sourceval to_simple_string : t -> identifier
Sourceval to_short_string : t -> string
Sourceval to_index : t -> int
Sourceval to_tag : ?strip:bool -> t -> string * (string * identifier) list
Sourceval make_statement_expression : Expression.t -> tie_id -> t
Sourceval relabel_allowed : (t * t) -> bool