Permalink
Browse files

Fix copyright notices

  • Loading branch information...
1 parent 94bd448 commit 6d826f95dc1fdb2d02af923959613b177906c56d @manopapad committed Apr 22, 2011
Showing with 708 additions and 262 deletions.
  1. +22 −0 Makefile
  2. +2 −2 README
  3. +22 −0 clean_doc.sh
  4. +22 −0 clean_temp.sh
  5. +25 −3 doc/overview.edoc
  6. +9 −3 examples/b64.erl
  7. +15 −10 examples/ets_statem.erl
  8. +9 −3 examples/mm.erl
  9. +10 −5 examples/pdict_statem.erl
  10. +10 −4 examples/stack.erl
  11. +10 −5 include/proper.hrl
  12. +8 −3 include/proper_common.hrl
  13. +9 −4 include/proper_internal.hrl
  14. +13 −7 include/proper_param_adts.hrl
  15. +23 −1 rebar.config
  16. +8 −5 src/proper.app.src
  17. +7 −4 src/proper.erl
  18. +7 −4 src/proper_arith.erl
  19. +7 −4 src/proper_array.erl
  20. +7 −4 src/proper_dict.erl
  21. +7 −4 src/proper_gb_sets.erl
  22. +7 −4 src/proper_gb_trees.erl
  23. +7 −4 src/proper_gen.erl
  24. +7 −4 src/proper_orddict.erl
  25. +7 −4 src/proper_ordsets.erl
  26. +7 −4 src/proper_prop_remover.erl
  27. +7 −4 src/proper_queue.erl
  28. +7 −4 src/proper_sets.erl
  29. +8 −5 src/proper_shrink.erl
  30. +54 −51 src/proper_statem.erl
  31. +7 −4 src/proper_symb.erl
  32. +7 −4 src/proper_transformer.erl
  33. +7 −4 src/proper_types.erl
  34. +7 −4 src/proper_typeserver.erl
  35. +7 −4 src/strip_types.erl
  36. +7 −4 src/vararg.erl
  37. +7 −4 test/auto_export_test1.erl
  38. +7 −4 test/auto_export_test2.erl
  39. +35 −10 test/command_props.erl
  40. +25 −0 test/error_statem.erl
  41. +26 −1 test/ets_counter.erl
  42. +14 −9 test/ets_statem.erl
  43. +7 −4 test/no_native_parse_test.erl
  44. +7 −4 test/no_out_of_forall_test.erl
  45. +25 −0 test/nogen_statem.erl
  46. +10 −5 test/pdict_statem.erl
  47. +25 −0 test/post_false.erl
  48. +25 −0 test/prec_false.erl
  49. +9 −6 test/proper_tests.erl
  50. +7 −4 test/rec_props_test1.erl
  51. +7 −4 test/rec_props_test2.erl
  52. +7 −4 test/rec_test1.erl
  53. +7 −4 test/rec_test2.erl
  54. +25 −0 test/symb_statem.erl
  55. +7 −4 test/to_remove.erl
  56. +7 −4 test/types_test1.erl
  57. +7 −4 test/types_test2.erl
  58. +7 −4 test/weird_types.erl
