protected void genIrStatus ( List < IRStatus < PIR > > statuses , INode node ) throws AnalysisException { IRStatus < PIR > status = generator . generateFrom ( node ) ; if ( status != null ) { statuses . add ( status ) ; } }
This method translates a VDM node into an IR status .