package data.graph; import java.util.*; import data.*; import data.graph.*; import data.geom.plain.*; import data.*; import data.graph.*; /** fileName=/projects/javaclass/gen/data/graph/Refreshable.java * <!-- begin-user-doc --> * <!-- end-user-doc --> * @generated */ public interface Refreshable extends Drawable { /** * @unmodifiable */ public void refresh(Date time); }