From 5f94836f4d1adca31c502706831b9ac600c3f41f Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 12 Feb 2018 15:22:56 +0100 Subject: Update licence, add opam script --- src/UTF8.ml | 17 ++++++ src/UTF8.mli | 17 ++++++ src/catalog.ml | 17 ++++++ src/catalog.mli | 17 ++++++ src/cell.ml | 17 ++++++ src/cell.mli | 17 ++++++ src/dataType.ml | 17 ++++++ src/dataType.mli | 17 ++++++ src/date.ml | 17 ++++++ src/date.mli | 17 ++++++ src/errors.ml | 17 ++++++ src/expression.ml | 17 ++++++ src/expression.mli | 17 ++++++ src/expressionLexer.mll | 17 ++++++ src/expressionParser.mly | 17 ++++++ src/expressions/collect_sources.ml | 17 ++++++ src/expressions/eval_ref.ml | 17 ++++++ src/expressions/evaluate.ml | 17 ++++++ src/expressions/show_expr.ml | 17 ++++++ src/expressions/show_type.ml | 17 ++++++ src/expressions/sym_expr.ml | 17 ++++++ src/expressions/sym_ref.ml | 17 ++++++ src/expressions/sym_type.ml | 17 ++++++ src/functions.ml | 17 ++++++ src/functions.mli | 17 ++++++ src/main.ml | 17 ++++++ src/odf/odf.ml | 17 ++++++ src/odf/odfLoader.ml | 17 ++++++ src/odf/odf_ExpressionLexer.mll | 17 ++++++ src/odf/odf_ExpressionParser.mly | 17 ++++++ src/odf/odf_ns.ml | 17 ++++++ src/scTypes.ml | 17 ++++++ src/scTypes.mli | 17 ++++++ src/screen.ml | 17 ++++++ src/screen.mli | 17 ++++++ src/selection.ml | 17 ++++++ src/selection.mli | 17 ++++++ src/sheet.ml | 17 ++++++ src/sheet.mli | 17 ++++++ src/symbols.ml | 17 ++++++ src/symbols.mli | 17 ++++++ src/tools.ml | 112 ++++++------------------------------- src/tree/pageMap.ml | 17 ++++++ src/tree/splay.ml | 17 ++++++ src/tree/splay.mli | 17 ++++++ 45 files changed, 765 insertions(+), 95 deletions(-) (limited to 'src') diff --git a/src/UTF8.ml b/src/UTF8.ml index a955b1e..b09afdc 100755 --- a/src/UTF8.ml +++ b/src/UTF8.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + include Text let empty = "" diff --git a/src/UTF8.mli b/src/UTF8.mli index a2e331e..bd73623 100755 --- a/src/UTF8.mli +++ b/src/UTF8.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** UTF8 is used internally for all strings The module is intentionaly opaque. diff --git a/src/catalog.ml b/src/catalog.ml index 95f13ce..bba13d6 100755 --- a/src/catalog.ml +++ b/src/catalog.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module T = Tools module type DATA_SIG = sig diff --git a/src/catalog.mli b/src/catalog.mli index f39e87b..01288ef 100644 --- a/src/catalog.mli +++ b/src/catalog.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type DATA_SIG = sig type 'a t diff --git a/src/cell.ml b/src/cell.ml index e6ccd63..e6f86d1 100755 --- a/src/cell.ml +++ b/src/cell.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type t = (int * int) * (bool * bool) let u = UTF8.from_utf8string diff --git a/src/cell.mli b/src/cell.mli index 8f225a5..3a482da 100755 --- a/src/cell.mli +++ b/src/cell.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type t = (int * int) * (bool * bool) module Set : sig diff --git a/src/dataType.ml b/src/dataType.ml index f30dd8c..abac572 100755 --- a/src/dataType.ml +++ b/src/dataType.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type COMPARABLE = sig type t val eq: t -> t -> bool diff --git a/src/dataType.mli b/src/dataType.mli index 5c89c98..4b87c32 100755 --- a/src/dataType.mli +++ b/src/dataType.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type COMPARABLE = sig type t val eq: t -> t -> bool diff --git a/src/date.ml b/src/date.ml index 92cb9f6..ecd64db 100644 --- a/src/date.ml +++ b/src/date.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type CALCULABLE = sig type t diff --git a/src/date.mli b/src/date.mli index dd24124..253013b 100755 --- a/src/date.mli +++ b/src/date.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type CALCULABLE = sig type t diff --git a/src/errors.ml b/src/errors.ml index 3751a60..f4b3425 100755 --- a/src/errors.ml +++ b/src/errors.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** The function is undefined *) exception Undefined of UTF8.t * string list diff --git a/src/expression.ml b/src/expression.ml index ae6c85f..7a38a49 100755 --- a/src/expression.ml +++ b/src/expression.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module Tuple2 = Tools.Tuple2 let u = UTF8.from_utf8string diff --git a/src/expression.mli b/src/expression.mli index 5867d48..2c6b3e7 100755 --- a/src/expression.mli +++ b/src/expression.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type t = | Basic: 'a ScTypes.Type.t -> t (** A direct type *) | Formula: formula -> t (** A formula *) diff --git a/src/expressionLexer.mll b/src/expressionLexer.mll index 2d2f87e..7df1c72 100755 --- a/src/expressionLexer.mll +++ b/src/expressionLexer.mll @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + { open ExpressionParser open Lexing diff --git a/src/expressionParser.mly b/src/expressionParser.mly index 1c2769c..a2218a6 100755 --- a/src/expressionParser.mly +++ b/src/expressionParser.mly @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + %{ open ScTypes open ScTypes.Result diff --git a/src/expressions/collect_sources.ml b/src/expressions/collect_sources.ml index d898b86..32b40be 100755 --- a/src/expressions/collect_sources.ml +++ b/src/expressions/collect_sources.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module T = struct type 'a t = unit diff --git a/src/expressions/eval_ref.ml b/src/expressions/eval_ref.ml index d367d2d..8463f6c 100755 --- a/src/expressions/eval_ref.ml +++ b/src/expressions/eval_ref.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type 'a range = | Single of 'a | Array1 of 'a list diff --git a/src/expressions/evaluate.ml b/src/expressions/evaluate.ml index e910c19..ff44097 100755 --- a/src/expressions/evaluate.ml +++ b/src/expressions/evaluate.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** Internal representation for each type *) type 'a value = | Bool: DataType.Bool.t -> DataType.Bool.t value diff --git a/src/expressions/show_expr.ml b/src/expressions/show_expr.ml index 3a54929..c283162 100755 --- a/src/expressions/show_expr.ml +++ b/src/expressions/show_expr.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + let u = UTF8.from_utf8string module Show_Expr diff --git a/src/expressions/show_type.ml b/src/expressions/show_type.ml index c459dca..3451cde 100755 --- a/src/expressions/show_type.ml +++ b/src/expressions/show_type.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type 'a t = UTF8.Buffer.buffer -> unit type 'a obs = UTF8.Buffer.buffer -> unit diff --git a/src/expressions/sym_expr.ml b/src/expressions/sym_expr.ml index 5ff828e..4f5d6a6 100755 --- a/src/expressions/sym_expr.ml +++ b/src/expressions/sym_expr.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type SYM_EXPR = sig module T:Sym_type.SYM_TYPE diff --git a/src/expressions/sym_ref.ml b/src/expressions/sym_ref.ml index aba8053..ef9168e 100755 --- a/src/expressions/sym_ref.ml +++ b/src/expressions/sym_ref.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type SYM_REF = sig type 'a t diff --git a/src/expressions/sym_type.ml b/src/expressions/sym_type.ml index 31c9534..8670f4d 100755 --- a/src/expressions/sym_type.ml +++ b/src/expressions/sym_type.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type SYM_TYPE = sig type 'a t diff --git a/src/functions.ml b/src/functions.ml index 309de6c..dfedfd0 100755 --- a/src/functions.ml +++ b/src/functions.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module D = DataType module T = Tools diff --git a/src/functions.mli b/src/functions.mli index 43a6fc2..2c7db0d 100755 --- a/src/functions.mli +++ b/src/functions.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** Function signature *) diff --git a/src/main.ml b/src/main.ml index 4e49aa3..5da7b90 100755 --- a/src/main.ml +++ b/src/main.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module E:Sym_expr.SYM_EXPR = Evaluate let u = UTF8.from_utf8string diff --git a/src/odf/odf.ml b/src/odf/odf.ml index 1db9d4b..68add32 100755 --- a/src/odf/odf.ml +++ b/src/odf/odf.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module T = Tools module NS = Odf_ns diff --git a/src/odf/odfLoader.ml b/src/odf/odfLoader.ml index 280e6bd..06eba38 100755 --- a/src/odf/odfLoader.ml +++ b/src/odf/odfLoader.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module NS = Odf_ns type tree = diff --git a/src/odf/odf_ExpressionLexer.mll b/src/odf/odf_ExpressionLexer.mll index 7f6a55b..00d1ce6 100755 --- a/src/odf/odf_ExpressionLexer.mll +++ b/src/odf/odf_ExpressionLexer.mll @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + { open Odf_ExpressionParser open Lexing diff --git a/src/odf/odf_ExpressionParser.mly b/src/odf/odf_ExpressionParser.mly index 2acd1b8..1b9e8e2 100755 --- a/src/odf/odf_ExpressionParser.mly +++ b/src/odf/odf_ExpressionParser.mly @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + %{ open ScTypes module S = Symbols diff --git a/src/odf/odf_ns.ml b/src/odf/odf_ns.ml index 5a501da..43e9329 100755 --- a/src/odf/odf_ns.ml +++ b/src/odf/odf_ns.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + let ooo = "http://openoffice.org/2004/office" let ooow = "http://openoffice.org/2004/writer" let oooc = "http://openoffice.org/2004/calc" diff --git a/src/scTypes.ml b/src/scTypes.ml index ef39af3..31dc799 100755 --- a/src/scTypes.ml +++ b/src/scTypes.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** All the types used in the spreadsheet. *) let u = UTF8.from_utf8string diff --git a/src/scTypes.mli b/src/scTypes.mli index f7bcc1b..04d38eb 100755 --- a/src/scTypes.mli +++ b/src/scTypes.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** All the types used in the spreadsheet. *) (** This module describe the most basic type use in the spreadsheet : every content is, diff --git a/src/screen.ml b/src/screen.ml index 7888ba5..d168865 100755 --- a/src/screen.ml +++ b/src/screen.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** Curses submodules *) module Attrs = Curses.A module Color = Curses.Color diff --git a/src/screen.mli b/src/screen.mli index 0d9dc69..0c3ce40 100755 --- a/src/screen.mli +++ b/src/screen.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** Represent the {!module:Sheet} *) type t diff --git a/src/selection.ml b/src/selection.ml index 28e11fa..94db4e7 100755 --- a/src/selection.ml +++ b/src/selection.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module T2 = Tools.Tuple2 type t = diff --git a/src/selection.mli b/src/selection.mli index aa14e38..ed93dbd 100755 --- a/src/selection.mli +++ b/src/selection.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type t type axe = diff --git a/src/sheet.ml b/src/sheet.ml index 881bf58..cfe299d 100755 --- a/src/sheet.ml +++ b/src/sheet.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type cell = int * int module Raw = struct diff --git a/src/sheet.mli b/src/sheet.mli index 169932e..5f85e92 100755 --- a/src/sheet.mli +++ b/src/sheet.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** This module represent a sheet *) type cell = int * int diff --git a/src/symbols.ml b/src/symbols.ml index 56d7530..d87e019 100755 --- a/src/symbols.ml +++ b/src/symbols.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + let u = UTF8.from_utf8string let eq = u"=" diff --git a/src/symbols.mli b/src/symbols.mli index 764b539..9e168b2 100755 --- a/src/symbols.mli +++ b/src/symbols.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + (** Symbols *) diff --git a/src/tools.ml b/src/tools.ml index 8481d59..cfd17cd 100755 --- a/src/tools.ml +++ b/src/tools.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + let u = UTF8.from_utf8string module Option = struct @@ -37,11 +54,6 @@ module String = struct String.sub str 0 p, String.sub str (p + 1) (slen - p - 1) end - let cut str ~by:sep = begin - try String.sub str 0 @@ String.index str sep with - | Not_found -> str - end - let string_of_ints v = begin let buff = Buffer.create 1 in let rec convert value = begin @@ -107,15 +119,6 @@ module List = struct end end - let rec findOpt p = begin function - | [] -> None - | x::l -> - if p x then - Some(x) - else - findOpt p l - end - and find_map2 p = begin function | [] -> raise Not_found | x::l -> @@ -124,34 +127,6 @@ module List = struct end end - (** Convert the list [l] as an array *) - let to_array l = begin - let elems = ref l in - let build = fun _ -> - begin match (!elems) with - | [] -> assert false - | hd::tl -> - elems := tl; - hd - end - in Array.init (List.length l) build - end - - let linearize elems = begin - let rec _linearize acc (elems:'a list list) : 'a list = begin - let split (hds, tls) = function - | hd::tl -> hd::hds, tl::tls - | [] -> hds, tls - in - match elems with - | [] -> acc - | elems -> - let acc, tls = List.fold_left split (acc, []) elems in - _linearize acc tls - end in - List.rev @@ _linearize [] elems - end - end module Tuple2 = struct @@ -179,29 +154,6 @@ module Tuple2 = struct end -module Tuple3 = struct - - let fst (a, b, c) = a - - let snd (a, b, c) = b - - let thd (a, b, c) = c - - let map f (a, b, c) = (f a, f b, f c) - - let map1 f (a, b, c) = (f a, b, c) - - let map2 f (a, b, c) = (a, f b, c) - - let map3 f (a, b, c) = (a, b, f c) - - let replace1 v (a, b, c) = (v, b, c) - - let replace2 v (a, b, c) = (a, v, c) - - let replace3 v (a, b, c) = (a, b, v) -end - module NCurses = struct type mouse_event = @@ -268,36 +220,6 @@ module type COMPARABLE_TYPE = sig end -module ArrayMap(Ord: COMPARABLE_TYPE) = struct - - type 'a key = 'a Ord.t - - type t = Val : ('a key * 'a) array -> t - - let find: type a. a key -> t -> a = begin fun k (Val map) -> - let rec find_ idx : a = begin - let x, v = Array.get map idx in - match Ord.comp x k with - | Eq -> v - | Lt -> find_ ((2 * idx) + 1) - | Gt -> find_ ((2 * idx) + 2) - end in - find_ 0 - end - - let from_list l = begin - let compare (key_x, _) (key_y, _) = match Ord.comp key_x key_y with - | Eq -> 0 - | Lt -> -1 - | Gt -> 1 - in - let arr = List.to_array l in - Array.sort compare arr; - Val arr - end - -end - let fold_for f a b init = let rec _fold res i = begin if i >= b then res diff --git a/src/tree/pageMap.ml b/src/tree/pageMap.ml index 38bbe42..e18ba6f 100755 --- a/src/tree/pageMap.ml +++ b/src/tree/pageMap.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + type cell = int * int module type T_DEFAULT = sig diff --git a/src/tree/splay.ml b/src/tree/splay.ml index 662fc6c..de7d441 100644 --- a/src/tree/splay.ml +++ b/src/tree/splay.ml @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type KEY = sig type 'a t diff --git a/src/tree/splay.mli b/src/tree/splay.mli index 521441c..a640075 100755 --- a/src/tree/splay.mli +++ b/src/tree/splay.mli @@ -1,3 +1,20 @@ +(* +This file is part of licht. + +licht is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 3 of the License, or +(at your option) any later version. + +licht is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with licht. If not, see . +*) + module type KEY = sig type 'a t -- cgit v1.2.3