Java Code Examples for javax.annotation.meta.When#NEVER

/**
 * Determine whether given backwards FlowValue conflicts with given source.
 *
 * @param backwardsFlowValue
 *            a backwards FlowValue
 * @param source
 *            SourceSinkInfo object representing a source reached by the
 *            backwards flow value
 * @param typeQualifierValue
 *            TypeQualifierValue being checked
 * @param isIdentity TODO
 * @return true if backwards value conflicts with source, false if not
 */
public static boolean backwardsValueConflictsWithSource(FlowValue backwardsFlowValue, SourceSinkInfo source,
        TypeQualifierValue typeQualifierValue, boolean isIdentity) {

    When sourceWhen = source.getWhen();


    if (typeQualifierValue.isStrictQualifier() && !isIdentity) {
        // strict checking
        return (backwardsFlowValue == ALWAYS && sourceWhen != When.ALWAYS)
                || (backwardsFlowValue == NEVER && sourceWhen != When.NEVER);
    } else {
        // NOT strict checking
        return (backwardsFlowValue == ALWAYS && (sourceWhen == When.NEVER || sourceWhen == When.MAYBE))
                || (backwardsFlowValue == NEVER && (sourceWhen == When.ALWAYS || sourceWhen == When.MAYBE));
    }
}
 

/**
 * Returns whether or not the client is logged in.
 *
 * @return whether or not the client is logged in.
 */
@CheckReturnValue(when = When.NEVER)
public boolean isLoggedIn() {
  authLock.readLock().lock();
  try {
    return activeUser != null && activeUser.isLoggedIn();
  } finally {
    authLock.readLock().unlock();
  }
}
 

@Override
public @Nonnull When forConstantValue(@Nonnull SlashedClassName annotation, Object value) {
    Thread t = new Thread() {
        @Override
        public void run() {
            System.out.println("bang");
        }
    };
    t.start();
    return When.NEVER;
}
 

public @Foo(when = When.NEVER)
Object returnsNotFoo() {
    return null;
}
 

public void requiresNotFoo(@Foo(when = When.NEVER) Object x) {
}
 

public @Foo(when = When.NEVER)
Object returnsNotFoo() {
    return null;
}
 

@ExpectWarning("TQ")
public void violate(@Foo(when = When.NEVER) Object x) {
    requiresFoo(x);
}
 

public @Foo(when = When.ALWAYS)
Object alwaysReturnFooParams1(@Foo(when = When.ALWAYS) Object alwaysParam, @Foo(when = When.NEVER) Object neverParam);
 

public @Foo(when = When.NEVER)
Object neverReturnFoo1();
 

@ExpectWarning("TQ")
public void report4(@ExhaustiveQualifier(value = ExhaustiveQualifier.Color.BLUE, when = When.NEVER) Object v) {
    // Sanity check - should see a warning here
    blueField = v;
}
 

public void requiresNotFoo(@Foo(when = When.NEVER) Object x) {
}
 

public void requiresNotFoo(@Foo(when = When.NEVER) Object x) {
}
 

public @Foo(when = When.NEVER)
Object returnsNotFoo() {
    return null;
}
 

public @Foo(when = When.NEVER)
Object returnsNotFoo() {
    return null;
}
 

@CheckReturnValue(when = When.NEVER)
public Bug2824716a append() {
    return this;
}
 

@CheckReturnValue(when = When.NEVER)
AuthInfo getAuthInfo() {
  return activeUserAuthInfo;
}
 

/**
 * Returns the next record.
 * Note that the reachedEnd() method must be called before.
 *
 * @return The next record.
 */
@CheckReturnValue(when = When.NEVER)
public T nextRecord() {
	readRecordReturned = true;
	return readRecord;
}
 

/**
 * A dummy method returning just a book with a constant string.
 * 
 * @param complexQuery
 *            Some dummy parameter which is not used in fact.
 * 
 * @return A new book.
 */
@CheckReturnValue(when = When.NEVER)
public Book getBook(final boolean complexQuery) {
	return new Book("Kieker 1.5 User Guide");
}
 

/**
 * Returns the next record.
 * Note that the reachedEnd() method must be called before.
 *
 * @return The next record.
 */
@CheckReturnValue(when = When.NEVER)
public T nextRecord() {
	readRecordReturned = true;
	return readRecord;
}
 

void paramNonnullNever (@Nonnull (when = When.NEVER) String s);