COPYING
author mjsousa
Sun, 13 Jul 2014 13:47:16 +0100
changeset 910 a0518971127d
parent 261 db2ad6541d92
permissions -rw-r--r--
Narrow array subscripts correctly, even in the presence of other datatype errors (so we do not generate error messages for array subscripts that do not contain errors).
261
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     1
                    GNU GENERAL PUBLIC LICENSE
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     2
                       Version 3, 29 June 2007
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     3
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     4
 Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     5
 Everyone is permitted to copy and distribute verbatim copies
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     6
 of this license document, but changing it is not allowed.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     7
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     8
                            Preamble
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
     9
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    10
  The GNU General Public License is a free, copyleft license for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    11
software and other kinds of works.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    12
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    13
  The licenses for most software and other practical works are designed
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    14
to take away your freedom to share and change the works.  By contrast,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    15
the GNU General Public License is intended to guarantee your freedom to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    16
share and change all versions of a program--to make sure it remains free
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    17
software for all its users.  We, the Free Software Foundation, use the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    18
GNU General Public License for most of our software; it applies also to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    19
any other work released this way by its authors.  You can apply it to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    20
your programs, too.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    21
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    22
  When we speak of free software, we are referring to freedom, not
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    23
price.  Our General Public Licenses are designed to make sure that you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    24
have the freedom to distribute copies of free software (and charge for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    25
them if you wish), that you receive source code or can get it if you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    26
want it, that you can change the software or use pieces of it in new
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    27
free programs, and that you know you can do these things.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    28
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    29
  To protect your rights, we need to prevent others from denying you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    30
these rights or asking you to surrender the rights.  Therefore, you have
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    31
certain responsibilities if you distribute copies of the software, or if
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    32
you modify it: responsibilities to respect the freedom of others.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    33
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    34
  For example, if you distribute copies of such a program, whether
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    35
gratis or for a fee, you must pass on to the recipients the same
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    36
freedoms that you received.  You must make sure that they, too, receive
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    37
or can get the source code.  And you must show them these terms so they
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    38
know their rights.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    39
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    40
  Developers that use the GNU GPL protect your rights with two steps:
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    41
(1) assert copyright on the software, and (2) offer you this License
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    42
giving you legal permission to copy, distribute and/or modify it.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    43
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    44
  For the developers' and authors' protection, the GPL clearly explains
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    45
that there is no warranty for this free software.  For both users' and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    46
authors' sake, the GPL requires that modified versions be marked as
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    47
changed, so that their problems will not be attributed erroneously to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    48
authors of previous versions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    49
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    50
  Some devices are designed to deny users access to install or run
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    51
modified versions of the software inside them, although the manufacturer
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    52
can do so.  This is fundamentally incompatible with the aim of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    53
protecting users' freedom to change the software.  The systematic
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    54
pattern of such abuse occurs in the area of products for individuals to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    55
use, which is precisely where it is most unacceptable.  Therefore, we
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    56
have designed this version of the GPL to prohibit the practice for those
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    57
products.  If such problems arise substantially in other domains, we
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    58
stand ready to extend this provision to those domains in future versions
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    59
of the GPL, as needed to protect the freedom of users.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    60
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    61
  Finally, every program is threatened constantly by software patents.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    62
States should not allow patents to restrict development and use of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    63
software on general-purpose computers, but in those that do, we wish to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    64
avoid the special danger that patents applied to a free program could
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    65
make it effectively proprietary.  To prevent this, the GPL assures that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    66
patents cannot be used to render the program non-free.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    67
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    68
  The precise terms and conditions for copying, distribution and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    69
modification follow.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    70
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    71
                       TERMS AND CONDITIONS
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    72
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    73
  0. Definitions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    74
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    75
  "This License" refers to version 3 of the GNU General Public License.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    76
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    77
  "Copyright" also means copyright-like laws that apply to other kinds of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    78
works, such as semiconductor masks.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    79
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    80
  "The Program" refers to any copyrightable work licensed under this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    81
