230 |
return new MainNode2D(Nodes.get(paper), ppView, 0,0,1); |
return new MainNode2D(Nodes.get(paper), ppView, 0,0,1); |
231 |
} |
} |
232 |
else if (key.equals("SAVE")) { |
else if (key.equals("SAVE")) { |
233 |
|
p("going to save"); |
234 |
fen.graph.rm_1AA(SAVE.State); |
fen.graph.rm_1AA(SAVE.State); |
235 |
|
p("rm all worked out"); |
236 |
for (int i=0; i<accursed.length; i++) { |
for (int i=0; i<accursed.length; i++) { |
237 |
|
if (accursed[i] == null) continue; |
238 |
fen.graph.add(SAVE.State, SAVE.point, accursed[i]); |
fen.graph.add(SAVE.State, SAVE.point, accursed[i]); |
239 |
} |
} |
240 |
Model m = Graphs.toModel(fen.graph); |
Model m = Graphs.toModel(fen.graph); |
242 |
return null; |
return null; |
243 |
} |
} |
244 |
else if (key.equals("LOAD")) { |
else if (key.equals("LOAD")) { |
245 |
//ppAct.setFen(fen); |
Model m = new ModelMem(); |
246 |
|
m.read(new FileReader("mygraph.rdf"), ""); |
247 |
|
fen.constgraph = fen.graph = Graphs.toGraph(m); |
248 |
int i = 0; |
int i = 0; |
249 |
Iterator it = fen.graph.findN_11X_Iter(SAVE.State, SAVE.point); |
Iterator it = fen.graph.findN_11X_Iter(SAVE.State, SAVE.point); |
250 |
while (it.hasNext() && i<accursed.length) { |
while (it.hasNext() && i<accursed.length) { |