Commit b6505144 authored by LotfiMed's avatar LotfiMed
Browse files

Fixed bug with trace parsing

parent b0e2ee54
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry exported="true" kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="src" path="jars/jfreechart-1.0.1/source"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="lib" path="engines/SRT-BIP/bipc-2017.10.155023-DEV/lib/acceleo.standalone.compiler_1.0-20171023145031.jar"/>
......
......@@ -54,8 +54,7 @@ public class TestFormulaModel {
long startTime = System.currentTimeMillis();
test8();
testTraceParser();
// testSimulator();
// testImportanceSplitting();
......@@ -67,6 +66,15 @@ public class TestFormulaModel {
}
public static void testTraceParser(){
Utilities u = new Utilities();
Trace trace = u.transformBip2("trace_1000.t");
System.out.println(trace);
}
// public static void test18(){
// /** Building a test trace */
// ArrayList<StateVariable> sv0 = new ArrayList<>();
......
......@@ -241,9 +241,14 @@ public class Utilities {
convertUnit = 60000000000.0;
break;
case "hrs":
case "hr":
convertUnit = 3600000000000.0;
break;
case "day":
convertUnit = 24*3600000000000.0;
break;
default:
convertUnit = 1.0;
......
......@@ -50,7 +50,7 @@ public class UserInterface extends JFrame implements WindowListener{
private int initialTextSize;
private ComponentListener resizeListener;
private JToolBar toolBar;
private static String version = "2.2.4";
private static String version = "2.2.5";
public TabbedPane getTabbedPane() {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment