k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: <daparpon AT dsic.upv.es>
- To: k-user AT lists.cs.illinois.edu
- Subject: [[K-user] ] Calling K from external application
- Date: Mon, 20 Feb 2017 03:05:21 -0600
Hi! I am wondering if there is any way to call the K tool from the source code
of an external program, say for instance in Java, and retrieve the results in
a more structured way than just plain text.
For example, I am implementing a Java application that aims to call Krun on
some provided input, and process the results returned by Krun to further
operate with them. The application currently performs this communication by
calling the command line, redirecting the standard output to a buffer and
processing the output returned from plain text, but obviously this is
extremely slow and I would like to optimize it.
I would highly appreciate any help you can give me in this direction. I could
even change the programming language of my application from Java to another,
if necessary.
Thanks in advance,
Daniel
- [[K-user] ] Calling K from external application, daparpon, 02/20/2017
- RE: [[K-user] ] Calling K from external application, Zhang, Yi, 02/20/2017
Archive powered by MHonArc 2.6.19.