/**
* Extracts the morphism from rule nodes to input graph nodes corresponding to the transition's
* input parameters.
*
* @return if {@code null}, the binding cannot be constructed and so the rule cannot match
*/
private RuleToHostMap extractBinding(Step step) {
RuleToHostMap result = this.state.getGraph().getFactory().createRuleToHostMap();
Object[] sourceValues = this.state.getActualValues();
for (Assignment assign : step.getEnterAssignments()) {
sourceValues = assign.compute(sourceValues);
}
for (Pair<Var, Binding> entry : step.getRuleSwitch().getCallBinding()) {
Binding bind = entry.two();
HostNode value;
if (bind == null) {
// this corresponds to an output parameter of the call
continue;
}
switch (bind.getSource()) {
case CONST:
value = bind.getValue().getNode();
break;
case VAR:
value = Valuator.get(sourceValues, bind);
break;
default:
assert false;
value = null;
}
RuleNode ruleNode = entry.one().getRuleNode();
if (isCompatible(ruleNode, value)) {
result.putNode(ruleNode, value);
} else {
result = null;
break;
}
}
return result;
}
@Override
public void report() throws IOException {
Pair<FileType, Exporter> stateFormat = Exporters.getAcceptingFormat(this.statePattern);
if (stateFormat == null) {
this.logger.append(
"Pattern %s does not specify export format: states saved in native GXL%n",
this.statePattern);
} else {
this.logger.append("States saved as %s%n", stateFormat.one().getDescription());
}
for (GraphState state : getExploration().getResult()) {
File savedFile = exportState(state, this.statePattern);
this.logger.append("State saved: %s%n", savedFile);
}
}
/**
* Exports a given state using a filename derived from a state pattern.
*
* @param state the state to be exported
* @param pattern the filename pattern
* @throws IOException if anything went wrong during export
*/
public static File exportState(GraphState state, String pattern) throws IOException {
String stateFilename = pattern.replace(PLACEHOLDER, "" + state.getNumber());
File stateFile = new File(stateFilename);
Pair<FileType, Exporter> stateFormat = Exporters.getAcceptingFormat(stateFilename);
if (stateFormat != null) {
try {
stateFormat.two().doExport(new Exportable(state.getGraph()), stateFile, stateFormat.one());
} catch (PortException e1) {
throw new IOException(e1);
}
} else {
if (!FileType.hasAnyExtension(stateFile)) {
stateFile = FileType.STATE.addExtension(stateFile);
}
Groove.saveGraph(GraphConverter.toAspect(state.getGraph()), stateFile);
}
return stateFile;
}