public class ProperCompletionWeakTemplate implements IJetTemplate {
protected static String nl;
public static synchronized ProperCompletionWeakTemplate create(String lineSeparator) {
nl = lineSeparator;
ProperCompletionWeakTemplate result = new ProperCompletionWeakTemplate();
nl = null;
return result;
}
public final String NL = nl == null ? (System.getProperties().getProperty("line.separator")) : nl;
protected final String TEXT_1 = NL + "pred ";
protected final String TEXT_2 = " {";
protected final String TEXT_3 = NL + "\tlet finalState = {s:State | ( ";
protected final String TEXT_4 =
" ) } {" + NL + "\t\tall s:finalState | not s.hasTokens[ActivityNode-( ";
protected final String TEXT_5 = " ) ]" + NL + "\t}" + NL + "}" + NL;
protected final String TEXT_6 = NL + "run {";
protected final String TEXT_7 = "} for 0 but ";
protected final String TEXT_8 = " State, ";
protected final String TEXT_9 = " Object, ";
protected final String TEXT_10 = " ActivityNode, ";
protected final String TEXT_11 = " ActivityEdge, ";
protected final String TEXT_12 = " Int";
protected final String TEXT_13 = NL;
@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();
}
}
public class OrgaTemplate implements IJetTemplate {
protected static String nl;
public static synchronized OrgaTemplate create(String lineSeparator) {
nl = lineSeparator;
OrgaTemplate result = new OrgaTemplate();
nl = null;
return result;
}
public final String NL = nl == null ? (System.getProperties().getProperty("line.separator")) : nl;
protected final String TEXT_1 = NL + "pred ";
protected final String TEXT_2 =
" {"
+ NL
+ "\tall s:State | #{ node : ExecutableNode | s.hasTokens[node] } <= #RolePerformer"
+ NL
+ "}"
+ NL;
protected final String TEXT_3 = NL + "check {";
protected final String TEXT_4 = "} for ";
protected final String TEXT_5 = " State, ";
protected final String TEXT_6 = " Object, ";
protected final String TEXT_7 = " ActivityNode, ";
protected final String TEXT_8 = " ActivityEdge, ";
protected final String TEXT_9 = " Int";
protected final String TEXT_10 = NL;
@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();
}
}
