View Javadoc
1   /*******************************************************************************
2    * Portions created by Sebastian Thomschke are copyright (c) 2005-2011 Sebastian
3    * Thomschke.
4    * 
5    * All Rights Reserved. This program and the accompanying materials
6    * are made available under the terms of the Eclipse Public License v1.0
7    * which accompanies this distribution, and is available at
8    * http://www.eclipse.org/legal/epl-v10.html
9    * 
10   * Contributors:
11   *     Sebastian Thomschke - initial implementation.
12   *******************************************************************************/
13  package net.sf.oval.configuration.annotation;
14  
15  import java.lang.annotation.Documented;
16  import java.lang.annotation.ElementType;
17  import java.lang.annotation.Retention;
18  import java.lang.annotation.RetentionPolicy;
19  import java.lang.annotation.Target;
20  
21  /**
22   * Specifies that the return value of the given method (usually 
23   * a getter method) should be checked whenever the object 
24   * is validated.<br>
25   * <b>Important 1:</b> This is only supported for non-void, non-parameterized methods.<br>
26   * <b>Important 2:</b> To retrieve the return value of the method OVal has to invoke
27   * the method during validation. Therefore you need to ensure that calling the method 
28   * does not change the object state.<br>
29   * 
30   * @author Sebastian Thomschke
31   */
32  @Documented
33  @Retention(RetentionPolicy.RUNTIME)
34  @Target({ElementType.METHOD})
35  public @interface IsInvariant
36  {
37  	//
38  }