if (seen == PUTFIELD  && getClassConstantOperand().equals(className)) initializedFields.add(getRefConstantOperand());
         public void sawOpcode(int seen) {		switch (state) {		case 0:			if (seen == ALOAD_0)				state = 1;			break;		case 1:			if (seen == ALOAD_0)				state = 2;			else				state = 0;			break;		case 2:			if (seen == GETFIELD) {				state = 3;				f = getRefConstantOperand();				className = getClassConstantOperand();			} else				state = 0;			break;		case 3:			if (seen == PUTFIELD && getRefConstantOperand().equals(f) && getClassConstantOperand().equals(className)) {				bugReporter.reportBug(new BugInstance(this, "SA_FIELD_SELF_ASSIGNMENT", 							getMethodName().equals("<init>") ? HIGH_PRIORITY : NORMAL_PRIORITY)				        .addClassAndMethod(this)				        .addReferencedField(this)				        .addSourceLine(this));			}			state = 0;		}	}