protected boolean shouldGenerateVdmNode ( INode vdmNode ) { DeclAssistantIR declAssistant = getInfo ( ) . getDeclAssistant ( ) ; if ( declAssistant . isLibrary ( vdmNode ) ) { return false ; } else { return true ; } }
Determines whether a VDM module or class should be code generated or not .