ocamlwc: a wc program for ocaml sources

From: Jean-Christophe Filliatre (filliatr@csl.sri.com)
Date: Tue Jun 13 2000 - 03:06:04 MET DST

  • Next message: Markus Mottl: "Re: Signatures (was: Reverse-Engineering Bytecode)"

    Dear ocamlers,

    ocamlwc is a small program to compute the number of lines of code and
    documentation in ocaml sources. It is particularly useful when one
    wants to evaluate the size of a program heavily documented (for
    instance with ocamlweb :-) Then standard tools like wc really become
    too coarse. Some features of ocamlwc:

        - skip the header, if any (can be turned off)
        - do not count the empty lines (even inside comments)
        - correctly counts the lines mixing code and comments
        - print the percentage of documentation (option); beware, it's harsh!

    ocamlwc is freely distributed under GPL on the following page:

        http://www.lri.fr/~filliatr/software.en.html

    The documented code can be reached directly at:

        http://www.lri.fr/~filliatr/ftp/ocaml/misc/ocamlwc.ps.gz

    -- 
    Jean-Christophe Filliatre    
    

    ==[ Français ]========================================================

    ocamlwc est un petit programme pour compter le nombre de lignes de code et de commentaires dans des fichiers source ocaml. Il s'avère particulièrement utile pour évaluer la taille de programmes ocaml bien documentés (par exemple avec ocamlweb :-). Quelques caractéristiques d'ocamlwc :

    - ne tient pas compte de l'entête, s'il y en a un (peut être désactivé) - ne compte pas les lignes vides (y compris dans les commentaire) - décompte correctement les lignes contenant code et commentaire - imprime la proportion de documentation (attention, c'est sans pitié !)

    ocamlwc est librement distribué sous license GPL à l'adresse suivante :

    http://www.lri.fr/~filliatr/software.fr.html

    Une version PostScript du code documenté peut être trouvée directement à l'adresse suivante :

    http://www.lri.fr/~filliatr/ftp/ocaml/misc/ocamlwc.ps.gz

    -- Jean-Christophe Filliatre



    This archive was generated by hypermail 2b29 : Tue Jun 13 2000 - 18:50:46 MET DST