public void abortTranslation(PascalErrorCode errorCode, Parser parser)
{
String fatalText = "FATAL ERROR: " + errorCode.ToString();
parser.sendMessage(new Message(MessageType.SYNTAX_ERROR, new Object[] { 0, 0, "", fatalText }));
Environment.Exit(errorCode.status);
}