@Override
	public String transalte(BaseSMVSourceFormatter formatter) {
		// TODO Auto-generated method stub
		if (translation == null) {
			File file = new File("./resource/rand.smv");
			FileInputStream is = null;
			try {
				is = new FileInputStream(file);
				byte[] buf = new byte[1024];
				StringBuilder sb = new StringBuilder();
				int length = 0;
				while ((length = is.read(buf)) > 0) {
					sb.append(new String(buf, 0, length));
				}
				translation = sb.toString();
			} catch (FileNotFoundException e) {
				// TODO Auto-generated catch block
				e.printStackTrace();
			} catch (IOException e) {
				// TODO Auto-generated catch block
				e.printStackTrace();
			} finally {
				try {
					is.close();
				} catch (IOException e) {
					// TODO Auto-generated catch block
					e.printStackTrace();
				}
			}

		}
		return translation;
	}