License.  Each licensee is addressed as "you".  "Licensees" and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    82
"recipients" may be individuals or organizations.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    83
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    84
  To "modify" a work means to copy from or adapt all or part of the work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    85
in a fashion requiring copyright permission, other than the making of an
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    86
exact copy.  The resulting work is called a "modified version" of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    87
earlier work or a work "based on" the earlier work.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    88
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    89
  A "covered work" means either the unmodified Program or a work based
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    90
on the Program.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    91
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    92
  To "propagate" a work means to do anything with it that, without
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    93
permission, would make you directly or secondarily liable for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    94
infringement under applicable copyright law, except executing it on a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    95
computer or modifying a private copy.  Propagation includes copying,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    96
distribution (with or without modification), making available to the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    97
public, and in some countries other activities as well.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    98
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
    99
  To "convey" a work means any kind of propagation that enables other
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   100
parties to make or receive copies.  Mere interaction with a user through
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   101
a computer network, with no transfer of a copy, is not conveying.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   102
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   103
  An interactive user interface displays "Appropriate Legal Notices"
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   104
to the extent that it includes a convenient and prominently visible
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   105
feature that (1) displays an appropriate copyright notice, and (2)
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   106
tells the user that there is no warranty for the work (except to the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   107
extent that warranties are provided), that licensees may convey the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   108
work under this License, and how to view a copy of this License.  If
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   109
the interface presents a list of user commands or options, such as a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   110
menu, a prominent item in the list meets this criterion.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   111
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   112
  1. Source Code.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   113
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   114
  The "source code" for a work means the preferred form of the work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   115
for making modifications to it.  "Object code" means any non-source
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   116
form of a work.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   117
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   118
  A "Standard Interface" means an interface that either is an official
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   119
standard defined by a recognized standards body, or, in the case of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   120
interfaces specified for a particular programming language, one that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   121
is widely used among developers working in that language.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   122
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   123
  The "System Libraries" of an executable work include anything, other
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   124
than the work as a whole, that (a) is included in the normal form of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   125
packaging a Major Component, but which is not part of that Major
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   126
Component, and (b) serves only to enable use of the work with that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   127
Major Component, or to implement a Standard Interface for which an
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   128
implementation is available to the public in source code form.  A
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   129
"Major Component", in this context, means a major essential component
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   130
(kernel, window system, and so on) of the specific operating system
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   131
(if any) on which the executable work runs, or a compiler used to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   132
produce the work, or an object code interpreter used to run it.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   133
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   134
  The "Corresponding Source" for a work in object code form means all
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   135
the source code needed to generate, install, and (for an executable
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   136
work) run the object code and to modify the work, including scripts to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   137
control those activities.  However, it does not include the work's
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   138
System Libraries, or general-purpose tools or generally available free
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   139
programs which are used unmodified in performing those activities but
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   140
which are not part of the work.  For example, Corresponding Source
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   141
includes interface definition files associated with source files for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   142
the work, and the source code for shared libraries and dynamically
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   143
linked subprograms that the work is specifically designed to require,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   144
such as by intimate data communication or control flow between those
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   145
subprograms and other parts of the work.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   146
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   147
  The Corresponding Source need not include anything that users
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   148
can regenerate automatically from other parts of the Corresponding
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   149
Source.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   150
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   151
  The Corresponding Source for a work in source code form is that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   152
same work.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   153
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   154
  2. Basic Permissions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   155
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   156
  All rights granted under this License are granted for the term of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   157
