&& nameConstant.equals("available") && sigConstant.equals("()I")
&& getNameConstantOperand().equals("available") && getSigConstantOperand().equals("()I")
    public void sawOpcode(int seen) {	if ((seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		&& nameConstant.equals("available")		&& sigConstant.equals("()I")	    || (seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		&& nameConstant.startsWith("get")		&& nameConstant.endsWith("Length")		&& sigConstant.equals("()I")	    || (seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		&& classConstant.equals("java/io/File")		&& nameConstant.equals("length")		&& sigConstant.equals("()J"))   {		sawAvailable = 70;		return;		}	sawAvailable--;	if ((seen == INVOKEVIRTUAL || seen == INVOKEINTERFACE)		&& !classConstant.equals("ByteArrayInputStream")		&& nameConstant.equals("read")		&& (sigConstant.startsWith("([B")		   || sigConstant.startsWith("([C"))		&& sawAvailable <= 0)   {		/*		System.out.println("Saw invocation of "			+ nameConstant + "("			+sigConstant			+")");		*/		sawRead = true;		readPC = PC;		return;		}	if (seen == POP && sawRead)  {		bugReporter.reportBug(new BugInstance("RR_NOT_CHECKED", NORMAL_PRIORITY)			.addClassAndMethod(this)			.addCalledMethod(this)			.addSourceLine(this, readPC));		}	sawRead = false;	}