001 /*--------------------------------------------------------------------------+ 002 $Id: SimulinkConstraints.java 26285 2010-02-18 11:22:54Z juergens $ 003 | | 004 | Copyright 2005-2010 Technische Universitaet Muenchen | 005 | | 006 | Licensed under the Apache License, Version 2.0 (the "License"); | 007 | you may not use this file except in compliance with the License. | 008 | You may obtain a copy of the License at | 009 | | 010 | http://www.apache.org/licenses/LICENSE-2.0 | 011 | | 012 | Unless required by applicable law or agreed to in writing, software | 013 | distributed under the License is distributed on an "AS IS" BASIS, | 014 | WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 015 | See the License for the specific language governing permissions and | 016 | limitations under the License. | 017 +--------------------------------------------------------------------------*/ 018 package edu.tum.cs.simulink.constraints; 019 020 import edu.tum.cs.commons.constraint.ConstraintValidator; 021 import edu.tum.cs.commons.constraint.ConstraintViolationException; 022 import edu.tum.cs.simulink.model.SimulinkBlock; 023 import edu.tum.cs.simulink.model.SimulinkElementBase; 024 import edu.tum.cs.simulink.model.SimulinkLine; 025 import edu.tum.cs.simulink.model.SimulinkModel; 026 import edu.tum.cs.simulink.util.SimulinkModelWalker; 027 028 /** 029 * Utility methods for validating the Simulink model. See package comment for 030 * further details. 031 * 032 * @author deissenb 033 * @author $Author: juergens $ 034 * @version $Rev: 26285 $ 035 * @levd.rating GREEN Hash: DF337D5FD8A07AC0D575ECBE780A6C79 036 */ 037 public class SimulinkConstraints { 038 039 /** Check mandatory and optional constraints. */ 040 public static void checkAllConstraints(SimulinkModel model) 041 throws ConstraintViolationException { 042 checkMandatoryConstraints(model); 043 checkOptionalConstraints(model); 044 } 045 046 /** Check mandatory constraints. */ 047 public static void checkMandatoryConstraints(SimulinkModel model) 048 throws ConstraintViolationException { 049 ConstraintValidator validator = new ConstraintValidator(); 050 addMandatoryConstraints(validator); 051 validator.validateMesh(model, new SimulinkModelWalker()); 052 } 053 054 /** Check optional constraints. */ 055 public static void checkOptionalConstraints(SimulinkModel model) 056 throws ConstraintViolationException { 057 ConstraintValidator validator = new ConstraintValidator(); 058 addOptionalConstraints(validator); 059 validator.validateMesh(model, new SimulinkModelWalker()); 060 } 061 062 /** Add optional mandatory to validator. */ 063 public static void addMandatoryConstraints(ConstraintValidator validator) { 064 validator.addConstraint(SimulinkElementBase.class, 065 new SimulinkElementNameConstraint()); 066 validator.addConstraint(SimulinkBlock.class, 067 new SimulinkBlockTypeConstraint()); 068 } 069 070 /** Add optional constraints to validator. */ 071 public static void addOptionalConstraints(ConstraintValidator validator) { 072 validator.addConstraint(SimulinkLine.class, 073 new SimulinkLineConstraint()); 074 } 075 076 }