copyright on the Program, and are irrevocable provided the stated
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   158
conditions are met.  This License explicitly affirms your unlimited
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   159
permission to run the unmodified Program.  The output from running a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   160
covered work is covered by this License only if the output, given its
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   161
content, constitutes a covered work.  This License acknowledges your
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   162
rights of fair use or other equivalent, as provided by copyright law.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   163
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   164
  You may make, run and propagate covered works that you do not
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   165
convey, without conditions so long as your license otherwise remains
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   166
in force.  You may convey covered works to others for the sole purpose
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   167
of having them make modifications exclusively for you, or provide you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   168
with facilities for running those works, provided that you comply with
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   169
the terms of this License in conveying all material for which you do
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   170
not control copyright.  Those thus making or running the covered works
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   171
for you must do so exclusively on your behalf, under your direction
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   172
and control, on terms that prohibit them from making any copies of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   173
your copyrighted material outside their relationship with you.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   174
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   175
  Conveying under any other circumstances is permitted solely under
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   176
the conditions stated below.  Sublicensing is not allowed; section 10
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   177
makes it unnecessary.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   178
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   179
  3. Protecting Users' Legal Rights From Anti-Circumvention Law.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   180
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   181
  No covered work shall be deemed part of an effective technological
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   182
measure under any applicable law fulfilling obligations under article
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   183
11 of the WIPO copyright treaty adopted on 20 December 1996, or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   184
similar laws prohibiting or restricting circumvention of such
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   185
measures.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   186
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   187
  When you convey a covered work, you waive any legal power to forbid
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   188
circumvention of technological measures to the extent such circumvention
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   189
is effected by exercising rights under this License with respect to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   190
the covered work, and you disclaim any intention to limit operation or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   191
modification of the work as a means of enforcing, against the work's
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   192
users, your or third parties' legal rights to forbid circumvention of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   193
technological measures.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   194
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   195
  4. Conveying Verbatim Copies.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   196
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   197
  You may convey verbatim copies of the Program's source code as you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   198
receive it, in any medium, provided that you conspicuously and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   199
appropriately publish on each copy an appropriate copyright notice;
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   200
keep intact all notices stating that this License and any
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   201
non-permissive terms added in accord with section 7 apply to the code;
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   202
keep intact all notices of the absence of any warranty; and give all
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   203
recipients a copy of this License along with the Program.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   204
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   205
  You may charge any price or no price for each copy that you convey,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   206
and you may offer support or warranty protection for a fee.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   207
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   208
  5. Conveying Modified Source Versions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   209
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   210
  You may convey a work based on the Program, or the modifications to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   211
