code: 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");
  		}
  	}
docs: Report a warning. Unlike errors, this does no token recovery.