001 /**
002 * $Id: MayReturnNull.java,v 1.1 2010/01/05 13:26:18 oboehm Exp $
003 *
004 * Copyright (c) 2008 by Oliver Boehm
005 *
006 * Licensed under the Apache License, Version 2.0 (the "License");
007 * you may not use this file except in compliance with the License.
008 * You may obtain a copy of the License at
009 *
010 * http://www.apache.org/licenses/LICENSE-2.0
011 *
012 * Unless required by applicable law or agreed to in writing, software
013 * distributed under the License is distributed on an "AS IS" BASIS,
014 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express orimplied.
015 * See the License for the specific language governing permissions and
016 * limitations under the License.
017 *
018 * (c)reated 24.04.2008 by oliver (ob@oasd.de)
019 */
020 package patterntesting.annotation.check.runtime;
021
022 import java.lang.annotation.*;
023
024 /**
025 * Use this annotation to mark methods which can return null values.
026 * <br/>
027 * The {@link "patterntesting.java.runtime.AbstractNullPointerTrap"} will
028 * watch this postcondition.
029 *
030 * @author <a href="boehm@javatux.de">oliver</a>
031 * @since 24.04.2008
032 * @version $Revision: 1.1 $
033 */
034 @Documented
035 @Target({ElementType.METHOD, ElementType.TYPE})
036 @Retention(RetentionPolicy.RUNTIME)
037 public @interface MayReturnNull {
038
039 }
040
041 /**
042 * $Log: MayReturnNull.java,v $
043 * Revision 1.1 2010/01/05 13:26:18 oboehm
044 * begin with 1.0
045 *
046 * Revision 1.3 2009/12/19 22:34:09 oboehm
047 * trailing spaces removed
048 *
049 * Revision 1.2 2009/09/18 13:54:53 oboehm
050 * javadoc warnings fixed
051 *
052 * Revision 1.1 2009/03/24 21:00:42 oboehm
053 * moved to patterntesting.annotation.check.runtime
054 *
055 * $Source: /cvsroot/patterntesting/PatternTesting10/patterntesting-rt/src/main/java/patterntesting/annotation/check/runtime/MayReturnNull.java,v $
056 */