( String msg )
| 838 | } |
| 839 | |
| 840 | void classMapping( String msg ) { |
| 841 | if ( mappingFeedbackListener != null ) { |
| 842 | mappingFeedbackListener.classMapping( msg ); |
| 843 | } else |
| 844 | System.err.println( "Mapping: "+msg ); |
| 845 | } |
| 846 | |
| 847 | void errorWhileMapping( String s ) { |
| 848 | if ( mappingFeedbackListener != null ) |
no test coverage detected