protected void warning ( int no , String msg , ILexLocation location ) { VDMWarning vdmwarning = new VDMWarning ( no , msg , location ) ; warnings . add ( vdmwarning ) ; if ( warnings . size ( ) >= MAX - 1 ) { errors . add ( new VDMError ( 9 , "Too many warnings" , location ) ) ; throw new InternalException ( 9 , "Too many warnings" ) ; } }
Report a warning . Unlike errors this does no token recovery .