Bump spring.version from 3.2.8.RELEASE to 5.2.0.RELEASE in /samples/java-web/template/testman

.circleci/config.yml

@@ -0,0 +1,109 @@
+version: 2
+jobs:
+
+  build:
+    machine:
+      image: circleci/classic:201808-01
+    steps:
+      - checkout
+      - run: |
+          sed -ir "s/COMMIT_HASH = None/COMMIT_HASH = \"${CIRCLE_SHA1}\"/I" camp/__init__.py          
+      - run: |
+          docker build --no-cache \
+                 --build-arg PYTHON_VERSION=3.5 \
+                 --build-arg WITH_TESTS=--camp-with-tests \
+                 --build-arg Z3_VERSION=4.8.4.d6df51951f4c \
+                 --build-arg Z3_PLATFORM=x64-debian-8.11 \
+                 -t camp:ci .
+      - run: |
+          docker save -o camp-ci.tar camp:ci
+      - persist_to_workspace:
+          root: ./
+          paths:
+            - camp-ci.tar
+
+  test:
+    machine:
+      image: circleci/classic:201808-01
+    steps:
+      - attach_workspace:
+          at: ./
+      - run: |
+          docker load -i camp-ci.tar
+      - run:
+          no_output_timeout: 30m
+          command: |
+             docker run --name tests \
+                        -v /var/run/docker.sock:/var/run/docker.sock \
+                        -t camp:ci \
+                        /bin/bash -c "green -qrfvv -s 1 tests && coverage xml"
+      - run: |
+          docker cp tests:/camp/coverage.xml coverage.xml
+      - persist_to_workspace:
+          root: ./
+          paths:
+            - coverage.xml
+
+  coverage:
+    docker:
+      - image: circleci/python:3.6.8-stretch
+    steps:
+      - checkout
+      - attach_workspace:
+          at: ./
+      - run: |
+          python3 -m virtualenv .venv
+          source .venv/bin/activate
+          pip install codacy-coverage
+          python-codacy-coverage -r coverage.xml
+
+
+  publish:
+    machine:
+      image: circleci/classic:201808-01
+    steps:
+      - checkout
+      - attach_workspace:
+          at: ./
+      - run: |
+          docker load -i camp-ci.tar
+      - run: |
+          if [[ -z "${CIRCLE_PULL_REQUEST}" ]]
+          then
+              CIRCLE_TAG=$(git tag -l --points-at HEAD)
+              docker login -u ${DOCKER_USERNAME} -p ${DOCKER_PASSWORD}
+              if [[ "${CIRCLE_TAG}" =~ ^v[0-9]+\.[0-9]+\.[0-9]+$ ]]
+              then
+                  docker tag camp:ci ${DOCKER_USERNAME}/camp:${CIRCLE_TAG}
+                  docker push ${DOCKER_USERNAME}/camp:${CIRCLE_TAG}
+                  if [[ "${CIRCLE_TAG}" == "$(git describe --abbrev=0)" ]]
+                  then
+                      docker tag camp:ci ${DOCKER_USERNAME}/camp:latest
+                      docker push ${DOCKER_USERNAME}/camp:latest
+                  fi
+              fi
+              LAST_COMMIT=$(git ls-remote https://github.com/STAMP-project/camp.git refs/heads/master | cut -f 1)
+              if [[ "${CIRCLE_SHA1}" == "${LAST_COMMIT}" ]]
+              then
+                  docker tag camp:ci ${DOCKER_USERNAME}/camp:dev
+                  docker push ${DOCKER_USERNAME}/camp:dev
+              fi
+          fi
+
+workflows:
+  version: 2
+  build_and_test:
+    jobs:
+      - build
+      - test:
+          requires:
+            - build
+      - coverage:
+          requires:
+            - test
+      - publish:
+          requires:
+            - test
+          filters:
+            branches:
+              only: master

.dockerignore

@@ -0,0 +1,29 @@
+# Project specific
+modules
+
+# Jekyll
+**/_site
+**/Gemfile.lock
+
+# Github files
+**/.git
+**/.github
+.gitignore
+
+# Python files
+**/.py*
+**/*.pyc
+**/*.egg-info
+.coverage
+
+# Travis-ci
+.travis.yml
+
+# Emacs
+**/*~
+**/\#*
+**/.\#*
+
+# Other
+**/.DS_Store
+**/*.log

.github/ISSUE_DOC.md

@@ -0,0 +1,66 @@
+#### Characteristics
+
+-   **Issue Type**: \[bug, feature, test report] Type of reported
+	issue. It could be:
+
+    -   Bug: issue perceived by the reporter as a potential bug, which
+		has to be confirmed by assignee;
+
+    -   Feature: issue describing a new requested functionality or a
+		non-functional property to be supported.
+
+    -   Test report
+
+	Above issue type can be further refined, in the case of bugs, by
+	adopting a number of predefined tags (taken from a proposed STAMP
+	tag cloud), including REGRESSION, CONFIGURATION, PERFORMANCE
+
+-   **Reproducibility**: \[always, sometimes, random]
+
+-   **Severity**: \[feature, minor, major, crash, block]
+
+-   **Tool/Service/Component**: \[name, version] e.g., "PIT 1.2.0,
+	 Descartes 0.2-SNAPSHOT, PITMP 1.0.1""
+
+-   **Execution Environment**: \[platform, OS, etc] Description of the
+	execution environment, e.g "Linux OpenSuse Tumbleweed" or "Linux
+	Ubuntu 16.04.1" including information about the version of the
+	executed STAMP tools/services and their local dependencies (in
+	case of standalone execution)
+
+-   **Reporter**: \[name, mail] Reference information of the reporter,
+	so the assignee can contact back for further issue refinement, if
+	needed.
+
+#### Description
+A detailed description of the issue.  For features, this section
+should provide a functional description of the required
+functionality. When describing features formally as user stories, the
+description can include this formal syntax: As a <role>, I can
+<activity> so that <business value> With this form, all the
+stakeholders involved in the requirement analysis can understand both
+the role of the user and the business benefit that the new
+functionality provides.	 For bugs, this section should describe as
+well:
+
+-   the observed execution behavior and obtained results;
+-   the expected execution behavior and results.
+
+#### Steps to reproduce
+A detailed description, step-by-step of the procedure followed by the
+reporter to reproduce the bug reported.
+
+#### Other files and URLs
+Additional visual proofs, such as snapshots, providing additional
+visual information of the bug can be included, as well as input files
+required for reproducing the bug or URLs pointed to the sources of
+such inputs.
+
+#### Relationships
+A list of relationships to other issues. In case of features, these
+relationships can be used to structure them, grouping related
+features. Possible relationships:
+
+-   Child of / Parent of
+-   Related to
+-   Depends on

.github/ISSUE_TEMPLATE.md

@@ -0,0 +1,19 @@
+#### Characteristics
+
+-   **Issue Type**: \[bug, feature, test report]
+-   **Reproducibility**: \[always, sometimes, random]
+-   **Severity**: \[feature, minor, major, crash, block]
+-   **Tool/Service/Component**: \[name, version]
+-   **Execution Environment**: \[platform, OS, etc]
+-   **Reporter**: \[name, mail]
+
+#### Description
+
+#### Steps to reproduce
+
+#### Other files and URLs
+
+#### Relationships
+
+#### [Help on issue template](https://github.com/STAMP-project/eclipse-ide/blob/master/.github/ISSUE_DOC.md)
+Preview to follow the link or open file .github/ISSUE_DOC.md

.gitignore

@@ -8,7 +8,6 @@ __pycache__/
 
 # Distribution / packaging
 .Python
-env/
 build/
 develop-eggs/
 dist/
@@ -24,6 +23,7 @@ wheels/
 *.egg-info/
 .installed.cfg
 *.egg
+MANIFEST
 
 # PyInstaller
 #  Usually these files are written by a python script from a template
@@ -52,6 +52,8 @@ coverage.xml
 
 # Django stuff:
 *.log
+.static_storage/
+.media/
 local_settings.py
 
 # Flask stuff:
@@ -79,13 +81,14 @@ celerybeat-schedule
 # SageMath parsed files
 *.sage.py
 
-# dotenv
+# Environments
 .env
-
-# virtualenv
-.venv
+.venv*/
+env/
 venv/
 ENV/
+env.bak/
+venv.bak/
 
 # Spyder project settings
 .spyderproject
@@ -99,3 +102,18 @@ ENV/
 
 # mypy
 .mypy_cache/
+
+# jekyll
+_site/
+.sass-cache/
+
+# Emacs
+\#*\#
+*~
+.\#*
+
+# Mac OSX
+.DS_Store
+
+# Roo log
+roo.log

Dockerfile

@@ -1,57 +1,37 @@
 #
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
+# CAMP
 #
-#      http://www.apache.org/licenses/LICENSE-2.0
+# Copyright (C) 2017 -- 2019 SINTEF Digital
+# All rights reserved.
 #
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
+# This software may be modified and distributed under the terms
+# of the MIT license.  See the LICENSE file for details.
 #
-# See the NOTICE file distributed with this work for additional
-# information regarding copyright ownership.
-#
-
-FROM jenkins:2.32.1
-MAINTAINER Anatoly Vasilevskiy <[email protected]>
-
-USER root
 
-RUN apt-get update && apt-get install -y openssl \
-						sshpass \
-						openssh-server \
-						git
+FROM debian:9-slim
 
-RUN echo 'jenkins:jenkins' | chpasswd \
-	&& mkdir /var/run/sshd	
 
-#copy everithing in the current folder
-#requires that the tool to test is packaged together with the testing tool
-COPY . "$JENKINS_HOME"/
+ARG DEBUG
+ARG PYTHON_VERSION=3.5
+ARG WITH_TESTS
+ARG Z3_VERSION=4.8.4.d6df51951f4c
+ARG Z3_PLATFORM=x64-debian-8.11
 
-#starup scritp, runs sshd and than jenkins.sh from jenkins:latest
-COPY startup.sh /usr/local/bin/startup.sh
-RUN chmod a+x /usr/local/bin/startup.sh
+LABEL maintainer "[email protected]"
 
-#installing docker START
-ENV DOCKER_BUCKET get.docker.com
-ENV DOCKER_VERSION 1.13.0
-ENV DOCKER_SHA256 fc194bb95640b1396283e5b23b5ff9d1b69a5e418b5b3d774f303a7642162ad6
-#ENV DOCKER_VERSION 1.12.6
-#ENV DOCKER_SHA256 cadc6025c841e034506703a06cf54204e51d0cadfae4bae62628ac648d82efdd
 
-RUN set -x \
-	&& curl -fSL "https://${DOCKER_BUCKET}/builds/Linux/x86_64/docker-${DOCKER_VERSION}.tgz" -o docker.tgz \
-	&& echo "${DOCKER_SHA256} *docker.tgz" | sha256sum -c - \
-	&& tar -xzvf docker.tgz \
-	&& mv docker/* /usr/local/bin/ \
-	&& rmdir docker \
-	&& rm docker.tgz \
-	&& docker -v
+WORKDIR /camp
+COPY . /camp
 
-#installing docker END
+# Install Z3
+RUN bash install.sh \
+        --install-python \
+        --python-version ${PYTHON_VERSION} \
+        --install-z3 \
+        --z3-version ${Z3_VERSION} \
+        --z3-platform ${Z3_PLATFORM} \
+        --install-docker \
+        --camp-from-sources ${WITH_TESTS} ${DEBUG}
 
-CMD ["/usr/local/bin/startup.sh"]
+# Avoid UnicodeDecodeError as per Issue #53
+ENV LANG C.UTF-8