From 1e083eb20d6173ea587419e6844b7cabc08bc130 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 2 Mar 2011 22:09:59 +0000 Subject: [PATCH] Missing/broken copyright headers. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2490 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/type/Type.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeArray.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeBool.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeClock.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeDouble.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeInt.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypeInterval.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypePathBool.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypePathDouble.java | 26 ++++++++++++++++++++++ prism/src/parser/type/TypePathInt.java | 26 ++++++++++++++++++++++ prism/src/pepa/compiler/InternalError.java | 26 ++++++++++++++++++++++ prism/src/pepa/compiler/Main.java | 26 ++++++++++++++++++++++ prism/src/prism/ECComputer.java | 2 +- prism/src/prism/ECComputerDefault.java | 26 ++++++++++++++++++++++ prism/src/prism/ModelType.java | 26 ++++++++++++++++++++++ 15 files changed, 365 insertions(+), 1 deletion(-) diff --git a/prism/src/parser/type/Type.java b/prism/src/parser/type/Type.java index bd4bb9c3..79da9a1f 100644 --- a/prism/src/parser/type/Type.java +++ b/prism/src/parser/type/Type.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public abstract class Type diff --git a/prism/src/parser/type/TypeArray.java b/prism/src/parser/type/TypeArray.java index a5bcefd1..5cb4024c 100644 --- a/prism/src/parser/type/TypeArray.java +++ b/prism/src/parser/type/TypeArray.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; import java.util.*; diff --git a/prism/src/parser/type/TypeBool.java b/prism/src/parser/type/TypeBool.java index 789f1e4e..b92c8115 100644 --- a/prism/src/parser/type/TypeBool.java +++ b/prism/src/parser/type/TypeBool.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypeBool extends Type diff --git a/prism/src/parser/type/TypeClock.java b/prism/src/parser/type/TypeClock.java index 810a7908..5183c078 100644 --- a/prism/src/parser/type/TypeClock.java +++ b/prism/src/parser/type/TypeClock.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypeClock extends Type diff --git a/prism/src/parser/type/TypeDouble.java b/prism/src/parser/type/TypeDouble.java index 68f1bd07..93907811 100644 --- a/prism/src/parser/type/TypeDouble.java +++ b/prism/src/parser/type/TypeDouble.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypeDouble extends Type diff --git a/prism/src/parser/type/TypeInt.java b/prism/src/parser/type/TypeInt.java index e463a16b..6a43e89e 100644 --- a/prism/src/parser/type/TypeInt.java +++ b/prism/src/parser/type/TypeInt.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypeInt extends Type diff --git a/prism/src/parser/type/TypeInterval.java b/prism/src/parser/type/TypeInterval.java index a0ee353a..aaaf3c13 100644 --- a/prism/src/parser/type/TypeInterval.java +++ b/prism/src/parser/type/TypeInterval.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; import java.util.*; diff --git a/prism/src/parser/type/TypePathBool.java b/prism/src/parser/type/TypePathBool.java index 797f1fbb..f3ee0646 100644 --- a/prism/src/parser/type/TypePathBool.java +++ b/prism/src/parser/type/TypePathBool.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypePathBool extends Type diff --git a/prism/src/parser/type/TypePathDouble.java b/prism/src/parser/type/TypePathDouble.java index eebebf2a..9c48a6be 100644 --- a/prism/src/parser/type/TypePathDouble.java +++ b/prism/src/parser/type/TypePathDouble.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypePathDouble extends Type diff --git a/prism/src/parser/type/TypePathInt.java b/prism/src/parser/type/TypePathInt.java index 4f7dc6e1..69897cb7 100644 --- a/prism/src/parser/type/TypePathInt.java +++ b/prism/src/parser/type/TypePathInt.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package parser.type; public class TypePathInt extends Type diff --git a/prism/src/pepa/compiler/InternalError.java b/prism/src/pepa/compiler/InternalError.java index 3842edb9..547a2e15 100644 --- a/prism/src/pepa/compiler/InternalError.java +++ b/prism/src/pepa/compiler/InternalError.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Stephen Gilmore (University of Edinburgh) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package pepa.compiler; public class InternalError extends Exception { diff --git a/prism/src/pepa/compiler/Main.java b/prism/src/pepa/compiler/Main.java index b1e1adc1..bd47d158 100644 --- a/prism/src/pepa/compiler/Main.java +++ b/prism/src/pepa/compiler/Main.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Stephen Gilmore (University of Edinburgh) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package pepa.compiler; import java.lang.reflect.*; diff --git a/prism/src/prism/ECComputer.java b/prism/src/prism/ECComputer.java index e7cd552a..c14cbf88 100644 --- a/prism/src/prism/ECComputer.java +++ b/prism/src/prism/ECComputer.java @@ -4,7 +4,7 @@ // Authors: // * Dave Parker (University of Oxford, formerly University of Birmingham) // * Carlos S. Bederian (Universidad Nacional de Cordoba) -// * Mark Kattenbelt (University of Oxford) +// * Mark Kattenbelt (University of Oxford) // //------------------------------------------------------------------------------ // diff --git a/prism/src/prism/ECComputerDefault.java b/prism/src/prism/ECComputerDefault.java index 33d2fec2..8fd3fb3b 100644 --- a/prism/src/prism/ECComputerDefault.java +++ b/prism/src/prism/ECComputerDefault.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Mark Kattenbelt (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package prism; import java.util.Stack; diff --git a/prism/src/prism/ModelType.java b/prism/src/prism/ModelType.java index 091d16d3..f83b4141 100644 --- a/prism/src/prism/ModelType.java +++ b/prism/src/prism/ModelType.java @@ -1,3 +1,29 @@ +//============================================================================== +// +// Copyright (c) 2002- +// Authors: +// * Dave Parker (University of Oxford) +// +//------------------------------------------------------------------------------ +// +// This file is part of PRISM. +// +// PRISM is free software; you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation; either version 2 of the License, or +// (at your option) any later version. +// +// PRISM is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with PRISM; if not, write to the Free Software Foundation, +// Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +//============================================================================== + package prism; public enum ModelType {