produce it from the Program, in the form of source code under the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   212
terms of section 4, provided that you also meet all of these conditions:
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   213
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   214
    a) The work must carry prominent notices stating that you modified
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   215
    it, and giving a relevant date.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   216
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   217
    b) The work must carry prominent notices stating that it is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   218
    released under this License and any conditions added under section
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   219
    7.  This requirement modifies the requirement in section 4 to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   220
    "keep intact all notices".
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   221
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   222
    c) You must license the entire work, as a whole, under this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   223
    License to anyone who comes into possession of a copy.  This
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   224
    License will therefore apply, along with any applicable section 7
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   225
    additional terms, to the whole of the work, and all its parts,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   226
    regardless of how they are packaged.  This License gives no
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   227
    permission to license the work in any other way, but it does not
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   228
    invalidate such permission if you have separately received it.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   229
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   230
    d) If the work has interactive user interfaces, each must display
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   231
    Appropriate Legal Notices; however, if the Program has interactive
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   232
    interfaces that do not display Appropriate Legal Notices, your
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   233
    work need not make them do so.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   234
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   235
  A compilation of a covered work with other separate and independent
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   236
works, which are not by their nature extensions of the covered work,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   237
and which are not combined with it such as to form a larger program,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   238
in or on a volume of a storage or distribution medium, is called an
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   239
"aggregate" if the compilation and its resulting copyright are not
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   240
used to limit the access or legal rights of the compilation's users
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   241
beyond what the individual works permit.  Inclusion of a covered work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   242
in an aggregate does not cause this License to apply to the other
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   243
parts of the aggregate.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   244
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   245
  6. Conveying Non-Source Forms.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   246
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   247
  You may convey a covered work in object code form under the terms
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   248
of sections 4 and 5, provided that you also convey the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   249
machine-readable Corresponding Source under the terms of this License,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   250
in one of these ways:
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   251
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   252
    a) Convey the object code in, or embodied in, a physical product
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   253
    (including a physical distribution medium), accompanied by the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   254
    Corresponding Source fixed on a durable physical medium
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   255
    customarily used for software interchange.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   256
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   257
    b) Convey the object code in, or embodied in, a physical product
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   258
    (including a physical distribution medium), accompanied by a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   259
    written offer, valid for at least three years and valid for as
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   260
    long as you offer spare parts or customer support for that product
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   261
    model, to give anyone who possesses the object code either (1) a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   262
    copy of the Corresponding Source for all the software in the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   263
    product that is covered by this License, on a durable physical
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   264
    medium customarily used for software interchange, for a price no
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   265
    more than your reasonable cost of physically performing this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   266
    conveying of source, or (2) access to copy the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   267
    Corresponding Source from a network server at no charge.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   268
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   269
    c) Convey individual copies of the object code with a copy of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   270
    written offer to provide the Corresponding Source.  This
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   271
    alternative is allowed only occasionally and noncommercially, and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   272
    only if you received the object code with such an offer, in accord
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   273
    with subsection 6b.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   274
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   275
    d) Convey the object code by offering access from a designated
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   276
    place (gratis or for a charge), and offer equivalent access to the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   277
    Corresponding Source in the same way through the same place at no
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   278
    further charge.  You need not require recipients to copy the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   279
    Corresponding Source along with the object code.  If the place to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   280
    copy the object code is a network server, the Corresponding Source
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   281
    may be on a different server (operated by you or a third party)
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   282
    that supports equivalent copying facilities, provided you maintain
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   283
    clear directions next to the object code saying where to find the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   284
    Corresponding Source.  Regardless of what server hosts the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   285
    Corresponding Source, you remain obligated to ensure that it is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   286
    available for as long as needed to satisfy these requirements.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   287
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   288
    e) Convey the object code using peer-to-peer transmission, provided
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   289
    you inform other peers where the object code and Corresponding
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   290
    Source of the work are being offered to the general public at no
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   291
    charge under subsection 6d.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   292
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   293
  A separable portion of the object code, whose source code is excluded
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   294
from the Corresponding Source as a System Library, need not be
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   295
included in conveying the object code work.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   296
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   297
  A "User Product" is either (1) a "consumer product", which means any
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   298
tangible personal property which is normally used for personal, family,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   299
or household purposes, or (2) anything designed or sold for incorporation
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   300
into a dwelling.  In determining whether a product is a consumer product,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   301
doubtful cases shall be resolved in favor of coverage.  For a particular
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   302
product received by a particular user, "normally used" refers to a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   303
typical or common use of that class of product, regardless of the status
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   304
of the particular user or of the way in which the particular user
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   305
actually uses, or expects or is expected to use, the product.  A product
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   306
is a consumer product regardless of whether the product has substantial
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   307
commercial, industrial or non-consumer uses, unless such uses represent
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   308
the only significant mode of use of the product.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   309
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   310
  "Installation Information" for a User Product means any methods,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   311
procedures, authorization keys, or other information required to install
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   312
and execute modified versions of a covered work in that User Product from
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   313
a modified version of its Corresponding Source.  The information must
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   314
suffice to ensure that the continued functioning of the modified object
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   315
code is in no case prevented or interfered with solely because
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   316
modification has been made.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   317
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   318
  If you convey an object code work under this section in, or with, or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   319
specifically for use in, a User Product, and the conveying occurs as
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   320
part of a transaction in which the right of possession and use of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   321
User Product is transferred to the recipient in perpetuity or for a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   322
fixed term (regardless of how the transaction is characterized), the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   323
Corresponding Source conveyed under this section must be accompanied
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   324
by the Installation Information.  But this requirement does not apply
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   325
if neither you nor any third party retains the ability to install
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   326
modified object code on the User Product (for example, the work has
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   327
been installed in ROM).
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   328
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   329
  The requirement to provide Installation Information does not include a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   330
