| | |
| | |
|
| | | import java.util.Map.Entry;
|
| | |
|
| | | import org.apache.logging.log4j.LogManager;
|
| | | import org.apache.logging.log4j.Logger;
|
| | | import org.dom4j.Document;
|
| | | import org.dom4j.Element;
|
| | | import org.mozilla.javascript.Context;
|
| | |
| | |
|
| | | public class SMTQwenAgentJavascript extends SMTQwenAgent
|
| | | {
|
| | | private static Logger _logger = LogManager.getLogger(SMTQwenAgentJavascript.class);
|
| | |
|
| | | |
| | | protected String _prompt;
|
| | |
|
| | | @Override
|
| | |
| | | String jsCode = llm.callWithMessage(new String[] {_prompt}, question, tranReq).replace("\r", "");
|
| | | tranReq.traceLLMDebug(jsCode);
|
| | | jsCode = SMTStatic.convLLMAnswerToJavascript(jsCode);
|
| | | jsCode = "function ffffff(){" + jsCode + "};ffffff();";
|
| | | //String jsCode = "var arr = testRS(); var l = arr[0]; for(var i in arr){}";
|
| | |
|
| | | try(ASTDBMap dbMap = new ASTDBMap())
|
| | |
| | | }
|
| | | catch(Exception ex)
|
| | | {
|
| | | throw new Exception("execute js agent error : " + this.getAgentId(), ex);
|
| | | String[] lines = jsCode.replace("\r", "").split("\n");
|
| | | for(int i = 0; i < lines.length; i ++)
|
| | | {
|
| | | _logger.fatal(String.format("%04d %s", i + 1, lines[i]));
|
| | | }
|
| | | |
| | | throw new Exception("execute js agent error : " + this.getAgentId() + "\n" + SMTStatic.toString(ex));
|
| | | }
|
| | | }
|
| | | return null;
|