@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();
  }
  @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();
  }