1 package it.unical.mat.embasp.languages.asp;
3 import it.unical.mat.embasp.languages.Mapper;
4 import it.unical.mat.parsers.asp.ASPParser;
5 import java.util.HashMap;
25 protected String getActualString(
final String predicate,
final HashMap<Integer, Object> parametersMap)
throws IllegalTermException {
26 if (parametersMap.isEmpty())
29 String atom = predicate +
"(";
30 for (
int i = 0; i < parametersMap.size(); i++) {
33 final Object objectTerm = parametersMap.get(i);
34 if (objectTerm ==
null)
36 if (objectTerm instanceof Integer)
37 atom += objectTerm +
"";
39 atom += objectTerm.toString() +
"";
41 atom +=
"\"" + objectTerm.toString() +
"\"";
49 protected String
getId(
final String atom) {
50 final int openBracketIndex = atom.indexOf(
"(");
52 if(openBracketIndex == -1)
55 return atom.substring(0, openBracketIndex);
59 protected String[]
getParam(
final String atom) {
60 return ASPParser.parse(atom).getParameters();