001 /******************************************************************************* 002 * Portions created by Sebastian Thomschke are copyright (c) 2005-2011 Sebastian 003 * Thomschke. 004 * 005 * All Rights Reserved. This program and the accompanying materials 006 * are made available under the terms of the Eclipse Public License v1.0 007 * which accompanies this distribution, and is available at 008 * http://www.eclipse.org/legal/epl-v10.html 009 * 010 * Contributors: 011 * Sebastian Thomschke - initial implementation. 012 *******************************************************************************/ 013 package net.sf.oval.configuration.pojo.elements; 014 015 import java.util.List; 016 017 /** 018 * @author Sebastian Thomschke 019 */ 020 public class MethodConfiguration extends ConfigurationElement 021 { 022 private static final long serialVersionUID = 1L; 023 024 public String name; 025 public Boolean isInvariant; 026 027 public List<ParameterConfiguration> parameterConfigurations; 028 public MethodReturnValueConfiguration returnValueConfiguration; 029 030 public Boolean postCheckInvariants; 031 public MethodPostExecutionConfiguration postExecutionConfiguration; 032 033 public Boolean preCheckInvariants; 034 public MethodPreExecutionConfiguration preExecutionConfiguration; 035 }