本文整理汇总了Java中edu.umd.cs.findbugs.ba.XMethod.isSynthetic方法的典型用法代码示例。如果您正苦于以下问题:Java XMethod.isSynthetic方法的具体用法?Java XMethod.isSynthetic怎么用?Java XMethod.isSynthetic使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类edu.umd.cs.findbugs.ba.XMethod
的用法示例。
在下文中一共展示了XMethod.isSynthetic方法的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: addClassAndMethod
import edu.umd.cs.findbugs.ba.XMethod; //导入方法依赖的package包/类
/**
* Add a class annotation and a method annotation for the class and method
* which the given visitor is currently visiting.
*
* @param visitor
* the BetterVisitor
* @return this object
*/
@Nonnull
public BugInstance addClassAndMethod(PreorderVisitor visitor) {
addClass(visitor);
XMethod m = visitor.getXMethod();
addMethod(visitor);
if (m.isSynthetic())
foundInSyntheticMethod();
return this;
}
示例2: analyzeMethod
import edu.umd.cs.findbugs.ba.XMethod; //导入方法依赖的package包/类
private void analyzeMethod(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {
if (method.isSynthetic() || (method.getAccessFlags() & Constants.ACC_BRIDGE) == Constants.ACC_BRIDGE)
return;
CFG cfg = classContext.getCFG(method);
ConstantPoolGen cpg = classContext.getConstantPoolGen();
TypeDataflow typeDataflow = classContext.getTypeDataflow(method);
for (Iterator<BasicBlock> i = cfg.blockIterator(); i.hasNext();) {
BasicBlock basicBlock = i.next();
// Check if it's a method invocation.
if (!basicBlock.isExceptionThrower())
continue;
InstructionHandle thrower = basicBlock.getExceptionThrower();
Instruction ins = thrower.getInstruction();
if (!(ins instanceof InvokeInstruction))
continue;
InvokeInstruction inv = (InvokeInstruction) ins;
boolean foundThrower = false;
boolean foundNonThrower = false;
if (inv instanceof INVOKEINTERFACE)
continue;
String className = inv.getClassName(cpg);
Location loc = new Location(thrower, basicBlock);
TypeFrame typeFrame = typeDataflow.getFactAtLocation(loc);
XMethod primaryXMethod = XFactory.createXMethod(inv, cpg);
// if (primaryXMethod.isAbstract()) continue;
Set<XMethod> targetSet = null;
try {
if (className.startsWith("["))
continue;
String methodSig = inv.getSignature(cpg);
if (!methodSig.endsWith("V"))
continue;
targetSet = Hierarchy2.resolveMethodCallTargets(inv, typeFrame, cpg);
for (XMethod xMethod : targetSet) {
if (DEBUG)
System.out.println("\tFound " + xMethod);
boolean isUnconditionalThrower = xMethod.isUnconditionalThrower() && !xMethod.isUnsupported()
&& !xMethod.isSynthetic();
if (isUnconditionalThrower) {
foundThrower = true;
if (DEBUG)
System.out.println("Found thrower");
} else {
foundNonThrower = true;
if (DEBUG)
System.out.println("Found non thrower");
}
}
} catch (ClassNotFoundException e) {
analysisContext.getLookupFailureCallback().reportMissingClass(e);
}
boolean newResult = foundThrower && !foundNonThrower;
if (newResult)
bugReporter.reportBug(new BugInstance(this, "TESTING", Priorities.NORMAL_PRIORITY)
.addClassAndMethod(classContext.getJavaClass(), method)
.addString("Call to method that always throws Exception").addMethod(primaryXMethod)
.describe(MethodAnnotation.METHOD_CALLED).addSourceLine(classContext, method, loc));
}
}
示例3: sawOpcode
import edu.umd.cs.findbugs.ba.XMethod; //导入方法依赖的package包/类
@Override
public void sawOpcode(int seen) {
// System.out.printf("%3d : %s%n", getPC(), OPCODE_NAMES[seen]);
if (seen != INVOKEVIRTUAL) {
return;
}
if (!getClassName().equals(getClassConstantOperand())) {
return;
}
XMethod invokedMethod = XFactory.createXMethod(getDottedClassConstantOperand(), getNameConstantOperand(),
getSigConstantOperand(), false);
if (invokedMethod.isResolved() && invokedMethod.getClassName().equals(getDottedClassConstantOperand())
|| invokedMethod.isSynthetic()) {
return;
}
// method is inherited
String possibleTargetClass = getDottedClassName();
String superClassName = getDottedSuperclassName();
while (true) {
int i = possibleTargetClass.lastIndexOf('$');
if (i <= 0) {
break;
}
possibleTargetClass = possibleTargetClass.substring(0, i);
if (possibleTargetClass.equals(superClassName)) {
break;
}
XMethod alternativeMethod = XFactory.createXMethod(possibleTargetClass, getNameConstantOperand(),
getSigConstantOperand(), false);
if (alternativeMethod.isResolved() && alternativeMethod.getClassName().equals(possibleTargetClass)) {
String targetPackage = invokedMethod.getPackageName();
String alternativePackage = alternativeMethod.getPackageName();
int priority = HIGH_PRIORITY;
if (targetPackage.equals(alternativePackage)) {
priority++;
}
if (targetPackage.startsWith("javax.swing") || targetPackage.startsWith("java.awt")) {
priority += 2;
}
if (invokedMethod.getName().equals(getMethodName())) {
priority++;
}
// System.out.println("Found it");
bugAccumulator.accumulateBug(
new BugInstance(this, "IA_AMBIGUOUS_INVOCATION_OF_INHERITED_OR_OUTER_METHOD", priority)
.addClassAndMethod(this).addMethod(invokedMethod).describe("METHOD_INHERITED")
.addMethod(alternativeMethod).describe("METHOD_ALTERNATIVE_TARGET"), this);
break;
}
}
}
开发者ID:OpenNTF,项目名称:FindBug-for-Domino-Designer,代码行数:54,代码来源:ConfusionBetweenInheritedAndOuterMethod.java
示例4: analyzeMethod
import edu.umd.cs.findbugs.ba.XMethod; //导入方法依赖的package包/类
private void analyzeMethod(ClassContext classContext, Method method) throws CFGBuilderException, DataflowAnalysisException {
if (BCELUtil.isSynthetic(method) || (method.getAccessFlags() & Constants.ACC_BRIDGE) == Constants.ACC_BRIDGE)
return;
CFG cfg = classContext.getCFG(method);
ConstantPoolGen cpg = classContext.getConstantPoolGen();
TypeDataflow typeDataflow = classContext.getTypeDataflow(method);
for (Iterator<BasicBlock> i = cfg.blockIterator(); i.hasNext();) {
BasicBlock basicBlock = i.next();
// Check if it's a method invocation.
if (!basicBlock.isExceptionThrower())
continue;
InstructionHandle thrower = basicBlock.getExceptionThrower();
Instruction ins = thrower.getInstruction();
if (!(ins instanceof InvokeInstruction))
continue;
InvokeInstruction inv = (InvokeInstruction) ins;
boolean foundThrower = false;
boolean foundNonThrower = false;
if (inv instanceof INVOKEINTERFACE)
continue;
String className = inv.getClassName(cpg);
Location loc = new Location(thrower, basicBlock);
TypeFrame typeFrame = typeDataflow.getFactAtLocation(loc);
XMethod primaryXMethod = XFactory.createXMethod(inv, cpg);
// if (primaryXMethod.isAbstract()) continue;
Set<XMethod> targetSet = null;
try {
if (className.startsWith("["))
continue;
String methodSig = inv.getSignature(cpg);
if (!methodSig.endsWith("V"))
continue;
targetSet = Hierarchy2.resolveMethodCallTargets(inv, typeFrame, cpg);
for (XMethod xMethod : targetSet) {
if (DEBUG)
System.out.println("\tFound " + xMethod);
boolean isUnconditionalThrower = xMethod.isUnconditionalThrower() && !xMethod.isUnsupported()
&& !xMethod.isSynthetic();
if (isUnconditionalThrower) {
foundThrower = true;
if (DEBUG)
System.out.println("Found thrower");
} else {
foundNonThrower = true;
if (DEBUG)
System.out.println("Found non thrower");
}
}
} catch (ClassNotFoundException e) {
analysisContext.getLookupFailureCallback().reportMissingClass(e);
}
boolean newResult = foundThrower && !foundNonThrower;
if (newResult)
bugReporter.reportBug(new BugInstance(this, "TESTING", Priorities.NORMAL_PRIORITY)
.addClassAndMethod(classContext.getJavaClass(), method)
.addString("Call to method that always throws Exception").addMethod(primaryXMethod)
.describe(MethodAnnotation.METHOD_CALLED).addSourceLine(classContext, method, loc));
}
}