protected final void verify ( ) { collectInitialisers ( ) ; verifyCandidates ( ) ; verifyInitialisers ( ) ; collectPossibleInitialValues ( ) ; verifyPossibleInitialValues ( ) ; collectEffectiveAssignmentInstructions ( ) ; verifyEffectiveAssignmentInstructions ( ) ; collectAssignmentGuards ( ) ; verifyAssignmentGuards ( ) ; end ( ) ; }
Template method for verification of lazy initialisation .