package lascar

  1. Overview
  2. Docs
A library for manipulating Labeled Transition Systems in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

lascar-0.6.0.tbz
sha256=343190b9c765655e787758db86a82818404dda18b4d2806283b4bde3ced91d26
sha512=2b6534ac438d574228d127b3b4e2cfec17b8b95e95124297c8da351caf34de2bb4ec8a31028a1470ba7f42aa932257293d021140a5a1c2642d1a60a8123d00a0

doc/src/lascar.utils/filenameExt.ml.html

Source file filenameExt.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(**********************************************************************)
(*                                                                    *)
(*                              LASCAr                                *)
(*                                                                    *)
(*  Copyright (c) 2017-present, Jocelyn SEROT.  All rights reserved.  *)
(*                                                                    *)
(*  This source code is licensed under the license found in the       *)
(*  LICENSE file in the root directory of this source tree.           *)
(*                                                                    *)
(**********************************************************************)

let split_suffix name =
  try
    let i = String.rindex name '.' in
    String.sub name 0 i, String.sub name i (String.length name - i)
  with
    Not_found -> name, ""

let add_before_suffix name e =
  let b, s = split_suffix name in
  b ^ e ^ s

let replace_suffix name s =
  let b, _ = split_suffix name in
  b ^ "." ^ s
  
OCaml

Innovation. Community. Security.