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_UVertex_isMarked {
  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; }
  __V_UVertex_isMarked() { super(); }
  public __V_UVertex_isMarked(boolean return_val) {
    super();
    set_return_val(return_val);
  }
  public void before(Decorator host) { return_val = host.isMarked(); }
  public void start() {}
  public void finish() {}
}