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    }