View
@@ -1,3 +1,25 @@
+# Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+# Eirini Arvaniti <eirinibob@gmail.com>
+# and Kostis Sagonas <kostis@cs.ntua.gr>
+#
+# This file is part of PropEr.
+#
+# PropEr 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.
+#
+# PropEr 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 PropEr. If not, see <http://www.gnu.org/licenses/>.
+
+# Author: Manolis Papadakis <manopapad@gmail.com>
+# Description: Instructions for make
+
.PHONY: default all compile dialyze tests doc clean distclean rebuild retest
default: compile
View
4 README
@@ -4,8 +4,8 @@ Contact information and license
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang, developed by Manolis
-Papadakis (manopapad@gmail.com), Eirini Arvaniti (eirinibob@gmail.com) and
-Kostis Sagonas (kostis@cs.ntua.gr). The base PropEr system was written mainly by
+Papadakis <manopapad@gmail.com>, Eirini Arvaniti <eirinibob@gmail.com> and
+Kostis Sagonas <kostis@cs.ntua.gr>. The base PropEr system was written mainly by
Manolis Papadakis, and the stateful code testing subsystem by Eirini Arvaniti.
You can reach the developers in the following ways:
View
@@ -1,3 +1,25 @@
#! /bin/sh
+# Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+# Eirini Arvaniti <eirinibob@gmail.com>
+# and Kostis Sagonas <kostis@cs.ntua.gr>
+#
+# This file is part of PropEr.
+#
+# PropEr 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.
+#
+# PropEr 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 PropEr. If not, see <http://www.gnu.org/licenses/>.
+
+# Author: Manolis Papadakis <manopapad@gmail.com>
+# Description: Cleanup script for EDoc-generated documentation files
+
rm -f doc/*.html doc/stylesheet.css doc/erlang.png doc/edoc-info
View
@@ -1,5 +1,27 @@
#! /bin/sh
+# Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+# Eirini Arvaniti <eirinibob@gmail.com>
+# and Kostis Sagonas <kostis@cs.ntua.gr>
+#
+# This file is part of PropEr.
+#
+# PropEr 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.
+#
+# PropEr 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 PropEr. If not, see <http://www.gnu.org/licenses/>.
+
+# Author: Manolis Papadakis <manopapad@gmail.com>
+# Description: Cleanup script for temporary files
+
DIRS=.\ `ls -l | grep '^d' | awk '{print $8}'`
for d in $DIRS; do
View
@@ -1,8 +1,30 @@
-PropEr overview page
+Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+ Eirini Arvaniti <eirinibob@gmail.com>
+ and Kostis Sagonas <kostis@cs.ntua.gr>
+This file is part of PropEr.
-@author Manolis Papadakis <manopapad@gmail.com>
-@copyright 2010 Manolis Papadakis
+PropEr 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.
+
+PropEr 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 PropEr. If not, see <http://www.gnu.org/licenses/>.
+
+
+This is the source for PropEr's overview page.
+
+@copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+ Eirini Arvaniti <eirinibob@gmail.com>
+ and Kostis Sagonas <kostis@cs.ntua.gr>
@version {@version}
+@author Manolis Papadakis <manopapad@gmail.com>
+
@title PropEr: a PROPerty-based testing tool for ERlang
@doc No top-level documentation yet.
View
@@ -1,5 +1,6 @@
-%%% Copyright 2010-2011 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,7 +17,12 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%% PropEr usage example: Some simple testcases for stdlib's base64
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @version {@version}
+%%% @author Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @doc PropEr usage example: Some simple testcases for stdlib's base64
-module(b64).
-export([prop_enc_dec/0]).
View
@@ -1,5 +1,6 @@
-%%% Copyright 2011 Eirini Arvaniti (eirinibob@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,8 +17,12 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% File : ets_statem.erl
-%%% Description : Simple statem test for ets tables
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @version {@version}
+%%% @author Eirini Arvaniti <eirinibob@gmail.com>
+%%% @doc Simple statem test for ets tables
-module(ets_statem).
-export([initial_state/0, command/1, precondition/2, postcondition/3,
@@ -126,7 +131,7 @@ next_state(S, _V, {call,_,insert,[?TAB,Object]}) ->
S#state{stored=[Object|S#state.stored]};
true ->
S#state{stored=lists:keyreplace(Key, 1, S#state.stored, Object)}
- end;
+ end;
bag ->
case lists:member(Object, S#state.stored) of
false ->
@@ -139,7 +144,7 @@ next_state(S, _V, {call,_,insert,[?TAB,Object]}) ->
end;
next_state(S, _V, {call,_,insert_new,[?TAB,Object]}) ->
Key = element(1, Object),
- case S#state.type of
+ case S#state.type of
ordered_set ->
case lists:keymember(Key, 1, S#state.stored) of
false ->
@@ -173,7 +178,7 @@ next_state(S, _V, {call,_,_,_}) -> S.
postcondition(S, {call,_,update_counter,[?TAB,Key,Incr]}, Res) ->
Object = case S#state.type of
- set ->
+ set ->
proplists:lookup(Key, S#state.stored);
ordered_set ->
lists:keyfind(Key, 1, S#state.stored)
@@ -187,7 +192,7 @@ postcondition(_S, {call,_,delete,[?TAB,_Key]}, Res) ->
postcondition(_S, {call,_,insert,[?TAB,_Object]}, Res) ->
Res =:= true;
postcondition(S, {call,_,insert_new,[?TAB,Object]}, Res) ->
- Key = element(1, Object),
+ Key = element(1, Object),
case S#state.type of
ordered_set ->
Res =:= not lists:keymember(Key, 1, S#state.stored);
@@ -199,9 +204,9 @@ postcondition(S, {call,_,lookup,[?TAB,Key]}, []) ->
ordered_set ->
not lists:keymember(Key, 1, S#state.stored);
_ ->
- not proplists:is_defined(Key, S#state.stored)
+ not proplists:is_defined(Key, S#state.stored)
end;
-postcondition(S, {call,_,lookup,[?TAB,Key]}, Res) ->
+postcondition(S, {call,_,lookup,[?TAB,Key]}, Res) ->
case S#state.type of
set ->
Res =:= proplists:lookup_all(Key, S#state.stored);
View
@@ -1,5 +1,6 @@
-%%% Copyright 2010 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,7 +17,12 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%% PropEr usage example: Static mastermind solver
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @version {@version}
+%%% @author Manolis Papadakis <manopapad@gmail.com>
+%%% @doc PropEr usage example: Static mastermind solver
-module(mm).
-export([mastermind/3, mastermind/4]).
View
@@ -1,5 +1,6 @@
-%%% Copyright 2011 Eirini Arvaniti (eirinibob@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,9 +17,13 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% File : pdict_statem.erl
-%%% Original author: Kresten Krab Thorup (krab@trifork.com)
-%%% Description : Simple statem test for the process dictionary
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @version {@version}
+%%% @author Kresten Krab Thorup <krab@trifork.com>,
+%%% edited by Eirini Arvaniti <eirinibob@gmail.com>
+%%% @doc Simple statem test for the process dictionary
-module(pdict_statem).
-export([test/0, test/1]).
View
@@ -1,5 +1,6 @@
-%%% Copyright 2010 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,8 +17,13 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%% Auto-ADT usage example: list-based implementation of a stack, with element
-%% counting
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @version {@version}
+%%% @author Manolis Papadakis <manopapad@gmail.com>
+%%% @doc Auto-ADT usage example: list-based implementation of a stack, with
+%%% element counting
-module(stack).
-export([is_empty/1, size/1, new/0, push/2, pop/1, safe_pop/1]).
View
@@ -1,5 +1,6 @@
-%%% Copyright 2010 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,14 +17,18 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% User header file
-%%% This should be included in each file containing user type declarations
-%%% and/or properties to be tested.
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @author Manolis Papadakis <manopapad@gmail.com>
+%%% @doc User header file: This file should be included in each file containing
+%%% user type declarations and/or properties to be tested.
-include("proper_common.hrl").
-ifndef(PROPER_NO_IMPORTS).
+
%%------------------------------------------------------------------------------
%% Test generation functions
%%------------------------------------------------------------------------------
View
@@ -1,5 +1,6 @@
-%%% Copyright 2010 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,7 +17,11 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% Common parts of user and internal header files
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @author Manolis Papadakis <manopapad@gmail.com>
+%%% @doc Common parts of user and internal header files
%%------------------------------------------------------------------------------
@@ -1,5 +1,6 @@
-%%% Copyright 2010 Manolis Papadakis (manopapad@gmail.com)
-%%% and Kostis Sagonas (kostis@cs.ntua.gr)
+%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
%%% This file is part of PropEr.
%%%
@@ -16,8 +17,12 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% Internal header file
-%%% This header is included in all PropEr source files.
+%%% @copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Eirini Arvaniti <eirinibob@gmail.com>
+%%% and Kostis Sagonas <kostis@cs.ntua.gr>
+%%% @author Manolis Papadakis <manopapad@gmail.com>
+%%% @doc Internal header file: This header is included in all PropEr source
+%%% files.
-include("proper_common.hrl").
Oops, something went wrong.

0 comments on commit 6d826f9

Please sign in to comment.