@Override
public String generate(Object argument) throws JetException {
final StringBuffer stringBuffer = new StringBuffer();
final Logger log = Logger.getLogger(ProperCompletionWeakTemplate.class);
if (!(argument instanceof IProperties)) {
final String error = "L'argument passé au template Jet n'est pas une IProperties.";
log.error(error);
throw new JetException(error);
}
IProperties property = (IProperties) argument;
final String predicatName = property.getString("predicatName");
stringBuffer.append(TEXT_1);
stringBuffer.append(predicatName);
stringBuffer.append(TEXT_2);
String allFinalNodes = property.getString("finalNode");
String[] finalNodes = allFinalNodes.split("---");
StringBuilder sbHasToken = new StringBuilder();
StringBuilder sbActivityNode = new StringBuilder();
boolean first = true;
for (String finalN : finalNodes) {
if (!first) {
sbHasToken.append(" or ");
sbActivityNode.append(" + ");
}
sbHasToken.append("s.hasTokens[");
sbHasToken.append(finalN);
sbHasToken.append("]");
sbActivityNode.append(finalN);
first = false;
}
stringBuffer.append(TEXT_3);
stringBuffer.append(sbHasToken.toString());
stringBuffer.append(TEXT_4);
stringBuffer.append(sbActivityNode.toString());
stringBuffer.append(TEXT_5);
final String inc = property.getString("nbState");
final String nbObjects = property.getString("nbObjects");
final String nbNodes = property.getString("nbNodes");
final String nbEdges = property.getString("nbEdges");
final String bitwidth = property.getString("bitwidth");
stringBuffer.append(TEXT_6);
stringBuffer.append(predicatName);
stringBuffer.append(TEXT_7);
stringBuffer.append(inc);
stringBuffer.append(TEXT_8);
stringBuffer.append(nbObjects);
stringBuffer.append(TEXT_9);
stringBuffer.append(nbNodes);
stringBuffer.append(TEXT_10);
stringBuffer.append(nbEdges);
stringBuffer.append(TEXT_11);
stringBuffer.append(bitwidth);
stringBuffer.append(TEXT_12);
stringBuffer.append(TEXT_13);
return stringBuffer.toString();
}
@Override
public String generate(Object argument) throws JetException {
final StringBuffer stringBuffer = new StringBuffer();
final Logger log = Logger.getLogger(OrgaTemplate.class);
if (!(argument instanceof IProperties)) {
final String error = "L'argument passé au template Jet n'est pas une IProperties.";
log.error(error);
throw new JetException(error);
}
IProperties property = (IProperties) argument;
final String predicatName = property.getString("predicatName");
stringBuffer.append(TEXT_1);
stringBuffer.append(predicatName);
stringBuffer.append(TEXT_2);
final String inc = property.getString("nbState");
final String nbObjects = property.getString("nbObjects");
final String nbNodes = property.getString("nbNodes");
final String nbEdges = property.getString("nbEdges");
final String bitwidth = property.getString("bitwidth");
stringBuffer.append(TEXT_3);
stringBuffer.append(predicatName);
stringBuffer.append(TEXT_4);
stringBuffer.append(inc);
stringBuffer.append(TEXT_5);
stringBuffer.append(nbObjects);
stringBuffer.append(TEXT_6);
stringBuffer.append(nbNodes);
stringBuffer.append(TEXT_7);
stringBuffer.append(nbEdges);
stringBuffer.append(TEXT_8);
stringBuffer.append(bitwidth);
stringBuffer.append(TEXT_9);
stringBuffer.append(TEXT_10);
return stringBuffer.toString();
}