diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 10:57:14 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 10:57:14 +0200 |
| commit | 368a0b045d3df1aa126458cf485e07eab153924d (patch) | |
| tree | 5ee7e0908d64fe4ac7398806b1324921acb4c38a /libs | |
| parent | 88ecd2d5f2b27a09060313fd29fd087b92e6166e (diff) | |
| download | scade-analyzer-368a0b045d3df1aa126458cf485e07eab153924d.tar.gz scade-analyzer-368a0b045d3df1aa126458cf485e07eab153924d.zip | |
Finish up EDDs
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/util.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/libs/util.ml b/libs/util.ml index 88b916f..940fe3e 100644 --- a/libs/util.ml +++ b/libs/util.ml @@ -80,6 +80,14 @@ let uid = fun () -> c := !c + 1; string_of_int !c +(* String *) + +let is_suffix s sf = + let n = String.length s in + let k = String.length sf in + n >= k && sf = String.sub s (n-k) k + + (* Time heavy functions *) let times_k : (string, float) Hashtbl.t = Hashtbl.create 10 |