private EvaluatorException on_same_pair_fail(IdValuePair a, IdValuePair b) { int line1 = a.getLineNumber(), line2 = b.getLineNumber(); if (line2 > line1) { int tmp = line1; line1 = line2; line2 = tmp; } String error_text = ToolErrorReporter.getMessage( "msg.idswitch.same_string", a.id, new Integer(line2)); return R.runtimeError(error_text, source_file, line1, null, 0); }
private EvaluatorException on_same_pair_fail(IdValuePair a, IdValuePair b) { int line1 = a.getLineNumber(), line2 = b.getLineNumber(); if (line2 > line1) { int tmp = line1; line1 = line2; line2 = tmp; } String error_text = ToolErrorReporter.getMessage( "msg.idswitch.same_string", a.id, new Integer(line2)); return R.runtimeError(error_text, source_file, line1, null, 0); }
String text = ToolErrorReporter.getMessage( "msg.idswitch.bad_tag_order", tag_name(tag_id)); throw R.runtimeError (text, source_file, body.getLineNumber(), null, 0); String text = ToolErrorReporter.getMessage( "msg.idswitch.file_end_in_switch", tag_name(cur_state)); throw R.runtimeError (text, source_file, body.getLineNumber(), null, 0);
String text = ToolErrorReporter.getMessage( "msg.idswitch.bad_tag_order", tag_name(tag_id)); throw R.runtimeError (text, source_file, body.getLineNumber(), null, 0); String text = ToolErrorReporter.getMessage( "msg.idswitch.file_end_in_switch", tag_name(cur_state)); throw R.runtimeError (text, source_file, body.getLineNumber(), null, 0);
String s = ToolErrorReporter.getMessage( bad, tag_name(id)); throw R.runtimeError (s, source_file, body.getLineNumber(), null, 0);
String s = ToolErrorReporter.getMessage( bad, tag_name(id)); throw R.runtimeError (s, source_file, body.getLineNumber(), null, 0);