Commit 7601598a authored by Sarah Grebing's avatar Sarah Grebing
Browse files

documentation

parent 5d51a439
Pipeline #18659 failed with stages
in 2 minutes and 16 seconds
...@@ -321,11 +321,23 @@ public class Utils { ...@@ -321,11 +321,23 @@ public class Utils {
System.err.println(s); System.err.println(s);
} }
/**
* Prints a KeY-parsable String representation of a term
* @param term to print
* @param goal containing namespaces
* @return
*/
public static String printParsableTerm(Term term, Goal goal){ public static String printParsableTerm(Term term, Goal goal){
Services services = goal.proof().getInitConfig().getServices(); Services services = goal.proof().getInitConfig().getServices();
return printParsableTerm(term, services); return printParsableTerm(term, services);
} }
/**
* Prints a KeY-parsable String representation of a term
* @param term to print
* @param services object containing namespaces
* @return
*/
public static String printParsableTerm(Term term, Services services) { public static String printParsableTerm(Term term, Services services) {
NotationInfo ni = new NotationInfo(); NotationInfo ni = new NotationInfo();
......
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