diff --git a/lib/javabdd-1.0b2.jar b/lib/javabdd-1.0b2.jar new file mode 100644 index 0000000..d2b98eb Binary files /dev/null and b/lib/javabdd-1.0b2.jar differ diff --git a/src/main/scala/pml/examples/package.scala b/src/main/scala/pml/examples/package.scala index 4d6d1cc..2d7f002 100644 --- a/src/main/scala/pml/examples/package.scala +++ b/src/main/scala/pml/examples/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneExport.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneExport.scala index 009ee4e..8c886ce 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneExport.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneExport.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.examples.simpleKeystone diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.scala index ee9e474..85cb63f 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfiguration.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.scala index 397e666..c5e8794 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationFull.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationNoL1.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationNoL1.scala index bc7f61c..0404c23 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationNoL1.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationNoL1.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp21.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp21.scala index 421dd9d..ca95a49 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp21.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp21.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp22.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp22.scala index e402a51..b984485 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp22.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneLibraryConfigurationPlanApp22.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone /** diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystonePlatform.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystonePlatform.scala index 61ea00f..7edbf38 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystonePlatform.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystonePlatform.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.examples.simpleKeystone diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.scala index 5313137..791af55 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleKeystoneTransactionLibrary.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone import pml.model.configuration.TransactionLibrary diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleRoutingConfiguration.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleRoutingConfiguration.scala index 4e72e97..4a4dd3b 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleRoutingConfiguration.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleRoutingConfiguration.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleKeystone import pml.operators._ diff --git a/src/main/scala/pml/examples/simpleKeystone/SimpleSoftwareAllocation.scala b/src/main/scala/pml/examples/simpleKeystone/SimpleSoftwareAllocation.scala index 6eb0fa2..58889a7 100644 --- a/src/main/scala/pml/examples/simpleKeystone/SimpleSoftwareAllocation.scala +++ b/src/main/scala/pml/examples/simpleKeystone/SimpleSoftwareAllocation.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.examples.simpleKeystone diff --git a/src/main/scala/pml/examples/simpleKeystone/package.scala b/src/main/scala/pml/examples/simpleKeystone/package.scala index 288b3b7..15d0597 100644 --- a/src/main/scala/pml/examples/simpleKeystone/package.scala +++ b/src/main/scala/pml/examples/simpleKeystone/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples /** diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleRoutingConfiguration.scala b/src/main/scala/pml/examples/simpleT1042/SimpleRoutingConfiguration.scala index 2a196ad..eb90be6 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleRoutingConfiguration.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleRoutingConfiguration.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleRoutingConfiguration { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleSoftwareAllocation.scala b/src/main/scala/pml/examples/simpleT1042/SimpleSoftwareAllocation.scala index cd38b7f..d16935e 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleSoftwareAllocation.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleSoftwareAllocation.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.examples.simpleT1042 diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042Export.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042Export.scala index 60acd21..1645aee 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042Export.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042Export.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.examples.simpleT1042 diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfiguration.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfiguration.scala index 3b66c7c..7d10b5d 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfiguration.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfiguration.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleT1042LibraryConfiguration extends SimpleT1042TransactionLibrary with SimpleSoftwareAllocation { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationFull.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationFull.scala index e6122cb..bec1a05 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationFull.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationFull.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleT1042LibraryConfigurationFull extends SimpleT1042LibraryConfiguration { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationNoL1.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationNoL1.scala index e486ff4..cc5399f 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationNoL1.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationNoL1.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleT1042LibraryConfigurationNoL1 extends SimpleT1042LibraryConfiguration { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp21.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp21.scala index 904e4c9..76ab4ec 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp21.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp21.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleT1042LibraryConfigurationPlanApp21 extends SimpleT1042LibraryConfiguration { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp22.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp22.scala index 1d4bef9..72cdc21 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp22.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042LibraryConfigurationPlanApp22.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 trait SimpleT1042LibraryConfigurationPlanApp22 extends SimpleT1042LibraryConfiguration { diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042Platform.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042Platform.scala index ebf0f84..0552963 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042Platform.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042Platform.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.examples.simpleT1042 diff --git a/src/main/scala/pml/examples/simpleT1042/SimpleT1042TransactionLibrary.scala b/src/main/scala/pml/examples/simpleT1042/SimpleT1042TransactionLibrary.scala index aba8f7d..4fc61ea 100644 --- a/src/main/scala/pml/examples/simpleT1042/SimpleT1042TransactionLibrary.scala +++ b/src/main/scala/pml/examples/simpleT1042/SimpleT1042TransactionLibrary.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples.simpleT1042 import pml.model.configuration.TransactionLibrary diff --git a/src/main/scala/pml/examples/simpleT1042/package.scala b/src/main/scala/pml/examples/simpleT1042/package.scala index ae573e6..1df11eb 100644 --- a/src/main/scala/pml/examples/simpleT1042/package.scala +++ b/src/main/scala/pml/examples/simpleT1042/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.examples /** diff --git a/src/main/scala/pml/exporters/FileManager.scala b/src/main/scala/pml/exporters/FileManager.scala index 9bc95cd..e65b771 100644 --- a/src/main/scala/pml/exporters/FileManager.scala +++ b/src/main/scala/pml/exporters/FileManager.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.exporters diff --git a/src/main/scala/pml/exporters/RelationExporter.scala b/src/main/scala/pml/exporters/RelationExporter.scala index 29c1a87..b4f3558 100644 --- a/src/main/scala/pml/exporters/RelationExporter.scala +++ b/src/main/scala/pml/exporters/RelationExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.exporters diff --git a/src/main/scala/pml/exporters/UMLExporter.scala b/src/main/scala/pml/exporters/UMLExporter.scala index 3d7b90a..6a1a892 100644 --- a/src/main/scala/pml/exporters/UMLExporter.scala +++ b/src/main/scala/pml/exporters/UMLExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.exporters diff --git a/src/main/scala/pml/exporters/package.scala b/src/main/scala/pml/exporters/package.scala index 2099dbe..a8dc0c0 100644 --- a/src/main/scala/pml/exporters/package.scala +++ b/src/main/scala/pml/exporters/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml /** diff --git a/src/main/scala/pml/model/PMLNode.scala b/src/main/scala/pml/model/PMLNode.scala index 8f4adeb..00659fa 100644 --- a/src/main/scala/pml/model/PMLNode.scala +++ b/src/main/scala/pml/model/PMLNode.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.model diff --git a/src/main/scala/pml/model/PMLNodeBuilder.scala b/src/main/scala/pml/model/PMLNodeBuilder.scala index 89ed576..e5163d4 100644 --- a/src/main/scala/pml/model/PMLNodeBuilder.scala +++ b/src/main/scala/pml/model/PMLNodeBuilder.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model import pml.model.hardware.Composite diff --git a/src/main/scala/pml/model/configuration/TransactionLibrary.scala b/src/main/scala/pml/model/configuration/TransactionLibrary.scala index ccbc7af..cc08a51 100644 --- a/src/main/scala/pml/model/configuration/TransactionLibrary.scala +++ b/src/main/scala/pml/model/configuration/TransactionLibrary.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.configuration diff --git a/src/main/scala/pml/model/configuration/package.scala b/src/main/scala/pml/model/configuration/package.scala index cefffd8..a646d0c 100644 --- a/src/main/scala/pml/model/configuration/package.scala +++ b/src/main/scala/pml/model/configuration/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/model/hardware/BaseHardwareNodeBuilder.scala b/src/main/scala/pml/model/hardware/BaseHardwareNodeBuilder.scala index 87da9c9..12ccf54 100644 --- a/src/main/scala/pml/model/hardware/BaseHardwareNodeBuilder.scala +++ b/src/main/scala/pml/model/hardware/BaseHardwareNodeBuilder.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.hardware import pml.model.PMLNodeBuilder diff --git a/src/main/scala/pml/model/hardware/Composite.scala b/src/main/scala/pml/model/hardware/Composite.scala index 908ab54..4f0a4a7 100644 --- a/src/main/scala/pml/model/hardware/Composite.scala +++ b/src/main/scala/pml/model/hardware/Composite.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Hardware.scala b/src/main/scala/pml/model/hardware/Hardware.scala index f930555..60c94d0 100644 --- a/src/main/scala/pml/model/hardware/Hardware.scala +++ b/src/main/scala/pml/model/hardware/Hardware.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Initiator.scala b/src/main/scala/pml/model/hardware/Initiator.scala index c461a0b..d8f4e6d 100644 --- a/src/main/scala/pml/model/hardware/Initiator.scala +++ b/src/main/scala/pml/model/hardware/Initiator.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Platform.scala b/src/main/scala/pml/model/hardware/Platform.scala index f86fcf1..6090785 100644 --- a/src/main/scala/pml/model/hardware/Platform.scala +++ b/src/main/scala/pml/model/hardware/Platform.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/SimpleTransporter.scala b/src/main/scala/pml/model/hardware/SimpleTransporter.scala index 47b966a..567ad57 100644 --- a/src/main/scala/pml/model/hardware/SimpleTransporter.scala +++ b/src/main/scala/pml/model/hardware/SimpleTransporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Target.scala b/src/main/scala/pml/model/hardware/Target.scala index 7d4b552..a5a4cc9 100644 --- a/src/main/scala/pml/model/hardware/Target.scala +++ b/src/main/scala/pml/model/hardware/Target.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Transporter.scala b/src/main/scala/pml/model/hardware/Transporter.scala index 1e35972..25b63aa 100644 --- a/src/main/scala/pml/model/hardware/Transporter.scala +++ b/src/main/scala/pml/model/hardware/Transporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/Virtualizer.scala b/src/main/scala/pml/model/hardware/Virtualizer.scala index fefa123..c49c564 100644 --- a/src/main/scala/pml/model/hardware/Virtualizer.scala +++ b/src/main/scala/pml/model/hardware/Virtualizer.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.hardware diff --git a/src/main/scala/pml/model/hardware/package.scala b/src/main/scala/pml/model/hardware/package.scala index 6ed82ab..42f5250 100644 --- a/src/main/scala/pml/model/hardware/package.scala +++ b/src/main/scala/pml/model/hardware/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/model/package.scala b/src/main/scala/pml/model/package.scala index 607b794..50a6f4d 100644 --- a/src/main/scala/pml/model/package.scala +++ b/src/main/scala/pml/model/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml /** diff --git a/src/main/scala/pml/model/relations/AntiReflexiveSymmetricEndomorphism.scala b/src/main/scala/pml/model/relations/AntiReflexiveSymmetricEndomorphism.scala index 04b2af6..78ecd6a 100644 --- a/src/main/scala/pml/model/relations/AntiReflexiveSymmetricEndomorphism.scala +++ b/src/main/scala/pml/model/relations/AntiReflexiveSymmetricEndomorphism.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.utils.Message diff --git a/src/main/scala/pml/model/relations/AuthorizeRelation.scala b/src/main/scala/pml/model/relations/AuthorizeRelation.scala index ddcbbae..482b952 100644 --- a/src/main/scala/pml/model/relations/AuthorizeRelation.scala +++ b/src/main/scala/pml/model/relations/AuthorizeRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.service.Service diff --git a/src/main/scala/pml/model/relations/Endomorphism.scala b/src/main/scala/pml/model/relations/Endomorphism.scala index 4302a2b..e99ec8e 100644 --- a/src/main/scala/pml/model/relations/Endomorphism.scala +++ b/src/main/scala/pml/model/relations/Endomorphism.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import scalaz.Memo.immutableHashMapMemo diff --git a/src/main/scala/pml/model/relations/LinkRelation.scala b/src/main/scala/pml/model/relations/LinkRelation.scala index 7162a45..7704a73 100644 --- a/src/main/scala/pml/model/relations/LinkRelation.scala +++ b/src/main/scala/pml/model/relations/LinkRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.hardware.Hardware diff --git a/src/main/scala/pml/model/relations/ProvideRelation.scala b/src/main/scala/pml/model/relations/ProvideRelation.scala index 44214f7..5679284 100644 --- a/src/main/scala/pml/model/relations/ProvideRelation.scala +++ b/src/main/scala/pml/model/relations/ProvideRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.hardware.Hardware diff --git a/src/main/scala/pml/model/relations/ReflexiveSymmetricEndomorphism.scala b/src/main/scala/pml/model/relations/ReflexiveSymmetricEndomorphism.scala index 63ce663..4f5705d 100644 --- a/src/main/scala/pml/model/relations/ReflexiveSymmetricEndomorphism.scala +++ b/src/main/scala/pml/model/relations/ReflexiveSymmetricEndomorphism.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.utils.Message diff --git a/src/main/scala/pml/model/relations/Relation.scala b/src/main/scala/pml/model/relations/Relation.scala index 7783df3..2d69567 100644 --- a/src/main/scala/pml/model/relations/Relation.scala +++ b/src/main/scala/pml/model/relations/Relation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import sourcecode.Name diff --git a/src/main/scala/pml/model/relations/RoutingRelation.scala b/src/main/scala/pml/model/relations/RoutingRelation.scala index a2d9804..0b3e6ab 100644 --- a/src/main/scala/pml/model/relations/RoutingRelation.scala +++ b/src/main/scala/pml/model/relations/RoutingRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.hardware.Initiator diff --git a/src/main/scala/pml/model/relations/UseRelation.scala b/src/main/scala/pml/model/relations/UseRelation.scala index 07b9f92..e6cf897 100644 --- a/src/main/scala/pml/model/relations/UseRelation.scala +++ b/src/main/scala/pml/model/relations/UseRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.relations import pml.model.hardware.{Initiator, Target} diff --git a/src/main/scala/pml/model/relations/package.scala b/src/main/scala/pml/model/relations/package.scala index 88c415f..34600fa 100644 --- a/src/main/scala/pml/model/relations/package.scala +++ b/src/main/scala/pml/model/relations/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/model/service/ArtificialService.scala b/src/main/scala/pml/model/service/ArtificialService.scala index 69f77d7..34c6967 100644 --- a/src/main/scala/pml/model/service/ArtificialService.scala +++ b/src/main/scala/pml/model/service/ArtificialService.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.service diff --git a/src/main/scala/pml/model/service/BaseServiceBuilder.scala b/src/main/scala/pml/model/service/BaseServiceBuilder.scala index 467c2d0..049a6a6 100644 --- a/src/main/scala/pml/model/service/BaseServiceBuilder.scala +++ b/src/main/scala/pml/model/service/BaseServiceBuilder.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.service import pml.model.PMLNodeBuilder diff --git a/src/main/scala/pml/model/service/Load.scala b/src/main/scala/pml/model/service/Load.scala index e4eae94..3168f74 100644 --- a/src/main/scala/pml/model/service/Load.scala +++ b/src/main/scala/pml/model/service/Load.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.service diff --git a/src/main/scala/pml/model/service/Service.scala b/src/main/scala/pml/model/service/Service.scala index 2005509..389b523 100644 --- a/src/main/scala/pml/model/service/Service.scala +++ b/src/main/scala/pml/model/service/Service.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.service diff --git a/src/main/scala/pml/model/service/Store.scala b/src/main/scala/pml/model/service/Store.scala index 491fa59..3194eb7 100644 --- a/src/main/scala/pml/model/service/Store.scala +++ b/src/main/scala/pml/model/service/Store.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.service diff --git a/src/main/scala/pml/model/service/package.scala b/src/main/scala/pml/model/service/package.scala index 03f6ff3..6ec3f92 100644 --- a/src/main/scala/pml/model/service/package.scala +++ b/src/main/scala/pml/model/service/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/model/software/Application.scala b/src/main/scala/pml/model/software/Application.scala index a48a9c3..1ae3724 100644 --- a/src/main/scala/pml/model/software/Application.scala +++ b/src/main/scala/pml/model/software/Application.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.software diff --git a/src/main/scala/pml/model/software/BaseSoftwareNodeBuilder.scala b/src/main/scala/pml/model/software/BaseSoftwareNodeBuilder.scala index 3c6d32c..230736e 100644 --- a/src/main/scala/pml/model/software/BaseSoftwareNodeBuilder.scala +++ b/src/main/scala/pml/model/software/BaseSoftwareNodeBuilder.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.software import pml.model.PMLNodeBuilder diff --git a/src/main/scala/pml/model/software/Data.scala b/src/main/scala/pml/model/software/Data.scala index dceff61..5ceaefd 100644 --- a/src/main/scala/pml/model/software/Data.scala +++ b/src/main/scala/pml/model/software/Data.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.model.software diff --git a/src/main/scala/pml/model/software/package.scala b/src/main/scala/pml/model/software/package.scala index 5798a69..20ee9e0 100644 --- a/src/main/scala/pml/model/software/package.scala +++ b/src/main/scala/pml/model/software/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/model/utils/Message.scala b/src/main/scala/pml/model/utils/Message.scala index 02f74ae..5162c5f 100644 --- a/src/main/scala/pml/model/utils/Message.scala +++ b/src/main/scala/pml/model/utils/Message.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.utils import pml.model.configuration.TransactionLibrary.{UserScenarioId, UserTransactionId} diff --git a/src/main/scala/pml/model/utils/Owner.scala b/src/main/scala/pml/model/utils/Owner.scala index 479d783..fdc5c93 100644 --- a/src/main/scala/pml/model/utils/Owner.scala +++ b/src/main/scala/pml/model/utils/Owner.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model.utils /** diff --git a/src/main/scala/pml/model/utils/package.scala b/src/main/scala/pml/model/utils/package.scala index e918526..5f9b39d 100644 --- a/src/main/scala/pml/model/utils/package.scala +++ b/src/main/scala/pml/model/utils/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.model /** diff --git a/src/main/scala/pml/operators/AsTransaction.scala b/src/main/scala/pml/operators/AsTransaction.scala index f5ea11b..91231fc 100644 --- a/src/main/scala/pml/operators/AsTransaction.scala +++ b/src/main/scala/pml/operators/AsTransaction.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.operators import pml.model.service.* diff --git a/src/main/scala/pml/operators/Deactivate.scala b/src/main/scala/pml/operators/Deactivate.scala index 7c26efc..c8e974d 100644 --- a/src/main/scala/pml/operators/Deactivate.scala +++ b/src/main/scala/pml/operators/Deactivate.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Link.scala b/src/main/scala/pml/operators/Link.scala index 1a674dc..bc9a801 100644 --- a/src/main/scala/pml/operators/Link.scala +++ b/src/main/scala/pml/operators/Link.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Linked.scala b/src/main/scala/pml/operators/Linked.scala index b634213..80bb05c 100644 --- a/src/main/scala/pml/operators/Linked.scala +++ b/src/main/scala/pml/operators/Linked.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Merge.scala b/src/main/scala/pml/operators/Merge.scala index 3891c21..6f20015 100644 --- a/src/main/scala/pml/operators/Merge.scala +++ b/src/main/scala/pml/operators/Merge.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Provided.scala b/src/main/scala/pml/operators/Provided.scala index bf322dc..74f3001 100644 --- a/src/main/scala/pml/operators/Provided.scala +++ b/src/main/scala/pml/operators/Provided.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Restrict.scala b/src/main/scala/pml/operators/Restrict.scala index 3ab729a..3043539 100644 --- a/src/main/scala/pml/operators/Restrict.scala +++ b/src/main/scala/pml/operators/Restrict.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Route.scala b/src/main/scala/pml/operators/Route.scala index 1f69af6..724cf0e 100644 --- a/src/main/scala/pml/operators/Route.scala +++ b/src/main/scala/pml/operators/Route.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml.operators import pml.model.hardware._ diff --git a/src/main/scala/pml/operators/Use.scala b/src/main/scala/pml/operators/Use.scala index 86cec39..be427eb 100644 --- a/src/main/scala/pml/operators/Use.scala +++ b/src/main/scala/pml/operators/Use.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/Used.scala b/src/main/scala/pml/operators/Used.scala index 26c98ac..4b1fe04 100644 --- a/src/main/scala/pml/operators/Used.scala +++ b/src/main/scala/pml/operators/Used.scala @@ -1,5 +1,5 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA +/******************************************************************************* + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,13 +7,13 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package pml.operators diff --git a/src/main/scala/pml/operators/package.scala b/src/main/scala/pml/operators/package.scala index 73c3137..29ef36f 100644 --- a/src/main/scala/pml/operators/package.scala +++ b/src/main/scala/pml/operators/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package pml /** * Package containing all the extension methods provided by operators diff --git a/src/main/scala/pml/package.scala b/src/main/scala/pml/package.scala index b4c4b7e..ec1b88f 100644 --- a/src/main/scala/pml/package.scala +++ b/src/main/scala/pml/package.scala @@ -1,4 +1,21 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + /** * Package containing all general modelling features of PML * @see For basic classes used to model a platform see [[pml.model]] diff --git a/src/main/scala/views/dependability/executor/Scheduler.scala b/src/main/scala/views/dependability/executor/Scheduler.scala index b45a2c2..3970806 100644 --- a/src/main/scala/views/dependability/executor/Scheduler.scala +++ b/src/main/scala/views/dependability/executor/Scheduler.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.executor diff --git a/src/main/scala/views/dependability/executor/Simulator.scala b/src/main/scala/views/dependability/executor/Simulator.scala index 84a5aaa..fbb1d2f 100644 --- a/src/main/scala/views/dependability/executor/Simulator.scala +++ b/src/main/scala/views/dependability/executor/Simulator.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.executor diff --git a/src/main/scala/views/dependability/executor/Synchronize.scala b/src/main/scala/views/dependability/executor/Synchronize.scala index 15dfaac..030f829 100644 --- a/src/main/scala/views/dependability/executor/Synchronize.scala +++ b/src/main/scala/views/dependability/executor/Synchronize.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.executor diff --git a/src/main/scala/views/dependability/exporters/AutomatonCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/AutomatonCeciliaExporter.scala index 3a5ea74..5cde181 100644 --- a/src/main/scala/views/dependability/exporters/AutomatonCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/AutomatonCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/BasicOperationCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/BasicOperationCeciliaExporter.scala index 022b65a..c431f4b 100644 --- a/src/main/scala/views/dependability/exporters/BasicOperationCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/BasicOperationCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/CeciliaExporter.scala b/src/main/scala/views/dependability/exporters/CeciliaExporter.scala index 18f1f15..427123c 100644 --- a/src/main/scala/views/dependability/exporters/CeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/CeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/ExprCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/ExprCeciliaExporter.scala index 4b36b10..687609c 100644 --- a/src/main/scala/views/dependability/exporters/ExprCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/ExprCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/Folder.scala b/src/main/scala/views/dependability/exporters/Folder.scala index f2bb6dd..d8105f7 100644 --- a/src/main/scala/views/dependability/exporters/Folder.scala +++ b/src/main/scala/views/dependability/exporters/Folder.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/GenericImage.scala b/src/main/scala/views/dependability/exporters/GenericImage.scala index 093ba40..3f65757 100644 --- a/src/main/scala/views/dependability/exporters/GenericImage.scala +++ b/src/main/scala/views/dependability/exporters/GenericImage.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/Model.scala b/src/main/scala/views/dependability/exporters/Model.scala index 1513bdc..9d87e7a 100644 --- a/src/main/scala/views/dependability/exporters/Model.scala +++ b/src/main/scala/views/dependability/exporters/Model.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/PhylogFolder.scala b/src/main/scala/views/dependability/exporters/PhylogFolder.scala index 9a6ccb9..555cc6f 100644 --- a/src/main/scala/views/dependability/exporters/PhylogFolder.scala +++ b/src/main/scala/views/dependability/exporters/PhylogFolder.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/PlatformCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/PlatformCeciliaExporter.scala index 2573fb6..e10faa2 100644 --- a/src/main/scala/views/dependability/exporters/PlatformCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/PlatformCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/SoftwareCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/SoftwareCeciliaExporter.scala index 3d46273..879a496 100644 --- a/src/main/scala/views/dependability/exporters/SoftwareCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/SoftwareCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/SystemCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/SystemCeciliaExporter.scala index 9bea407..4dbea0f 100644 --- a/src/main/scala/views/dependability/exporters/SystemCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/SystemCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/TargetCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/TargetCeciliaExporter.scala index 0d304de..fdedee1 100644 --- a/src/main/scala/views/dependability/exporters/TargetCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/TargetCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/TransporterCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/TransporterCeciliaExporter.scala index f87f7d7..a6ced2a 100644 --- a/src/main/scala/views/dependability/exporters/TransporterCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/TransporterCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/TypeCeciliaExporter.scala b/src/main/scala/views/dependability/exporters/TypeCeciliaExporter.scala index 27326a7..acf3638 100644 --- a/src/main/scala/views/dependability/exporters/TypeCeciliaExporter.scala +++ b/src/main/scala/views/dependability/exporters/TypeCeciliaExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.exporters diff --git a/src/main/scala/views/dependability/exporters/package.scala b/src/main/scala/views/dependability/exporters/package.scala index 990e60a..a2d1779 100644 --- a/src/main/scala/views/dependability/exporters/package.scala +++ b/src/main/scala/views/dependability/exporters/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.dependability package object exporters extends TypeCeciliaExporter diff --git a/src/main/scala/views/dependability/model/Component.scala b/src/main/scala/views/dependability/model/Component.scala index 4a17f8e..1e0c317 100644 --- a/src/main/scala/views/dependability/model/Component.scala +++ b/src/main/scala/views/dependability/model/Component.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Copy.scala b/src/main/scala/views/dependability/model/Copy.scala index 699f487..7867d9a 100644 --- a/src/main/scala/views/dependability/model/Copy.scala +++ b/src/main/scala/views/dependability/model/Copy.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/CustomTypes.scala b/src/main/scala/views/dependability/model/CustomTypes.scala index d30fe25..c57ca31 100644 --- a/src/main/scala/views/dependability/model/CustomTypes.scala +++ b/src/main/scala/views/dependability/model/CustomTypes.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Direction.scala b/src/main/scala/views/dependability/model/Direction.scala index ca3c68c..7c6ecc8 100644 --- a/src/main/scala/views/dependability/model/Direction.scala +++ b/src/main/scala/views/dependability/model/Direction.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/EnumFailureMode.scala b/src/main/scala/views/dependability/model/EnumFailureMode.scala index 9b26fab..d23fb48 100644 --- a/src/main/scala/views/dependability/model/EnumFailureMode.scala +++ b/src/main/scala/views/dependability/model/EnumFailureMode.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Event.scala b/src/main/scala/views/dependability/model/Event.scala index 9c95049..7a4d81f 100644 --- a/src/main/scala/views/dependability/model/Event.scala +++ b/src/main/scala/views/dependability/model/Event.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Fire.scala b/src/main/scala/views/dependability/model/Fire.scala index 4b1c0bc..208ea37 100644 --- a/src/main/scala/views/dependability/model/Fire.scala +++ b/src/main/scala/views/dependability/model/Fire.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Id.scala b/src/main/scala/views/dependability/model/Id.scala index d62c482..7d37eed 100644 --- a/src/main/scala/views/dependability/model/Id.scala +++ b/src/main/scala/views/dependability/model/Id.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/ModeAutomaton.scala b/src/main/scala/views/dependability/model/ModeAutomaton.scala index 72dee98..a07e07a 100644 --- a/src/main/scala/views/dependability/model/ModeAutomaton.scala +++ b/src/main/scala/views/dependability/model/ModeAutomaton.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Software.scala b/src/main/scala/views/dependability/model/Software.scala index 3a706e7..6db1106 100644 --- a/src/main/scala/views/dependability/model/Software.scala +++ b/src/main/scala/views/dependability/model/Software.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/System.scala b/src/main/scala/views/dependability/model/System.scala index ae1c8fc..8a1b084 100644 --- a/src/main/scala/views/dependability/model/System.scala +++ b/src/main/scala/views/dependability/model/System.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Target.scala b/src/main/scala/views/dependability/model/Target.scala index 85c4a96..bc546f2 100644 --- a/src/main/scala/views/dependability/model/Target.scala +++ b/src/main/scala/views/dependability/model/Target.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Transition.scala b/src/main/scala/views/dependability/model/Transition.scala index bd8cfed..432b4bf 100644 --- a/src/main/scala/views/dependability/model/Transition.scala +++ b/src/main/scala/views/dependability/model/Transition.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Transporter.scala b/src/main/scala/views/dependability/model/Transporter.scala index 8107a13..b5ecae3 100644 --- a/src/main/scala/views/dependability/model/Transporter.scala +++ b/src/main/scala/views/dependability/model/Transporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/model/Variable.scala b/src/main/scala/views/dependability/model/Variable.scala index 3e84013..22fe802 100644 --- a/src/main/scala/views/dependability/model/Variable.scala +++ b/src/main/scala/views/dependability/model/Variable.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.model diff --git a/src/main/scala/views/dependability/operators/IsCriticityOrdering.scala b/src/main/scala/views/dependability/operators/IsCriticityOrdering.scala index e2bf274..4551da0 100644 --- a/src/main/scala/views/dependability/operators/IsCriticityOrdering.scala +++ b/src/main/scala/views/dependability/operators/IsCriticityOrdering.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.operators diff --git a/src/main/scala/views/dependability/operators/IsFinite.scala b/src/main/scala/views/dependability/operators/IsFinite.scala index 46edffe..f390487 100644 --- a/src/main/scala/views/dependability/operators/IsFinite.scala +++ b/src/main/scala/views/dependability/operators/IsFinite.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.operators diff --git a/src/main/scala/views/dependability/operators/IsMergeable.scala b/src/main/scala/views/dependability/operators/IsMergeable.scala index b4b80af..a37c720 100644 --- a/src/main/scala/views/dependability/operators/IsMergeable.scala +++ b/src/main/scala/views/dependability/operators/IsMergeable.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.operators diff --git a/src/main/scala/views/dependability/operators/IsOptionLike.scala b/src/main/scala/views/dependability/operators/IsOptionLike.scala index 8d21014..034f4a8 100644 --- a/src/main/scala/views/dependability/operators/IsOptionLike.scala +++ b/src/main/scala/views/dependability/operators/IsOptionLike.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.operators diff --git a/src/main/scala/views/dependability/operators/IsShadowOrdering.scala b/src/main/scala/views/dependability/operators/IsShadowOrdering.scala index f17ce0d..9a689cc 100644 --- a/src/main/scala/views/dependability/operators/IsShadowOrdering.scala +++ b/src/main/scala/views/dependability/operators/IsShadowOrdering.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.dependability.operators diff --git a/src/main/scala/views/dependability/operators/package.scala b/src/main/scala/views/dependability/operators/package.scala index cfdbda9..eead77d 100644 --- a/src/main/scala/views/dependability/operators/package.scala +++ b/src/main/scala/views/dependability/operators/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.dependability package object operators extends IsFiniteOps diff --git a/src/main/scala/views/interference/examples/package.scala b/src/main/scala/views/interference/examples/package.scala index 5c12c4f..06c1bae 100644 --- a/src/main/scala/views/interference/examples/package.scala +++ b/src/main/scala/views/interference/examples/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference /** diff --git a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.scala index 3a43500..9c23f47 100644 --- a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneApplicativeTableBasedInterferenceSpecification.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.examples.simpleKeystone diff --git a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration.scala b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration.scala index dd9aafd..8cd6f05 100644 --- a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration.scala +++ b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystoneInterferenceGeneration.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.examples.simpleKeystone diff --git a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.scala index 12af772..73edb78 100644 --- a/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/examples/simpleKeystone/SimpleKeystonePhysicalTableBasedInterferenceSpecification.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.examples.simpleKeystone import pml.examples.simpleKeystone.SimpleKeystonePlatform diff --git a/src/main/scala/views/interference/examples/simpleKeystone/package.scala b/src/main/scala/views/interference/examples/simpleKeystone/package.scala index dc08d7e..8420f99 100644 --- a/src/main/scala/views/interference/examples/simpleKeystone/package.scala +++ b/src/main/scala/views/interference/examples/simpleKeystone/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.examples /** diff --git a/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042InterferenceGeneration.scala b/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042InterferenceGeneration.scala index 5fb9056..adc0a29 100644 --- a/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042InterferenceGeneration.scala +++ b/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042InterferenceGeneration.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.examples.simpleT1042 diff --git a/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042TableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042TableBasedInterferenceSpecification.scala index 221da9f..18f494e 100644 --- a/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042TableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/examples/simpleT1042/SimpleT1042TableBasedInterferenceSpecification.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.examples.simpleT1042 diff --git a/src/main/scala/views/interference/exporters/IDPExporter.scala b/src/main/scala/views/interference/exporters/IDPExporter.scala index c854141..a92c032 100644 --- a/src/main/scala/views/interference/exporters/IDPExporter.scala +++ b/src/main/scala/views/interference/exporters/IDPExporter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.exporters diff --git a/src/main/scala/views/interference/exporters/InterferenceGraphExporter.scala b/src/main/scala/views/interference/exporters/InterferenceGraphExporter.scala index 16f1586..482d1d4 100644 --- a/src/main/scala/views/interference/exporters/InterferenceGraphExporter.scala +++ b/src/main/scala/views/interference/exporters/InterferenceGraphExporter.scala @@ -1,5 +1,5 @@ -/* - * Copyright (c) 2021. ONERA +/******************************************************************************* + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,13 +7,13 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 - */ + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package views.interference.exporters diff --git a/src/main/scala/views/interference/exporters/package.scala b/src/main/scala/views/interference/exporters/package.scala index 85b0671..b37a885 100644 --- a/src/main/scala/views/interference/exporters/package.scala +++ b/src/main/scala/views/interference/exporters/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference //FIXME The usage of exporters is not illustrated in examples diff --git a/src/main/scala/views/interference/model/formalisation/BDDFactory.scala b/src/main/scala/views/interference/model/formalisation/BDDFactory.scala index c787c06..c050ab8 100644 --- a/src/main/scala/views/interference/model/formalisation/BDDFactory.scala +++ b/src/main/scala/views/interference/model/formalisation/BDDFactory.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.model.formalisation diff --git a/src/main/scala/views/interference/model/formalisation/ProblemElement.scala b/src/main/scala/views/interference/model/formalisation/ProblemElement.scala index e7e8518..da64583 100644 --- a/src/main/scala/views/interference/model/formalisation/ProblemElement.scala +++ b/src/main/scala/views/interference/model/formalisation/ProblemElement.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.formalisation import monosat.Logic._ diff --git a/src/main/scala/views/interference/model/formalisation/package.scala b/src/main/scala/views/interference/model/formalisation/package.scala index 9f656a7..3fd1563 100644 --- a/src/main/scala/views/interference/model/formalisation/package.scala +++ b/src/main/scala/views/interference/model/formalisation/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model /** diff --git a/src/main/scala/views/interference/model/package.scala b/src/main/scala/views/interference/model/package.scala index 842237e..a49b8fd 100644 --- a/src/main/scala/views/interference/model/package.scala +++ b/src/main/scala/views/interference/model/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference /** diff --git a/src/main/scala/views/interference/model/relations/EquivalenceRelation.scala b/src/main/scala/views/interference/model/relations/EquivalenceRelation.scala index 60e9f38..78f50f3 100644 --- a/src/main/scala/views/interference/model/relations/EquivalenceRelation.scala +++ b/src/main/scala/views/interference/model/relations/EquivalenceRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.relations import pml.model.relations.{ReflexiveSymmetricEndomorphism, Endomorphism} diff --git a/src/main/scala/views/interference/model/relations/ExclusiveRelation.scala b/src/main/scala/views/interference/model/relations/ExclusiveRelation.scala index 38f874e..ebbe6f9 100644 --- a/src/main/scala/views/interference/model/relations/ExclusiveRelation.scala +++ b/src/main/scala/views/interference/model/relations/ExclusiveRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.relations import pml.model.configuration.TransactionLibrary.UserScenarioId diff --git a/src/main/scala/views/interference/model/relations/InterfereRelation.scala b/src/main/scala/views/interference/model/relations/InterfereRelation.scala index 6038996..7f029bb 100644 --- a/src/main/scala/views/interference/model/relations/InterfereRelation.scala +++ b/src/main/scala/views/interference/model/relations/InterfereRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.relations import pml.model.hardware.Hardware diff --git a/src/main/scala/views/interference/model/relations/NotInterfereRelation.scala b/src/main/scala/views/interference/model/relations/NotInterfereRelation.scala index a9da4d0..2f6caf1 100644 --- a/src/main/scala/views/interference/model/relations/NotInterfereRelation.scala +++ b/src/main/scala/views/interference/model/relations/NotInterfereRelation.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.relations import pml.model.hardware.Hardware diff --git a/src/main/scala/views/interference/model/relations/TransparentSet.scala b/src/main/scala/views/interference/model/relations/TransparentSet.scala index f85a412..8c4de49 100644 --- a/src/main/scala/views/interference/model/relations/TransparentSet.scala +++ b/src/main/scala/views/interference/model/relations/TransparentSet.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.relations import sourcecode.Name diff --git a/src/main/scala/views/interference/model/relations/package.scala b/src/main/scala/views/interference/model/relations/package.scala index 8a4681b..7d48be5 100644 --- a/src/main/scala/views/interference/model/relations/package.scala +++ b/src/main/scala/views/interference/model/relations/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model package object relations diff --git a/src/main/scala/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.scala index 916941b..bd4bc59 100644 --- a/src/main/scala/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/model/specification/ApplicativeTableBasedInterferenceSpecification.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.interference.model.specification diff --git a/src/main/scala/views/interference/model/specification/InterferenceSpecification.scala b/src/main/scala/views/interference/model/specification/InterferenceSpecification.scala index 4b965ff..6021b05 100644 --- a/src/main/scala/views/interference/model/specification/InterferenceSpecification.scala +++ b/src/main/scala/views/interference/model/specification/InterferenceSpecification.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package views.interference.model.specification diff --git a/src/main/scala/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.scala index 5f724cc..bf12c88 100644 --- a/src/main/scala/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/model/specification/PhysicalTableBasedInterferenceSpecification.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model.specification import pml.model.hardware.Platform diff --git a/src/main/scala/views/interference/model/specification/TableBasedInterferenceSpecification.scala b/src/main/scala/views/interference/model/specification/TableBasedInterferenceSpecification.scala index 3e5a259..7a5c40e 100644 --- a/src/main/scala/views/interference/model/specification/TableBasedInterferenceSpecification.scala +++ b/src/main/scala/views/interference/model/specification/TableBasedInterferenceSpecification.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package views.interference.model.specification diff --git a/src/main/scala/views/interference/model/specification/package.scala b/src/main/scala/views/interference/model/specification/package.scala index f9f94f2..b681a47 100644 --- a/src/main/scala/views/interference/model/specification/package.scala +++ b/src/main/scala/views/interference/model/specification/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.model /** diff --git a/src/main/scala/views/interference/operators/Analyse.scala b/src/main/scala/views/interference/operators/Analyse.scala index bf630c7..ffb39fe 100644 --- a/src/main/scala/views/interference/operators/Analyse.scala +++ b/src/main/scala/views/interference/operators/Analyse.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import monosat.* diff --git a/src/main/scala/views/interference/operators/Equivalent.scala b/src/main/scala/views/interference/operators/Equivalent.scala index 871e927..9b98105 100644 --- a/src/main/scala/views/interference/operators/Equivalent.scala +++ b/src/main/scala/views/interference/operators/Equivalent.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import views.interference.model.relations.EquivalenceRelation diff --git a/src/main/scala/views/interference/operators/Exclusive.scala b/src/main/scala/views/interference/operators/Exclusive.scala index 56c350d..6fb7d1e 100644 --- a/src/main/scala/views/interference/operators/Exclusive.scala +++ b/src/main/scala/views/interference/operators/Exclusive.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import views.interference.model.relations.ExclusiveRelation diff --git a/src/main/scala/views/interference/operators/Interfere.scala b/src/main/scala/views/interference/operators/Interfere.scala index b360411..3f1fc24 100644 --- a/src/main/scala/views/interference/operators/Interfere.scala +++ b/src/main/scala/views/interference/operators/Interfere.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import pml.model.service.Service diff --git a/src/main/scala/views/interference/operators/PostProcess.scala b/src/main/scala/views/interference/operators/PostProcess.scala index 543bed2..4b33666 100644 --- a/src/main/scala/views/interference/operators/PostProcess.scala +++ b/src/main/scala/views/interference/operators/PostProcess.scala @@ -1,19 +1,19 @@ -/** ***************************************************************************** - * Copyright (c) 2021. ONERA - * This file is part of PML Analyzer - * - * PML Analyzer is free software ; - * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public - * License as published by the Free Software Foundation ; - * either version 2 of the License, or (at your option) any later version. - * - * PML Analyzer 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 Lesser General Public License for more details. - * - * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA - * **************************************************************************** */ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ package views.interference.operators diff --git a/src/main/scala/views/interference/operators/Transform.scala b/src/main/scala/views/interference/operators/Transform.scala index 074eb3e..1d9158f 100644 --- a/src/main/scala/views/interference/operators/Transform.scala +++ b/src/main/scala/views/interference/operators/Transform.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import pml.model.configuration.TransactionLibrary diff --git a/src/main/scala/views/interference/operators/Transparent.scala b/src/main/scala/views/interference/operators/Transparent.scala index 0f6a2a2..93608a3 100644 --- a/src/main/scala/views/interference/operators/Transparent.scala +++ b/src/main/scala/views/interference/operators/Transparent.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference.operators import views.interference.model.relations.TransparentSet diff --git a/src/main/scala/views/interference/operators/package.scala b/src/main/scala/views/interference/operators/package.scala index 4fac866..76e5b98 100644 --- a/src/main/scala/views/interference/operators/package.scala +++ b/src/main/scala/views/interference/operators/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views.interference /** diff --git a/src/main/scala/views/interference/package.scala b/src/main/scala/views/interference/package.scala index 368e4d6..6d7073c 100644 --- a/src/main/scala/views/interference/package.scala +++ b/src/main/scala/views/interference/package.scala @@ -1,3 +1,20 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + package views /** diff --git a/src/main/scala/views/package.scala b/src/main/scala/views/package.scala index 15700c1..9f52228 100644 --- a/src/main/scala/views/package.scala +++ b/src/main/scala/views/package.scala @@ -1,4 +1,21 @@ +/******************************************************************************* + * Copyright (c) 2021. ONERA + * This file is part of PML Analyzer + * + * PML Analyzer is free software ; + * you can redistribute it and/or modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation ; + * either version 2 of the License, or (at your option) any later version. + * + * PML Analyzer 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 Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License along with this program ; + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + ******************************************************************************/ + /** * Package containing the modelling and analysis features for specific purposes * @see [[views.interference]] for interference modelling and analysis diff --git a/src/main/scala/views/patterns/examples/PhylogPatterns.scala b/src/main/scala/views/patterns/examples/PhylogPatterns.scala index 843858e..5909945 100644 --- a/src/main/scala/views/patterns/examples/PhylogPatterns.scala +++ b/src/main/scala/views/patterns/examples/PhylogPatterns.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.patterns.examples diff --git a/src/main/scala/views/patterns/exporters/LatexCodePrinter.scala b/src/main/scala/views/patterns/exporters/LatexCodePrinter.scala index 4ffc40f..e2611ad 100644 --- a/src/main/scala/views/patterns/exporters/LatexCodePrinter.scala +++ b/src/main/scala/views/patterns/exporters/LatexCodePrinter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.patterns.exporters diff --git a/src/main/scala/views/patterns/exporters/LatexDiagramPrinter.scala b/src/main/scala/views/patterns/exporters/LatexDiagramPrinter.scala index 4b543a7..708e5e9 100644 --- a/src/main/scala/views/patterns/exporters/LatexDiagramPrinter.scala +++ b/src/main/scala/views/patterns/exporters/LatexDiagramPrinter.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.patterns.exporters diff --git a/src/main/scala/views/patterns/exporters/allPrinters.scala b/src/main/scala/views/patterns/exporters/allPrinters.scala index 199c86a..ebc28db 100644 --- a/src/main/scala/views/patterns/exporters/allPrinters.scala +++ b/src/main/scala/views/patterns/exporters/allPrinters.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.patterns.exporters diff --git a/src/main/scala/views/patterns/model/PatternAST.scala b/src/main/scala/views/patterns/model/PatternAST.scala index fb969bc..1d7d60c 100644 --- a/src/main/scala/views/patterns/model/PatternAST.scala +++ b/src/main/scala/views/patterns/model/PatternAST.scala @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2021. ONERA + * Copyright (c) 2021. ONERA * This file is part of PML Analyzer * * PML Analyzer is free software ; @@ -7,12 +7,12 @@ * License as published by the Free Software Foundation ; * either version 2 of the License, or (at your option) any later version. * - * PML Analyzer is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY ; + * PML Analyzer 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 Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License along with this program ; - * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA ******************************************************************************/ package views.patterns.model