Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  /*
   * fb-contrib - Auxiliary detectors for Java programs
   * Copyright (C) 2005-2015 Dave Brosius
   * 
   * This library is free software; you can redistribute it and/or
   * modify it under the terms of the GNU Lesser General Public
   * License as published by the Free Software Foundation; either
   * version 2.1 of the License, or (at your option) any later version.
   * 
  * This library is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  * Lesser General Public License for more details.
  * 
  * You should have received a copy of the GNU Lesser General Public
  * License along with this library; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 package com.mebigfatguy.fbcontrib.detect;
 
 import java.util.Map;
 
 
 
looks for class that implement Comparator or Comparable, and whose compare or compareTo methods return constant values only, but that don't represent the three possible choice (a negative number, 0, and a positive number).
 
 {
 	private static Map<JavaClassStringcompareClasses = new HashMap<JavaClassString>();
 	static {
 		try {
 			.put(Repository.lookupClass("java/lang/Comparable"), "compareTo:1:I");
 			.put(Repository.lookupClass("java/util/Comparator"), "compare:2:I");
 		} catch (ClassNotFoundException cnfe) {
 		}
 	}
 	
 	private OpcodeStack stack;
 	private final BugReporter bugReporter;
 	private String[] methodInfo;
 	private boolean indeterminate;
 	private boolean seenNegative;
 	private boolean seenPositive;
 	private boolean seenZero;


constructs a DRE detector given the reporter to report bugs on

Parameters:
bugReporter the sync of bug reports
 
 		this. = bugReporter;
 	}
 	
 	public void visitClassContext(ClassContext classContext) {
 		try {
 			JavaClass cls = classContext.getJavaClass();
 			for (Map.Entry<JavaClassStringentry : .entrySet()) {
 				if (cls.implementationOf(entry.getKey())) {
 					 = entry.getValue().split(":");
 					 = new OpcodeStack();
 					super.visitClassContext(classContext);
 					break;
 				}
 			}
 		} catch (ClassNotFoundException cnfe) {
 		} finally {
 			 = null;
 			 = null;
 		}
 	}
 	
 	public void visitCode(Code obj) {
 		String methodName = getMethodName();
 		String methodSig = getMethodSig();
 		if (methodName.equals([0])
 		&&  methodSig.endsWith([2])
 		&&  (Type.getArgumentTypes(methodSig).length == Integer.parseInt([1]))) {
 			 = false;
 			 = false;
			 = false;
			 = false;
			super.visitCode(obj);
			if (!) {
				boolean seenAll =  &  & ;
				if (!seenAll) {
								.addClass(this)
								.addMethod(this)
								.addSourceLine(this, 0));
				}
			}
		}
	}
	public void sawOpcode(int seen) {
		try {
				return;
	        .precomputation(this);
	        
			if (seen == ) {
				if (.getStackDepth() > 0) {
					Integer returnValue = (Integer)item.getConstant();
					if (returnValue == null)
						 = true;
					else {
						int v = returnValue.intValue();
						if (v < 0)
							 = true;
						else if (v > 0)
							 = true;
						else
							 = true;
					}
else
					 = true;
else if ((seen == ) || (seen == )) {
				if (.getStackDepth() > 0)
					 = true;
else if (seen == ) {
			    if (.getStackDepth() > 0) {
                    OpcodeStack.Item item = .getStackItem(0);
                    String exSig = item.getSignature();
                    if ("Ljava/lang/UnsupportedOperationException;".equals(exSig)) {
                         = true;
                    }
			    }
			}
finally {
			.sawOpcode(thisseen);
		}
	}
New to GrepCode? Check out our FAQ X