requirement to continue to provide support service, warranty, or updates
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   331
for a work that has been modified or installed by the recipient, or for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   332
the User Product in which it has been modified or installed.  Access to a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   333
network may be denied when the modification itself materially and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   334
adversely affects the operation of the network or violates the rules and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   335
protocols for communication across the network.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   336
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   337
  Corresponding Source conveyed, and Installation Information provided,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   338
in accord with this section must be in a format that is publicly
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   339
documented (and with an implementation available to the public in
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   340
source code form), and must require no special password or key for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   341
unpacking, reading or copying.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   342
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   343
  7. Additional Terms.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   344
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   345
  "Additional permissions" are terms that supplement the terms of this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   346
License by making exceptions from one or more of its conditions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   347
Additional permissions that are applicable to the entire Program shall
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   348
be treated as though they were included in this License, to the extent
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   349
that they are valid under applicable law.  If additional permissions
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   350
apply only to part of the Program, that part may be used separately
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   351
under those permissions, but the entire Program remains governed by
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   352
this License without regard to the additional permissions.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   353
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   354
  When you convey a copy of a covered work, you may at your option
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   355
remove any additional permissions from that copy, or from any part of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   356
it.  (Additional permissions may be written to require their own
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   357
removal in certain cases when you modify the work.)  You may place
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   358
additional permissions on material, added by you to a covered work,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   359
for which you have or can give appropriate copyright permission.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   360
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   361
  Notwithstanding any other provision of this License, for material you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   362
add to a covered work, you may (if authorized by the copyright holders of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   363
that material) supplement the terms of this License with terms:
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   364
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   365
    a) Disclaiming warranty or limiting liability differently from the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   366
    terms of sections 15 and 16 of this License; or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   367
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   368
    b) Requiring preservation of specified reasonable legal notices or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   369
    author attributions in that material or in the Appropriate Legal
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   370
    Notices displayed by works containing it; or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   371
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   372
    c) Prohibiting misrepresentation of the origin of that material, or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   373
    requiring that modified versions of such material be marked in
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   374
    reasonable ways as different from the original version; or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   375
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   376
    d) Limiting the use for publicity purposes of names of licensors or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   377
    authors of the material; or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   378
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   379
    e) Declining to grant rights under trademark law for use of some
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   380
    trade names, trademarks, or service marks; or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   381
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   382
    f) Requiring indemnification of licensors and authors of that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   383
    material by anyone who conveys the material (or modified versions of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   384
    it) with contractual assumptions of liability to the recipient, for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   385
    any liability that these contractual assumptions directly impose on
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   386
    those licensors and authors.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   387
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   388
  All other non-permissive additional terms are considered "further
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   389
restrictions" within the meaning of section 10.  If the Program as you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   390
received it, or any part of it, contains a notice stating that it is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   391
governed by this License along with a term that is a further
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   392
restriction, you may remove that term.  If a license document contains
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   393
a further restriction but permits relicensing or conveying under this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   394
License, you may add to a covered work material governed by the terms
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   395
of that license document, provided that the further restriction does
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   396
not survive such relicensing or conveying.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   397
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   398
  If you add terms to a covered work in accord with this section, you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   399
must place, in the relevant source files, a statement of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   400
additional terms that apply to those files, or a notice indicating
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   401
where to find the applicable terms.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   402
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   403
  Additional terms, permissive or non-permissive, may be stated in the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   404
form of a separately written license, or stated as exceptions;
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   405
the above requirements apply either way.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   406
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   407
  8. Termination.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   408
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   409
  You may not propagate or modify a covered work except as expressly
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   410
provided under this License.  Any attempt otherwise to propagate or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   411
modify it is void, and will automatically terminate your rights under
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   412
this License (including any patent licenses granted under the third
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   413
paragraph of section 11).
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   414
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   415
  However, if you cease all violation of this License, then your
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   416
license from a particular copyright holder is reinstated (a)
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   417
provisionally, unless and until the copyright holder explicitly and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   418
finally terminates your license, and (b) permanently, if the copyright
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   419
holder fails to notify you of the violation by some reasonable means
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   420
prior to 60 days after the cessation.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   421
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   422
  Moreover, your license from a particular copyright holder is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   423
