01: /*******************************************************************************
02: * Portions created by Sebastian Thomschke are copyright (c) 2005-2007 Sebastian
03: * Thomschke.
04: *
05: * All Rights Reserved. This program and the accompanying materials
06: * are made available under the terms of the Eclipse Public License v1.0
07: * which accompanies this distribution, and is available at
08: * http://www.eclipse.org/legal/epl-v10.html
09: *
10: * Contributors:
11: * Sebastian Thomschke - initial implementation.
12: *******************************************************************************/package net.sf.oval.configuration.pojo.elements;
13:
14: import java.util.List;
15:
16: /**
17: * @author Sebastian Thomschke
18: */
19: public class ConstructorConfiguration extends ConfigurationElement {
20: private static final long serialVersionUID = 1L;
21:
22: public List<ParameterConfiguration> parameterConfigurations;
23:
24: public Boolean postCheckInvariants;
25: }
|