org.mutabilitydetector.checkers.settermethod

Class SetterMethodChecker

java.lang.Object

org.objectweb.asm.ClassVisitor

org.mutabilitydetector.asmoverride.AsmClassVisitor

org.mutabilitydetector.checkers.AsmMutabilityChecker

org.mutabilitydetector.checkers.settermethod.SetterMethodChecker

@NotThreadSafe
public final class SetterMethodChecker
extends AsmMutabilityChecker

Version:

13.03.2013

Author:

Juergen Fickel ([email protected])

Field Summary

Fields

Modifier and Type	Field and Description
protected org.mutabilitydetector.checkers.settermethod.CandidatesInitialisersMapping	candidatesInitialisersMapping

Fields inherited from class org.mutabilitydetector.checkers.AsmMutabilityChecker

reasons

Fields inherited from class org.mutabilitydetector.asmoverride.AsmClassVisitor

ownerClass

Fields inherited from class org.objectweb.asm.ClassVisitor

api, cv

Method Summary

Modifier and Type	Method and Description
void	accept(org.objectweb.asm.ClassVisitor cv)
protected void	collectAssignmentGuards()
protected void	collectEffectiveAssignmentInstructions()
protected void	collectInitialisers()
protected void	collectPossibleInitialValues()
protected void	end()
protected org.mutabilitydetector.checkers.settermethod.EnhancedClassNode	getEnhancedClassNode()
static AsmMutabilityChecker	newInstance()
static AsmMutabilityChecker	newInstance(PrivateMethodInvocationInformation privateMethodInvocationInfo)
protected void	setResultForClass(String message, Reason reason)
String	toString()
protected void	verify() Template method for verification of lazy initialisation.
protected void	verifyAssignmentGuards()
protected void	verifyCandidates()
protected void	verifyEffectiveAssignmentInstructions()
protected void	verifyInitialisers()
protected void	verifyPossibleInitialValues()
void	visit(int version, int access, String name, String signature, String superName, String[] interfaces)
org.objectweb.asm.AnnotationVisitor	visitAnnotation(String desc, boolean visible)
void	visitAttribute(org.objectweb.asm.Attribute attr)
void	visitEnd()
org.objectweb.asm.FieldVisitor	visitField(int access, String name, String desc, String signature, Object value)
void	visitInnerClass(String name, String outerName, String innerName, int access)
org.objectweb.asm.MethodVisitor	visitMethod(int access, String name, String desc, String signature, String[] exceptions)
void	visitOuterClass(String owner, String name, String desc)
void	visitSource(String file, String debug)

Methods inherited from class org.mutabilitydetector.checkers.AsmMutabilityChecker

checkerResult, createReasonDetail, ownerClass, setResult

Methods inherited from class org.objectweb.asm.ClassVisitor

visitModule, visitNestHost, visitNestMember, visitPermittedSubclass, visitRecordComponent, visitTypeAnnotation

Methods inherited from class java.lang.Object

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

Field Detail

candidatesInitialisersMapping

protected org.mutabilitydetector.checkers.settermethod.CandidatesInitialisersMapping candidatesInitialisersMapping

Method Detail

newInstance

public static AsmMutabilityChecker newInstance()

newInstance

public static AsmMutabilityChecker newInstance(PrivateMethodInvocationInformation privateMethodInvocationInfo)

collectInitialisers

protected void collectInitialisers()

verifyCandidates

protected void verifyCandidates()

verifyInitialisers

protected void verifyInitialisers()

collectPossibleInitialValues

protected void collectPossibleInitialValues()

verifyPossibleInitialValues

protected void verifyPossibleInitialValues()

collectEffectiveAssignmentInstructions

protected void collectEffectiveAssignmentInstructions()

verifyEffectiveAssignmentInstructions

protected void verifyEffectiveAssignmentInstructions()

collectAssignmentGuards

protected void collectAssignmentGuards()

verifyAssignmentGuards

protected void verifyAssignmentGuards()

toString

public String toString()

accept

public final void accept(org.objectweb.asm.ClassVisitor cv)

visit

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

Overrides:

visit in class AsmMutabilityChecker

visitSource

public final void visitSource(String file,
                              String debug)

Overrides:

visitSource in class AsmMutabilityChecker

visitOuterClass

public final void visitOuterClass(String owner,
                                  String name,
                                  String desc)

Overrides:

visitOuterClass in class AsmMutabilityChecker

visitAnnotation

public final org.objectweb.asm.AnnotationVisitor visitAnnotation(String desc,
                                                                 boolean visible)

Overrides:

visitAnnotation in class AsmMutabilityChecker

visitAttribute

public final void visitAttribute(org.objectweb.asm.Attribute attr)

Overrides:

visitAttribute in class AsmMutabilityChecker

visitInnerClass

public final void visitInnerClass(String name,
                                  String outerName,
                                  String innerName,
                                  int access)

Overrides:

visitInnerClass in class AsmMutabilityChecker

visitField

public final org.objectweb.asm.FieldVisitor visitField(int access,
                                                       String name,
                                                       String desc,
                                                       String signature,
                                                       Object value)

Overrides:

visitField in class AsmMutabilityChecker

visitMethod

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

Overrides:

visitMethod in class AsmMutabilityChecker

visitEnd

public final void visitEnd()

Overrides:

visitEnd in class AsmMutabilityChecker

verify

protected final void verify()

Template method for verification of lazy initialisation.

end

protected void end()

getEnhancedClassNode

protected final org.mutabilitydetector.checkers.settermethod.EnhancedClassNode getEnhancedClassNode()

setResultForClass

protected void setResultForClass(String message,
                                 Reason reason)