reinstated permanently if the copyright holder notifies you of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   424
violation by some reasonable means, this is the first time you have
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   425
received notice of violation of this License (for any work) from that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   426
copyright holder, and you cure the violation prior to 30 days after
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   427
your receipt of the notice.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   428
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   429
  Termination of your rights under this section does not terminate the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   430
licenses of parties who have received copies or rights from you under
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   431
this License.  If your rights have been terminated and not permanently
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   432
reinstated, you do not qualify to receive new licenses for the same
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   433
material under section 10.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   434
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   435
  9. Acceptance Not Required for Having Copies.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   436
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   437
  You are not required to accept this License in order to receive or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   438
run a copy of the Program.  Ancillary propagation of a covered work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   439
occurring solely as a consequence of using peer-to-peer transmission
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   440
to receive a copy likewise does not require acceptance.  However,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   441
nothing other than this License grants you permission to propagate or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   442
modify any covered work.  These actions infringe copyright if you do
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   443
not accept this License.  Therefore, by modifying or propagating a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   444
covered work, you indicate your acceptance of this License to do so.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   445
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   446
  10. Automatic Licensing of Downstream Recipients.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   447
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   448
  Each time you convey a covered work, the recipient automatically
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   449
receives a license from the original licensors, to run, modify and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   450
propagate that work, subject to this License.  You are not responsible
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   451
for enforcing compliance by third parties with this License.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   452
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   453
  An "entity transaction" is a transaction transferring control of an
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   454
organization, or substantially all assets of one, or subdividing an
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   455
organization, or merging organizations.  If propagation of a covered
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   456
work results from an entity transaction, each party to that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   457
transaction who receives a copy of the work also receives whatever
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   458
licenses to the work the party's predecessor in interest had or could
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   459
give under the previous paragraph, plus a right to possession of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   460
Corresponding Source of the work from the predecessor in interest, if
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   461
the predecessor has it or can get it with reasonable efforts.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   462
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   463
  You may not impose any further restrictions on the exercise of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   464
rights granted or affirmed under this License.  For example, you may
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   465
not impose a license fee, royalty, or other charge for exercise of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   466
rights granted under this License, and you may not initiate litigation
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   467
(including a cross-claim or counterclaim in a lawsuit) alleging that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   468
any patent claim is infringed by making, using, selling, offering for
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   469
sale, or importing the Program or any portion of it.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   470
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   471
  11. Patents.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   472
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   473
  A "contributor" is a copyright holder who authorizes use under this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   474
License of the Program or a work on which the Program is based.  The
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   475
work thus licensed is called the contributor's "contributor version".
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   476
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   477
  A contributor's "essential patent claims" are all patent claims
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   478
owned or controlled by the contributor, whether already acquired or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   479
hereafter acquired, that would be infringed by some manner, permitted
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   480
by this License, of making, using, or selling its contributor version,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   481
but do not include claims that would be infringed only as a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   482
consequence of further modification of the contributor version.  For
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   483
purposes of this definition, "control" includes the right to grant
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   484
patent sublicenses in a manner consistent with the requirements of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   485
this License.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   486
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   487
  Each contributor grants you a non-exclusive, worldwide, royalty-free
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   488
patent license under the contributor's essential patent claims, to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   489
make, use, sell, offer for sale, import and otherwise run, modify and
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   490
propagate the contents of its contributor version.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   491
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   492
  In the following three paragraphs, a "patent license" is any express
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   493
agreement or commitment, however denominated, not to enforce a patent
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   494
(such as an express permission to practice a patent or covenant not to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   495
sue for patent infringement).  To "grant" such a patent license to a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   496
party means to make such an agreement or commitment not to enforce a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   497
patent against the party.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   498
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   499
  If you convey a covered work, knowingly relying on a patent license,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   500
