( String s )
| 845 | } |
| 846 | |
| 847 | void errorWhileMapping( String s ) { |
| 848 | if ( mappingFeedbackListener != null ) |
| 849 | mappingFeedbackListener.errorWhileMapping( s ); |
| 850 | else |
| 851 | System.err.println( s ); |
| 852 | } |
| 853 | |
| 854 | void endClassMapping() { |
| 855 | if ( mappingFeedbackListener != null ) |
no test coverage detected