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.guard;
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     * After the annotated method has been executed all field and getter constraints 
023     * (invariants) of this object are validated.<br>
024     * <br>
025     * In case of constraint violations the annotated method will throw an ConstraintsViolatedException.<br>
026     *
027     * @author Sebastian Thomschke
028     */
029    @Documented
030    @Retention(RetentionPolicy.RUNTIME)
031    @Target({ElementType.METHOD, ElementType.CONSTRUCTOR})
032    public @interface PostValidateThis
033    {
034            //
035    }