[DEECo] [d3scomp/JDEECo] 503477: Special type of mode switched runtime log record f...

[GitHub]

  Branch: refs/heads/uncertain-architectures
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 5034775104967bb9aa6b350f8b2e8a38b271bfa6
      https://github.com/d3scomp/JDEECo/commit/5034775104967bb9aa6b350f8b2e8a38b271bfa6
  Author: Dominik Skoda <skoda at d3s.mff.cuni.cz>
  Date:   2016-05-03 (Tue, 03 May 2016)

  Changed paths:
    M jdeeco-adaptation-plugin/src/cz/cuni/mff/d3s/jdeeco/adaptation/modeswitching/NonDeterministicModeSwitchingManager.java
    M jdeeco-adaptation-plugin/src/cz/cuni/mff/d3s/jdeeco/adaptation/modeswitching/NonDeterministicModeSwitchingPlugin.java
    A jdeeco-adaptation-plugin/src/cz/cuni/mff/d3s/jdeeco/adaptation/modeswitching/runtimelog/NonDetModeRecord.java
    A jdeeco-adaptation-plugin/src/cz/cuni/mff/d3s/jdeeco/adaptation/modeswitching/runtimelog/NonDetModeTransitionLogger.java

  Log Message:
  -----------
  Special type of mode switched runtime log record for non-deterministic
mode switching.