Overview  Package   Class  Use  Tree  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

at.ac.tuwien.dbai.alternation.gui
Interface GraphicParameters

All Known Implementing Classes:
GraphicListParameters, GraphicTreeParameters
public interface GraphicParameters

This interface has to be implemented for graphical defails of gui.node, so it could be saved in an instance of node.

Author:
Stefan Weiser

Overview  Package   Class  Use  Tree  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD