org.mutabilitydetector.checkers
Class SetterMethodChecker

java.lang.Object
  org.objectweb.asm.ClassVisitor
      org.mutabilitydetector.checkers.AsmMutabilityChecker
          org.mutabilitydetector.checkers.AbstractMutabilityChecker
              org.mutabilitydetector.checkers.SetterMethodChecker

public final class SetterMethodChecker
extends AbstractMutabilityChecker

This class checks, for each field, that there is no method available which can change the reference of the field. The check will pass iff there is no method available to change a reference for ANY field.

Author:

Graham Allan / Grundlefleck at gmail dot com

Field Summary

Fields inherited from class org.mutabilitydetector.checkers.AbstractMutabilityChecker

ownerClass, reasons

Fields inherited from class org.objectweb.asm.ClassVisitor

api, cv

Method Summary

static SetterMethodChecker	newSetterMethodChecker(PrivateMethodInvocationInformation privateMethodInvocationInfo, AsmVerifierFactory verifierFactory)
void	visit(int version, int access, String name, String signature, String superName, String[] interfaces)
org.objectweb.asm.MethodVisitor	visitMethod(int access, String name, String desc, String signature, String[] exceptions)

Methods inherited from class org.mutabilitydetector.checkers.AbstractMutabilityChecker

checkerResult, createResult, getCodeLocationForException, reasons, result, setResult, visitAnalysisException, visitAnnotation, visitAttribute, visitEnd, visitField, visitInnerClass, visitOuterClass, visitSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

newSetterMethodChecker

public static SetterMethodChecker newSetterMethodChecker(PrivateMethodInvocationInformation privateMethodInvocationInfo,
                                                         AsmVerifierFactory verifierFactory)

visit

public void visit(int version,
                  int access,
                  String name,
                  String signature,
                  String superName,
                  String[] interfaces)

Overrides:

visit in class AbstractMutabilityChecker

visitMethod

public org.objectweb.asm.MethodVisitor visitMethod(int access,
                                                   String name,
                                                   String desc,
                                                   String signature,
                                                   String[] exceptions)

Overrides:

visitMethod in class AbstractMutabilityChecker