https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-04-30T14:15:09ZOpen-Source ProjectsRetrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230372015-04-30T14:15:09ZIgor Melnichenkosuomi-47@ya.ru
<ul><li><strong>Tracker</strong> changed from <i>Bug</i> to <i>Task</i></li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230482015-05-05T08:30:30ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Open</i></li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230512015-05-05T12:08:33ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li></ul><p>I have the following code in my CgaaEfsmTransformer component:</p>
<pre>
efsm.addState(Efsm.PREINITIAL_STATE);
efsm.createTransition(Efsm.PREINITIAL_STATE, initState, getInitTransition());
</pre>
<p>What should I do with it now? I've found the similar <code>Efsm.UNINITIALIZED_STATE</code> field, but this state is unused now.</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230522015-05-05T12:35:21ZIgor Melnichenkosuomi-47@ya.ru
<ul></ul><p>Sergey Smolov wrote:</p>
<blockquote>
<p>I have the following code in my CgaaEfsmTransformer component:</p>
<p>[...]</p>
<p>What should I do with it now? I've found the similar <code>Efsm.UNINITIALIZED_STATE</code> field, but this state is unused now.</p>
</blockquote>
<p>Please refer to our correspondence of April 9th.<br />Uninitialised state must be used in an EFSM (as an initial state) only if state variables are initially uninitialised (as in default case of Verilog). In other cases initial state must be chosen from the set of EFSM states on the basis of initial values of state variables.</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230542015-05-05T17:27:29ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=230672015-05-06T14:02:15ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Done in r2019, hierarchical-efsm branch.</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234182015-06-07T18:54:25ZIgor Melnichenkosuomi-47@ya.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul><p>The exception during sample.vhd EFSM creation (all variables must be declared before expression processing):</p>
<p>ERROR: The exception has been encountered: java.lang.IllegalArgumentException: There is no declaration of variable STATE neither in this EFSM nor in its parent<br /> at ru.ispras.retrascope.model.efsm.Efsm.processAddedExpression(Efsm.java:852)<br /> at ru.ispras.retrascope.model.efsm.Efsm.addState(Efsm.java:121)<br /> at ru.ispras.retrascope.model.efsm.Efsm.createState(Efsm.java:105)<br /> at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.addStates(CgaaEfsmTransformer.java:551)<br /> at ru.ispras.retrascope.engine.cgaa.transformer.efsm.CgaaEfsmTransformer.getOutput(CgaaEfsmTransformer.java:251)<br /> at ru.ispras.retrascope.engine.cfg.CfgEngine.start(CfgEngine.java:121)<br /> at ru.ispras.retrascope.basis.Engine.start(Engine.java:201)<br /> at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:111)<br /> at ru.ispras.retrascope.basis.Engine.start(Engine.java:201)<br /> at ru.ispras.retrascope.Retrascope$ToolRun.start(Retrascope.java:194)<br /> at ru.ispras.retrascope.Retrascope.main(Retrascope.java:366)<br /> at ru.ispras.retrascope.Retrascope.main(Retrascope.java:383)<br /> at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:157)<br /> at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:77)<br /> at ru.ispras.retrascope.util.HdlUtilTest.runVhdl(HdlUtilTest.java:97)<br /> at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGeneratorVhdlTestCase.generate(EfsmTestGeneratorVhdlTestCase.java:33)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)<br /> at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)<br /> at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)<br /> at java.lang.reflect.Method.invoke(Method.java:497)<br /> at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:44)<br /> at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:15)<br /> at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:41)<br /> at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:20)<br /> at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:76)<br /> at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)<br /> at org.junit.runners.ParentRunner$3.run(ParentRunner.java:193)<br /> at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:52)<br /> at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:191)<br /> at org.junit.runners.ParentRunner.access$000(ParentRunner.java:42)<br /> at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:184)<br /> at org.junit.runners.ParentRunner.run(ParentRunner.java:236)<br /> at org.eclipse.jdt.internal.junit4.runner.JUnit4TestReference.run(JUnit4TestReference.java:50)<br /> at org.eclipse.jdt.internal.junit.runner.TestExecution.run(TestExecution.java:38)<br /> at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:459)<br /> at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.runTests(RemoteTestRunner.java:675)<br /> at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.run(RemoteTestRunner.java:382)<br /> at org.eclipse.jdt.internal.junit.runner.RemoteTestRunner.main(RemoteTestRunner.java:192)</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234402015-06-14T09:39:38ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>File</strong> <i>compile-log.txt</i> added</li><li><strong>Status</strong> changed from <i>Open</i> to <i>Feedback</i></li><li><strong>% Done</strong> changed from <i>100</i> to <i>0</i></li></ul><p>I've tried to compile hierarchical-efsm branch and I've got almost 100 compilation errors.</p>
<p>Have you committed all the new source files (for example, the compiler complains about the absence of ProcessSimulationSnapshot class)?</p>
<p>I've attached the compiler log to the ticket (see compiler-log.txt).</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234762015-06-16T22:05:05ZIgor Melnichenkosuomi-47@ya.ru
<ul></ul><p>Oops. I've just commited a version without compilation errors in my classes but there are still some unupdated classes related to <a class="external" href="http://forge.ispras.ru/issues/5889">http://forge.ispras.ru/issues/5889</a></p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234892015-06-17T19:06:40ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>File</strong> deleted (<del><i>compile-log.txt</i></del>)</li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234902015-06-17T19:07:21ZSergey Smolovsmolov@ispras.ru
<ul></ul><p>I still have compilation errors:</p>
<pre>
compile.java:
[mkdir] Created dir: D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\bin\classes
[javac] Compiling 189 source files to D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\bin\classes
[javac] D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\src\main\java\ru\ispras\retrascope\engine\efsm\extractor\conflict\jaxb\JaxbEfsmAdapter.ja
va:19: error: cannot find symbol
[javac] import ru.ispras.retrascope.model.basis.Model;
[javac] ^
[javac] symbol: class Model
[javac] location: package ru.ispras.retrascope.model.basis
[javac] D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\src\main\java\ru\ispras\retrascope\engine\efsm\extractor\conflict\EfsmConflictExtractor.j
ava:106: error: cannot find symbol
[javac] List<Efsm> efsmList = efsmModel.getEfsmList();
[javac] ^
[javac] symbol: method getEfsmList()
[javac] location: variable efsmModel of type EfsmModel
[javac] D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\src\main\java\ru\ispras\retrascope\engine\efsm\extractor\conflict\EfsmConflictExtractor.j
ava:193: error: cannot find symbol
[javac] Efsm product = Efsm.product(efsmList.get(i), efsmList.get(j));
[javac] ^
[javac] symbol: method product(Efsm,Efsm)
[javac] location: class Efsm
[javac] D:\Bot\projects\retrascope.svn\branches\hierarchical-efsm\retrascope\src\main\java\ru\ispras\retrascope\engine\efsm\extractor\conflict\jaxb\JaxbEfsmAdapter.ja
va:42: error: constructor Efsm in class Efsm cannot be applied to given types;
[javac] return new Efsm(string);
[javac] ^
[javac] required: EfsmModule,String
[javac] found: String
[javac] reason: actual and formal argument lists differ in length
[javac] 4 errors
</pre> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=234922015-06-17T23:02:06ZIgor Melnichenkosuomi-47@ya.ru
<ul></ul><p>Yes, it is the classes I talked about. Their functionality relates to conflict extraction and the <a class="external" href="http://forge.ispras.ru/issues/5889">http://forge.ispras.ru/issues/5889</a> task.</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=237292015-07-01T09:27:45ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Feedback</i> to <i>Open</i></li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=243582015-09-17T11:33:54ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Done in r2343</p> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=244142015-09-28T13:12:54ZIgor Melnichenkosuomi-47@ya.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Retrascope - Task #5891: New EFSM structure support in CgaaEfsmTransformerhttps://forge.ispras.ru/issues/5891?journal_id=256632016-03-11T13:02:12ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>0.2.1</i></li></ul>