and the Corresponding Source of the work is not available for anyone
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   501
to copy, free of charge and under the terms of this License, through a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   502
publicly available network server or other readily accessible means,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   503
then you must either (1) cause the Corresponding Source to be so
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   504
available, or (2) arrange to deprive yourself of the benefit of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   505
patent license for this particular work, or (3) arrange, in a manner
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   506
consistent with the requirements of this License, to extend the patent
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   507
license to downstream recipients.  "Knowingly relying" means you have
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   508
actual knowledge that, but for the patent license, your conveying the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   509
covered work in a country, or your recipient's use of the covered work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   510
in a country, would infringe one or more identifiable patents in that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   511
country that you have reason to believe are valid.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   512
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   513
  If, pursuant to or in connection with a single transaction or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   514
arrangement, you convey, or propagate by procuring conveyance of, a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   515
covered work, and grant a patent license to some of the parties
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   516
receiving the covered work authorizing them to use, propagate, modify
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   517
or convey a specific copy of the covered work, then the patent license
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   518
you grant is automatically extended to all recipients of the covered
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   519
work and works based on it.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   520
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   521
  A patent license is "discriminatory" if it does not include within
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   522
the scope of its coverage, prohibits the exercise of, or is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   523
conditioned on the non-exercise of one or more of the rights that are
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   524
specifically granted under this License.  You may not convey a covered
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   525
work if you are a party to an arrangement with a third party that is
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   526
in the business of distributing software, under which you make payment
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   527
to the third party based on the extent of your activity of conveying
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   528
the work, and under which the third party grants, to any of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   529
parties who would receive the covered work from you, a discriminatory
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   530
patent license (a) in connection with copies of the covered work
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   531
conveyed by you (or copies made from those copies), or (b) primarily
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   532
for and in connection with specific products or compilations that
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   533
contain the covered work, unless you entered into that arrangement,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   534
or that patent license was granted, prior to 28 March 2007.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   535
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   536
  Nothing in this License shall be construed as excluding or limiting
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   537
any implied license or other defenses to infringement that may
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   538
otherwise be available to you under applicable patent law.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   539
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   540
  12. No Surrender of Others' Freedom.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   541
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   542
  If conditions are imposed on you (whether by court order, agreement or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   543
otherwise) that contradict the conditions of this License, they do not
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   544
excuse you from the conditions of this License.  If you cannot convey a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   545
covered work so as to satisfy simultaneously your obligations under this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   546
License and any other pertinent obligations, then as a consequence you may
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   547
not convey it at all.  For example, if you agree to terms that obligate you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   548
to collect a royalty for further conveying from those to whom you convey
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   549
the Program, the only way you could satisfy both those terms and this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   550
License would be to refrain entirely from conveying the Program.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   551
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   552
  13. Use with the GNU Affero General Public License.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   553
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   554
  Notwithstanding any other provision of this License, you have
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   555
permission to link or combine any covered work with a work licensed
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   556
under version 3 of the GNU Affero General Public License into a single
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   557
combined work, and to convey the resulting work.  The terms of this
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   558
License will continue to apply to the part which is the covered work,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   559
but the special requirements of the GNU Affero General Public License,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   560
section 13, concerning interaction through a network will apply to the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   561
combination as such.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   562
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   563
  14. Revised Versions of this License.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   564
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   565
  The Free Software Foundation may publish revised and/or new versions of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   566
the GNU General Public License from time to time.  Such new versions will
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   567
be similar in spirit to the present version, but may differ in detail to
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   568
address new problems or concerns.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   569
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   570
  Each version is given a distinguishing version number.  If the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   571
Program specifies that a certain numbered version of the GNU General
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   572
Public License "or any later version" applies to it, you have the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   573
option of following the terms and conditions either of that numbered
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   574
version or of any later version published by the Free Software
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   575
Foundation.  If the Program does not specify a version number of the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   576
GNU General Public License, you may choose any version ever published
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   577
by the Free Software Foundation.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   578
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   579
  If the Program specifies that a proxy can decide which future
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   580
versions of the GNU General Public License can be used, that proxy's
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   581
public statement of acceptance of a version permanently authorizes you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   582
to choose that version for the Program.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   583
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   584
  Later license versions may give you additional or different
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   585
permissions.  However, no additional obligations are imposed on any
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   586
author or copyright holder as a result of your choosing to follow a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   587
later version.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   588
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   589
  15. Disclaimer of Warranty.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   590
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   591
  THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   592
APPLICABLE LAW.  EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   593
HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   594
OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   595
THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   596
PURPOSE.  THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   597
IS WITH YOU.  SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   598
ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   599
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   600
  16. Limitation of Liability.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   601
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   602
  IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   603
WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   604
THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   605
GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   606
USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   607
DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   608
PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS),
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   609
EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   610
SUCH DAMAGES.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   611
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   612
  17. Interpretation of Sections 15 and 16.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   613
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   614
  If the disclaimer of warranty and limitation of liability provided
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   615
above cannot be given local legal effect according to their terms,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   616
reviewing courts shall apply local law that most closely approximates
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   617
an absolute waiver of all civil liability in connection with the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   618
Program, unless a warranty or assumption of liability accompanies a
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   619
copy of the Program in return for a fee.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   620
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   621
                     END OF TERMS AND CONDITIONS
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   622
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   623
            How to Apply These Terms to Your New Programs
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   624
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   625
  If you develop a new program, and you want it to be of the greatest
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   626
possible use to the public, the best way to achieve this is to make it
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   627
free software which everyone can redistribute and change under these terms.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   628
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   629
  To do so, attach the following notices to the program.  It is safest
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   630
to attach them to the start of each source file to most effectively
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   631
state the exclusion of warranty; and each file should have at least
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   632
the "copyright" line and a pointer to where the full notice is found.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   633
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   634
    <one line to give the program's name and a brief idea of what it does.>
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   635
    Copyright (C) <year>  <name of author>
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   636
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   637
    This program is free software: you can redistribute it and/or modify
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   638
    it under the terms of the GNU General Public License as published by
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   639
    the Free Software Foundation, either version 3 of the License, or
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   640
    (at your option) any later version.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   641
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   642
    This program is distributed in the hope that it will be useful,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   643
    but WITHOUT ANY WARRANTY; without even the implied warranty of
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   644
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   645
    GNU General Public License for more details.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   646
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   647
    You should have received a copy of the GNU General Public License
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   648
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   649
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   650
Also add information on how to contact you by electronic and paper mail.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   651
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   652
  If the program does terminal interaction, make it output a short
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   653
notice like this when it starts in an interactive mode:
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   654
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   655
    <program>  Copyright (C) <year>  <name of author>
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   656
    This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   657
    This is free software, and you are welcome to redistribute it
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   658
    under certain conditions; type `show c' for details.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   659
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   660
The hypothetical commands `show w' and `show c' should show the appropriate
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   661
parts of the General Public License.  Of course, your program's commands
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   662
might be different; for a GUI interface, you would use an "about box".
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   663
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   664
  You should also get your employer (if you work as a programmer) or school,
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   665
if any, to sign a "copyright disclaimer" for the program, if necessary.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   666
For more information on this, and how to apply and follow the GNU GPL, see
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   667
<http://www.gnu.org/licenses/>.
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   668
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   669
  The GNU General Public License does not permit incorporating your program
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   670
into proprietary programs.  If your program is a subroutine library, you
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   671
may consider it more useful to permit linking proprietary applications with
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   672
the library.  If this is what you want to do, use the GNU Lesser General
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   673
Public License instead of this License.  But first, please read
db2ad6541d92 Updating licensing information.
Mario de Sousa <msousa@fe.up.pt>
parents:
diff changeset
   674
<http://www.gnu.org/philosophy/why-not-lgpl.html>.