[DEECo] [d3scomp/JDEECo] 9e1f9a: Basic JPF support for the new jdeeco. Small update...

[GitHub]

  Branch: refs/heads/newgen-keznikl
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 9e1f9ab5400256c2b3ba4880aeab60e2f9058c06
      https://github.com/d3scomp/JDEECo/commit/9e1f9ab5400256c2b3ba4880aeab60e2f9058c06
  Author: Jaroslav Keznikl <jaroslav.keznikl at gmail.com>
  Date:   2014-07-16 (Wed, 16 Jul 2014)

  Changed paths:
    M .gitignore
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/annotations/processor/AnnotationProcessor.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/CloningKnowledgeManager.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/KnowledgeManagerContainer.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/ReadOnlyKnowledgeManager.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/model/runtime/impl/RuntimeMetadataFactoryImpl.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/runtime/RuntimeFrameworkBuilder.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/task/KnowledgePathHelper.java
    A jdeeco-jpf/.project
    A jdeeco-jpf/build.xml
    A jdeeco-jpf/jpfProperties/TestJPFConvoy.jpf
    A jdeeco-jpf/pom.xml
    A jdeeco-jpf/site.properties
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/jpf/AtomicProposition.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/jpf/JDEECoSchedulerFactory.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/jpf/KnowledgeJPF.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/jpf/KnowledgeManagerContainerJPF.java
    A jdeeco-jpf/src/logging.properties
    A jdeeco-jpf/src/org/eclipse/core/runtime/Platform.java
    A jdeeco-jpf/test/cz/cuni/mff/d3s/deeco/jpf/convoy/ConvoyEnsemble.java
    A jdeeco-jpf/test/cz/cuni/mff/d3s/deeco/jpf/convoy/Follower.java
    A jdeeco-jpf/test/cz/cuni/mff/d3s/deeco/jpf/convoy/Leader.java
    A jdeeco-jpf/test/cz/cuni/mff/d3s/deeco/jpf/convoy/TestJPFConvoy.java
    A jdeeco-jpf/test/cz/cuni/mff/d3s/deeco/jpf/convoy/Waypoint.java

  Log Message:
  -----------
  Basic JPF support for the new jdeeco. Small updates in jdeeco-core to
make it run in JPF.