int_field_manager_t (codehawk.JCHFields.int_field_manager

method get_all_non_private_fields : (JCHPreAPI.field_info_int
                                     * CHIntervals.interval_t list)
                                      list

method get_all_num_fields : JCHPreAPI.field_info_int list

method get_field_intervals : JCHPreAPI.field_info_int ->
  CHIntervals.interval_t list

method is_const_field : JCHPreAPI.field_info_int -> bool

method is_dt_field : JCHBasicTypesAPI.class_name_int ->
  JCHBasicTypesAPI.field_signature_int ->
  bool

method project_out : JCHPreAPI.field_info_int -> unit

method put_field : CHLanguage.symbol_t ->
  JCHPreAPI.field_info_int ->
  CHIntervals.interval_t ->
  CHIntervals.interval_t list ->
  bool ->
  CHLanguage.variable_t ->
  unit

method record_field : JCHPreAPI.instruction_info_int -> unit

method reset : unit

method start : unit

method set_unknown_fields : JCHProcInfo.jproc_info_t -> unit

method toPretty : CHPretty.pretty_t