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.annotation; 014 015 import java.lang.annotation.Documented; 016 import java.lang.annotation.ElementType; 017 import java.lang.annotation.Retention; 018 import java.lang.annotation.RetentionPolicy; 019 import java.lang.annotation.Target; 020 021 /** 022 * Specifies that the return value of the given method (usually 023 * a getter method) should be checked whenever the object 024 * is validated.<br> 025 * <b>Important 1:</b> This is only supported for non-void, non-parameterized methods.<br> 026 * <b>Important 2:</b> To retrieve the return value of the method OVal has to invoke 027 * the method during validation. Therefore you need to ensure that calling the method 028 * does not change the object state.<br> 029 * 030 * @author Sebastian Thomschke 031 */ 032 @Documented 033 @Retention(RetentionPolicy.RUNTIME) 034 @Target({ElementType.METHOD}) 035 public @interface IsInvariant 036 { 037 // 038 }