public class FlatGenReachNode extends FlatNode {
String graphName;
- public FlatGenReachNode( String graphName ) {
+ public FlatGenReachNode(String graphName) {
this.graphName = graphName;
}
return graphName;
}
- public FlatNode clone(TempMap t){ return new FlatGenReachNode( graphName ); }
- public void rewriteUse(TempMap t){}
- public void rewriteDst(TempMap t) {}
+ public FlatNode clone(TempMap t) {
+ return new FlatGenReachNode(graphName);
+ }
+ public void rewriteUse(TempMap t) {
+ }
+ public void rewriteDst(TempMap t) {
+ }
public String toString() {