Unverified Commit d840c674 authored by Jeno Attila Balasko's avatar Jeno Attila Balasko Committed by GitHub
Browse files

Merge pull request #599 from izaingrid/master

refactor MainController
parents 4f03be25 d14b8ae5
......@@ -1846,7 +1846,7 @@ public class MainController {
new_ptc.verdict_reason = null;
new_ptc.socket = null;
new_ptc.text_buf = null;
// FIXME init_qualified_name
new_ptc.tc_fn_name = new QualifiedName("", "");
new_ptc.return_type = null;
new_ptc.return_value = null;
new_ptc.is_alive = (isAlive == 1);
......@@ -5745,6 +5745,9 @@ public class MainController {
}
mtc.local_verdict = VerdictTypeEnum.NONE;
mtc.comp_type = new QualifiedName("", "");
mtc.tc_fn_name = new QualifiedName("", "");
system.comp_type = new QualifiedName("", "");
}
private void send_ptc_verdict(final boolean continue_execution) {
......
Markdown is supported
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