package EDU.neu.ccs.demeter.tools.apstudio.graphedit;
import java.awt.*;
import java.io.*;
import java.util.*;
import EDU.neu.ccs.demeter.*;
import EDU.neu.ccs.demeter.common.tg.*;


import EDU.neu.ccs.demeter.*;
class __V_StrategyGraph_allSourcesAndTargetsMarked {
  protected TraversalGraph tg;
  public TraversalGraph get_tg() { return tg; }
  public void set_tg(TraversalGraph new_tg)
    { tg = new_tg; }
  protected boolean return_val;
  public boolean get_return_val() { return return_val; }
  public void set_return_val(boolean new_return_val)
    { return_val = new_return_val; }
  public __V_StrategyGraph_allSourcesAndTargetsMarked(TraversalGraph tg, boolean return_val) {
    super();
    set_tg(tg);
    set_return_val(return_val);
  }
  public __V_StrategyGraph_allSourcesAndTargetsMarked() { return_val = true; }
 boolean glob_answer = false;   public void before(ClassGlobSpec host) { glob_answer = false; }
  public void before(AnyClass host) { glob_answer = true; }
  public void before(ClassName host) {
      TGVertex v = tg.findVertex(host, false);
      if (v.is_in_trav()) glob_answer = true;
      else System.err.println("Warning: " + host +
			      " is not in the traversal graph.");
    }
  public void after(ClassGlobSpec host) { if (glob_answer == false) return_val = false; }
  public void start() {}
  public void finish() {}
}