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 }