Reviewed By: jberdine Differential Revision: D4745840 fbshipit-source-id: 4140221master
Andrzej Kotulski
8 years ago
committed by
Facebook Github Bot
parent
b7f3116ca7
commit
7c64d217f2
@ -0,0 +1,106 @@
|
||||
/*
|
||||
* Copyright (c) 2017 - present Facebook, Inc.
|
||||
* All rights reserved.
|
||||
*
|
||||
* This source code is licensed under the BSD style license found in the
|
||||
* LICENSE file in the root directory of this source tree. An additional grant
|
||||
* of patent rights can be found in the PATENTS file in the same directory.
|
||||
*/
|
||||
open! IStd;
|
||||
|
||||
let module Hashtbl = Caml.Hashtbl;
|
||||
|
||||
type t = {fpos: int, fname: Mangled.t} [@@deriving compare];
|
||||
|
||||
let equal = [%compare.equal : t];
|
||||
|
||||
let module Set = Caml.Set.Make {
|
||||
type nonrec t = t;
|
||||
let compare = compare;
|
||||
};
|
||||
|
||||
let module Map = Caml.Map.Make {
|
||||
type nonrec t = t;
|
||||
let compare = compare;
|
||||
};
|
||||
|
||||
|
||||
/** Create a field name with the given position (field number in the CSU) */
|
||||
let create (n: Mangled.t) (position: int) => {fpos: position, fname: n};
|
||||
|
||||
|
||||
/** Convert a fieldname to a string. */
|
||||
let to_string fn => Mangled.to_string fn.fname;
|
||||
|
||||
|
||||
/** Convert a fieldname to a string, including the mangled part. */
|
||||
let to_complete_string fn => Mangled.to_string_full fn.fname;
|
||||
|
||||
|
||||
/** Convert a fieldname to a simplified string with at most one-level path. */
|
||||
let to_simplified_string fn => {
|
||||
let s = Mangled.to_string fn.fname;
|
||||
switch (String.rsplit2 s on::'.') {
|
||||
| Some (s1, s2) =>
|
||||
switch (String.rsplit2 s1 on::'.') {
|
||||
| Some (_, s4) => s4 ^ "." ^ s2
|
||||
| _ => s
|
||||
}
|
||||
| _ => s
|
||||
}
|
||||
};
|
||||
|
||||
|
||||
/** Convert a fieldname to a flat string without path. */
|
||||
let to_flat_string fn => {
|
||||
let s = Mangled.to_string fn.fname;
|
||||
switch (String.rsplit2 s on::'.') {
|
||||
| Some (_, s2) => s2
|
||||
| _ => s
|
||||
}
|
||||
};
|
||||
|
||||
let pp f fn =>
|
||||
/* only use for debug F.fprintf f "%a#%d" pp_name fn.fname fn.fpos */
|
||||
Mangled.pp f fn.fname;
|
||||
|
||||
let pp_latex style f fn => Latex.pp_string style f (Mangled.to_string fn.fname);
|
||||
|
||||
|
||||
/** Returns the class part of the fieldname */
|
||||
let java_get_class fn => {
|
||||
let fn = to_string fn;
|
||||
let ri = String.rindex_exn fn '.';
|
||||
String.slice fn 0 ri
|
||||
};
|
||||
|
||||
|
||||
/** Returns the last component of the fieldname */
|
||||
let java_get_field fn => {
|
||||
let fn = to_string fn;
|
||||
let ri = 1 + String.rindex_exn fn '.';
|
||||
String.slice fn ri 0
|
||||
};
|
||||
|
||||
|
||||
/** Check if the field is the synthetic this$n of a nested class, used to access the n-th outher instance. */
|
||||
let java_is_outer_instance fn => {
|
||||
let fn = to_string fn;
|
||||
let fn_len = String.length fn;
|
||||
fn_len != 0 && {
|
||||
let this = ".this$";
|
||||
let last_char = fn.[fn_len - 1];
|
||||
(last_char >= '0' && last_char <= '9') &&
|
||||
String.is_suffix fn suffix::(this ^ String.of_char last_char)
|
||||
}
|
||||
};
|
||||
|
||||
let fieldname_offset fn => fn.fpos;
|
||||
|
||||
|
||||
/** hidded fieldname constant */
|
||||
let hidden = create (Mangled.from_string ".hidden") 0;
|
||||
|
||||
|
||||
/** hidded fieldname constant */
|
||||
let is_hidden fn => equal fn hidden;
|
||||
@ -0,0 +1,73 @@
|
||||
/*
|
||||
* Copyright (c) 2017 - present Facebook, Inc.
|
||||
* All rights reserved.
|
||||
*
|
||||
* This source code is licensed under the BSD style license found in the
|
||||
* LICENSE file in the root directory of this source tree. An additional grant
|
||||
* of patent rights can be found in the PATENTS file in the same directory.
|
||||
*/
|
||||
open! IStd;
|
||||
|
||||
|
||||
/** Names for fields of class/struct/union */
|
||||
type t [@@deriving compare];
|
||||
|
||||
|
||||
/** Equality for field names. */
|
||||
let equal: t => t => bool;
|
||||
|
||||
|
||||
/** Set for fieldnames */
|
||||
let module Set: Caml.Set.S with type elt = t;
|
||||
|
||||
|
||||
/** Map for fieldnames */
|
||||
let module Map: Caml.Map.S with type key = t;
|
||||
|
||||
|
||||
/** Create a field name at the given position */
|
||||
let create: Mangled.t => int => t;
|
||||
|
||||
|
||||
/** Convert a field name to a string. */
|
||||
let to_string: t => string;
|
||||
|
||||
|
||||
/** Convert a fieldname to a string, including the mangled part. */
|
||||
let to_complete_string: t => string;
|
||||
|
||||
|
||||
/** Convert a fieldname to a simplified string with at most one-level path. */
|
||||
let to_simplified_string: t => string;
|
||||
|
||||
|
||||
/** Convert a fieldname to a flat string without path. */
|
||||
let to_flat_string: t => string;
|
||||
|
||||
|
||||
/** Pretty print a field name. */
|
||||
let pp: Format.formatter => t => unit;
|
||||
|
||||
|
||||
/** Pretty print a field name in latex. */
|
||||
let pp_latex: Latex.style => Format.formatter => t => unit;
|
||||
|
||||
|
||||
/** The class part of the fieldname */
|
||||
let java_get_class: t => string;
|
||||
|
||||
|
||||
/** The last component of the fieldname */
|
||||
let java_get_field: t => string;
|
||||
|
||||
|
||||
/** Check if the field is the synthetic this$n of a nested class, used to access the n-th outher instance. */
|
||||
let java_is_outer_instance: t => bool;
|
||||
|
||||
|
||||
/** hidded fieldname constant */
|
||||
let hidden: t;
|
||||
|
||||
|
||||
/** hidded fieldname constant */
|
||||
let is_hidden: t => bool;
|
||||
Loading…
Reference in new issue