code: /****************************************************************************
  
      ePMC - an extensible probabilistic model checker
      Copyright (C) 2017
  
      This program is free software: you can redistribute it and/or modify
      it under the terms of the GNU General Public License as published by
      the Free Software Foundation, either version 3 of the License, or
      (at your option) any later version.
  
      This program 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 General Public License for more details.
  
      You should have received a copy of the GNU General Public License
      along with this program.  If not, see <http://www.gnu.org/licenses/>.
  
   *****************************************************************************/
  
  package epmc.modelchecker;
  
  import java.io.InputStream;
  import epmc.graph.Semantics;
  
  /**
   * Dummy model or cases where a model is not really needed.
   * This class can be used e.g. for translation from formulas to automata, where
   * a model is not needed but needs to be present for technical reasons.
   * 
   * @author Ernst Moritz Hahn
   */
  public final class ModelDummy implements Model {
      /** Identifier of this model class. */
      public final static String IDENTIFIER = "dummy";
      /** Properties of the model. */
      private PropertiesDummy properties;
  
      @Override
      public String getIdentifier() {
          return IDENTIFIER;
      }
  
      @Override
      public void read(Object object, InputStream... inputs) {
          assert inputs != null;
          assert inputs.length == 0;
      }
  
      @Override
      public Semantics getSemantics() {
          return null;
      }
  
      @Override
      public Properties getPropertyList() {
          return properties;
      }
  }
  