/**
* Método recursivo para hacer un recorrido del grafo para obtener el valor de cada
* vértice.
*
* @param v <code>Vertex<StructV></code>
*/
public boolean recurse(Vertex<StructV> v) {
if (v == null) return false;
if (v.getValue() == null) return false;
if (!(v.getValue().getSprite() instanceof SpriteUnion)) precondition(v);
ArrayList<Vertex<StructV>> neighbors = v.getNeighbors();
for (int i = 0; i < neighbors.size(); i++) {
Vertex<StructV> tmp = neighbors.get(i);
if (tmp == null) break;
if (whileCase(tmp)) continue;
if (forCase(tmp)) continue;
if (ifCase(tmp)) continue;
if (unionCase(tmp)) continue;
recurse(tmp);
}
if (!(v.getValue().getSprite() instanceof SpriteIf)) postcondition(v);
return false;
}
/**
* Método que lleva el control sobre el recorrido para el caso especial del If
*
* @param tmp Vertice Acual <code>Vertex<StructV></code>
*/
private boolean ifCase(Vertex<StructV> tmp) {
if (tmp.getValue().getSprite() instanceof SpriteIf) {
if (ifList.size() != 0) {
Sprite currentIf = ifList.get(ifList.size() - 1).getValue().getSprite();
if (!currentIf.equals(tmp.getValue().getSprite())) {
ifList.add(tmp);
}
} else {
ifList.add(tmp);
}
}
return false;
}
/**
* Método que lleva el control sobre el recorrido para el caso especial del For
*
* @param tmp Vertice Acual <code>Vertex<StructV></code>
*/
private boolean forCase(Vertex<StructV> tmp) {
if (tmp.getValue().getSprite() instanceof SpriteFor) {
if (forList.size() != 0) {
Sprite currentFor = forList.get(forList.size() - 1);
if (!currentFor.equals(tmp.getValue().getSprite())) {
forList.add(tmp.getValue().getSprite());
} else {
forList.remove(forList.size() - 1);
return true;
}
} else {
forList.add(tmp.getValue().getSprite());
}
}
return false;
}
/**
* Método que lleva el control sobre el recorrido para el caso especial del While
*
* @param tmp Vertice Acual <code>Vertex<StructV></code>
*/
private boolean whileCase(Vertex<StructV> tmp) {
if (tmp.getValue().getSprite() instanceof SpriteWhile) {
if (whileList.size() != 0) {
Sprite currentWhile = whileList.get(whileList.size() - 1);
if (!currentWhile.equals(tmp.getValue().getSprite())) {
whileList.add(tmp.getValue().getSprite());
} else {
whileList.remove(whileList.size() - 1);
return true;
}
} else {
whileList.add(tmp.getValue().getSprite());
}
}
return false;
}
/**
* Método que lleva el control sobre el recorrido para el caso especial de la Union
*
* @param tmp Vertice Acual <code>Vertex<StructV></code>
*/
private boolean unionCase(Vertex<StructV> tmp) {
if (tmp.getValue().getSprite() instanceof SpriteUnion) {
if (unionList.size() != 0) {
unionList.remove(unionList.size() - 1);
precondition(tmp);
return false;
} else {
if (ifList.size() > 0) {
Vertex<StructV> ifTemp = ifList.get(ifList.size() - 1);
postcondition(ifTemp);
ifList.remove(ifList.size() - 1);
}
unionList.add(tmp.getValue().getSprite());
return true;
}
}
return false;
}
/**
* Método que genera las postcondiciones para el vertice actual
*
* @param v Vertice Acual <code>Vertex<StructV></code>
*/
public void postcondition(Vertex<StructV> v) {
String name = (String) ((Hashtable) v.getValue().getValue()).get("name");
int line = search(name);
if (line == -1) {
code += "\r";
return;
}
if (!(template.get(line + 2).matches("[\\s]*"))) code += template.get(line + 2) + "\r";
}
/**
* Método que genera las precondiciones para el vertice actual
*
* @param v Vertice Acual <code>Vertex<StructV></code>
*/
public void precondition(Vertex<StructV> v) {
replaceVars((Hashtable) v.getValue().getValue());
}