diff --git a/Featherweight_OCL/ROOT b/Featherweight_OCL/ROOT new file mode 100644 index 0000000..08be58b --- /dev/null +++ b/Featherweight_OCL/ROOT @@ -0,0 +1,25 @@ +chapter AFP + +session Featherweight_OCL (AFP) = HOL + + description {* Featherweight-OCL *} + options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML", + show_question_marks = false, timeout = 600] + theories + "UML_Main" + "examples/Employee_Model/Analysis/Analysis_OCL" + "examples/Employee_Model/Design/Design_OCL" + document_files + "conclusion.tex" + "figures/AbstractSimpleChair.pdf" + "figures/jedit.png" + "figures/pdf.png" + "figures/person.png" + "figures/pre-post.pdf" + "hol-ocl-isar.sty" + "introduction.tex" + "lstisar.sty" + "omg.sty" + "prooftree.sty" + "root.bib" + "root.tex" + "FOCL_Syntax.tex" diff --git a/UML_Contracts.thy b/Featherweight_OCL/UML_Contracts.thy similarity index 100% rename from UML_Contracts.thy rename to Featherweight_OCL/UML_Contracts.thy diff --git a/UML_Library.thy b/Featherweight_OCL/UML_Library.thy similarity index 100% rename from UML_Library.thy rename to Featherweight_OCL/UML_Library.thy diff --git a/UML_Logic.thy b/Featherweight_OCL/UML_Logic.thy similarity index 100% rename from UML_Logic.thy rename to Featherweight_OCL/UML_Logic.thy diff --git a/UML_Main.thy b/Featherweight_OCL/UML_Main.thy similarity index 100% rename from UML_Main.thy rename to Featherweight_OCL/UML_Main.thy diff --git a/UML_PropertyProfiles.thy b/Featherweight_OCL/UML_PropertyProfiles.thy similarity index 100% rename from UML_PropertyProfiles.thy rename to Featherweight_OCL/UML_PropertyProfiles.thy diff --git a/UML_State.thy b/Featherweight_OCL/UML_State.thy similarity index 100% rename from UML_State.thy rename to Featherweight_OCL/UML_State.thy diff --git a/UML_Tools.thy b/Featherweight_OCL/UML_Tools.thy similarity index 100% rename from UML_Tools.thy rename to Featherweight_OCL/UML_Tools.thy diff --git a/UML_Types.thy b/Featherweight_OCL/UML_Types.thy similarity index 100% rename from UML_Types.thy rename to Featherweight_OCL/UML_Types.thy diff --git a/basic_types/UML_Boolean.thy b/Featherweight_OCL/basic_types/UML_Boolean.thy similarity index 100% rename from basic_types/UML_Boolean.thy rename to Featherweight_OCL/basic_types/UML_Boolean.thy diff --git a/basic_types/UML_Integer.thy b/Featherweight_OCL/basic_types/UML_Integer.thy similarity index 100% rename from basic_types/UML_Integer.thy rename to Featherweight_OCL/basic_types/UML_Integer.thy diff --git a/basic_types/UML_Real.thy b/Featherweight_OCL/basic_types/UML_Real.thy similarity index 100% rename from basic_types/UML_Real.thy rename to Featherweight_OCL/basic_types/UML_Real.thy diff --git a/basic_types/UML_String.thy b/Featherweight_OCL/basic_types/UML_String.thy similarity index 100% rename from basic_types/UML_String.thy rename to Featherweight_OCL/basic_types/UML_String.thy diff --git a/basic_types/UML_Void.thy b/Featherweight_OCL/basic_types/UML_Void.thy similarity index 100% rename from basic_types/UML_Void.thy rename to Featherweight_OCL/basic_types/UML_Void.thy diff --git a/collection_types/UML_Bag.thy b/Featherweight_OCL/collection_types/UML_Bag.thy similarity index 100% rename from collection_types/UML_Bag.thy rename to Featherweight_OCL/collection_types/UML_Bag.thy diff --git a/collection_types/UML_Pair.thy b/Featherweight_OCL/collection_types/UML_Pair.thy similarity index 100% rename from collection_types/UML_Pair.thy rename to Featherweight_OCL/collection_types/UML_Pair.thy diff --git a/collection_types/UML_Sequence.thy b/Featherweight_OCL/collection_types/UML_Sequence.thy similarity index 100% rename from collection_types/UML_Sequence.thy rename to Featherweight_OCL/collection_types/UML_Sequence.thy diff --git a/collection_types/UML_Set.thy b/Featherweight_OCL/collection_types/UML_Set.thy similarity index 100% rename from collection_types/UML_Set.thy rename to Featherweight_OCL/collection_types/UML_Set.thy diff --git a/document/FOCL_Syntax.tex b/Featherweight_OCL/document/FOCL_Syntax.tex similarity index 100% rename from document/FOCL_Syntax.tex rename to Featherweight_OCL/document/FOCL_Syntax.tex diff --git a/document/conclusion.tex b/Featherweight_OCL/document/conclusion.tex similarity index 100% rename from document/conclusion.tex rename to Featherweight_OCL/document/conclusion.tex diff --git a/document/figures/AbstractSimpleChair.mp b/Featherweight_OCL/document/figures/AbstractSimpleChair.mp similarity index 100% rename from document/figures/AbstractSimpleChair.mp rename to Featherweight_OCL/document/figures/AbstractSimpleChair.mp diff --git a/document/figures/AbstractSimpleChair.pdf b/Featherweight_OCL/document/figures/AbstractSimpleChair.pdf similarity index 100% rename from document/figures/AbstractSimpleChair.pdf rename to Featherweight_OCL/document/figures/AbstractSimpleChair.pdf diff --git a/document/figures/jedit.png b/Featherweight_OCL/document/figures/jedit.png similarity index 100% rename from document/figures/jedit.png rename to Featherweight_OCL/document/figures/jedit.png diff --git a/document/figures/pdf.png b/Featherweight_OCL/document/figures/pdf.png similarity index 100% rename from document/figures/pdf.png rename to Featherweight_OCL/document/figures/pdf.png diff --git a/document/figures/person.png b/Featherweight_OCL/document/figures/person.png similarity index 100% rename from document/figures/person.png rename to Featherweight_OCL/document/figures/person.png diff --git a/document/figures/pre-post.pdf b/Featherweight_OCL/document/figures/pre-post.pdf similarity index 100% rename from document/figures/pre-post.pdf rename to Featherweight_OCL/document/figures/pre-post.pdf diff --git a/document/hol-ocl-isar.sty b/Featherweight_OCL/document/hol-ocl-isar.sty similarity index 100% rename from document/hol-ocl-isar.sty rename to Featherweight_OCL/document/hol-ocl-isar.sty diff --git a/document/introduction.tex b/Featherweight_OCL/document/introduction.tex similarity index 100% rename from document/introduction.tex rename to Featherweight_OCL/document/introduction.tex diff --git a/document/lstisar.sty b/Featherweight_OCL/document/lstisar.sty similarity index 100% rename from document/lstisar.sty rename to Featherweight_OCL/document/lstisar.sty diff --git a/document/omg.sty b/Featherweight_OCL/document/omg.sty similarity index 100% rename from document/omg.sty rename to Featherweight_OCL/document/omg.sty diff --git a/document/prooftree.sty b/Featherweight_OCL/document/prooftree.sty similarity index 100% rename from document/prooftree.sty rename to Featherweight_OCL/document/prooftree.sty diff --git a/document/root.bib b/Featherweight_OCL/document/root.bib similarity index 100% rename from document/root.bib rename to Featherweight_OCL/document/root.bib diff --git a/document/root.tex b/Featherweight_OCL/document/root.tex similarity index 100% rename from document/root.tex rename to Featherweight_OCL/document/root.tex diff --git a/examples/Employee_Model/Analysis/Analysis_OCL.thy b/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_OCL.thy similarity index 100% rename from examples/Employee_Model/Analysis/Analysis_OCL.thy rename to Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_OCL.thy diff --git a/examples/Employee_Model/Analysis/Analysis_UML.thy b/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy similarity index 100% rename from examples/Employee_Model/Analysis/Analysis_UML.thy rename to Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy diff --git a/examples/Employee_Model/Design/Design_OCL.thy b/Featherweight_OCL/examples/Employee_Model/Design/Design_OCL.thy similarity index 100% rename from examples/Employee_Model/Design/Design_OCL.thy rename to Featherweight_OCL/examples/Employee_Model/Design/Design_OCL.thy diff --git a/examples/Employee_Model/Design/Design_UML.thy b/Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy similarity index 100% rename from examples/Employee_Model/Design/Design_UML.thy rename to Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy diff --git a/readme.txt b/Featherweight_OCL/readme.txt similarity index 100% rename from readme.txt rename to Featherweight_OCL/readme.txt diff --git a/ROOT b/ROOT deleted file mode 100644 index 8f91394..0000000 --- a/ROOT +++ /dev/null @@ -1,67 +0,0 @@ -(***************************************************************************** - * Featherweight-OCL --- A Formal Semantics for UML-OCL Version OCL 2.5 - * for the OMG Standard. - * http://www.brucker.ch/projects/hol-testgen/ - * - * This file is part of HOL-TestGen. - * - * Copyright (c) 2013-2015 Université Paris-Saclay, Univ. Paris-Sud, France - * 2013-2015 IRT SystemX, France - * 2013-2015 Achim D. Brucker, Germany - * - * All rights reserved. - * - * Redistribution and use in source and binary forms, with or without - * modification, are permitted provided that the following conditions are - * met: - * - * * Redistributions of source code must retain the above copyright - * notice, this list of conditions and the following disclaimer. - * - * * Redistributions in binary form must reproduce the above - * copyright notice, this list of conditions and the following - * disclaimer in the documentation and/or other materials provided - * with the distribution. - * - * * Neither the name of the copyright holders nor the names of its - * contributors may be used to endorse or promote products derived - * from this software without specific prior written permission. - * - * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS - * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT - * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR - * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT - * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, - * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT - * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, - * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY - * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT - * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE - * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. - ******************************************************************************) - -chapter AFP - -session Featherweight_OCL (AFP) = HOL + - description {* Featherweight-OCL *} - options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML", - show_question_marks = false] - theories - "UML_Main" - "examples/Employee_Model/Analysis/Analysis_OCL" - "examples/Employee_Model/Design/Design_OCL" - document_files - "conclusion.tex" - "figures/AbstractSimpleChair.pdf" - "figures/jedit.png" - "figures/pdf.png" - "figures/person.png" - "figures/pre-post.pdf" - "hol-ocl-isar.sty" - "introduction.tex" - "lstisar.sty" - "omg.sty" - "prooftree.sty" - "root.bib" - "root.tex" - "FOCL_Syntax.tex" diff --git a/config b/config deleted file mode 100644 index 20cb828..0000000 --- a/config +++ /dev/null @@ -1,9 +0,0 @@ -# -*- shell-script -*- - -# Get email when automated build fails. May be empty. -# values: "email1 email2 .. emailn" -NOTIFY="brucker@spamfence.net wolff@lri.fr frederic.tuong@lri.fr" - -# Participate in frequent (nightly) build (only for small submissions) -# values: "yes" "no" -FREQUENT="yes"