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    }