259260261262263264265266267268269
n.setContentAndStatus(true, false, n.getContents(), g); } return this; } }); g.sharpen(); return g; } private static final class AutomatonPresence { public Automaton auto;
541542543544545546547548549550551
//left.getContents().addAll(base.getRoots()); break; default: throw new RuntimeException("unexpected copy type " + s.getKind()); } g.sharpen(); return g; } public XMLGraph transferEmpty(EmptyStm s) { XMLGraph g = global_xg.clone();