public void handleTranslation(TranslationEvent event) {
		// TODO Auto-generated method stub
		BreezeObject obj = event.targetObject;
		if (!(obj instanceof BreezeNode))
			return;
		BreezeNode node = (BreezeNode) obj;
		StringBuilder sb = event.translationBuffer;
		BaseSMVSourceFormatter formatter = event.formatter;
		if (node == null || sb == null || formatter == null)
			return;
		List<BreezeMode> modeList = node.getModeList();
		for (BreezeMode bm : modeList) {
			if (!BreezeMode.TYPE_NORMAL.equals(bm.getType()))
				continue;
			String row = ltlspecTemplate.replaceAll("\\$\\{modeName\\}", SMVElement.DECL_MODE_NAME).replaceAll(
					"\\$\\{modeValue\\}", bm.getSmvName());
			sb.append(formatter.format(row, true, 2));
		}
		sb.append(SMVElement.NEWLINE);
	}