X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.message.ui%2Fsrc%2Forg%2Fsimantics%2Fmessage%2Fui%2FLogSession.java;fp=bundles%2Forg.simantics.message.ui%2Fsrc%2Forg%2Fsimantics%2Fmessage%2Fui%2FLogSession.java;h=769f7aa89baaa72855f753bc4ea786c5540f8d19;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.message.ui/src/org/simantics/message/ui/LogSession.java b/bundles/org.simantics.message.ui/src/org/simantics/message/ui/LogSession.java
new file mode 100644
index 000000000..769f7aa89
--- /dev/null
+++ b/bundles/org.simantics.message.ui/src/org/simantics/message/ui/LogSession.java
@@ -0,0 +1,64 @@
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.message.ui;
+
+import com.ibm.icu.text.SimpleDateFormat;
+import java.io.PrintWriter;
+import java.text.ParseException;
+import java.util.Date;
+
+/**
+ * Group of entries with additional Session data.
+ */
+public class LogSession extends Group {
+	private String sessionData;
+	private Date date;
+
+	public LogSession() {
+		super(Messages.LogViewLabelProvider_Session);
+	}
+
+	public Date getDate() {
+		return date;
+	}
+
+	public void setDate(String dateString) {
+		SimpleDateFormat formatter = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss.SSS"); //$NON-NLS-1$
+		try {
+			date = formatter.parse(dateString);
+		} catch (ParseException e) { // do nothing
+		}
+	}
+
+	public String getSessionData() {
+		return sessionData;
+	}
+
+	void setSessionData(String data) {
+		this.sessionData = data;
+	}
+
+	public void processLogLine(String line) {
+		// process "!SESSION <dateUnknownFormat> ----------------------------"
+		line = line.substring(9); // strip "!SESSION "
+		int delim = line.indexOf("----"); //$NON-NLS-1$ // single "-" may be in date, so take few for sure
+		if (delim == -1)
+			return;
+
+		String dateBuffer = line.substring(0, delim).trim();
+		setDate(dateBuffer);
+	}
+
+	public void write(PrintWriter writer) {
+		writer.write(sessionData);
+	}
+}