Uses of Interface
org.ginsim.gui.utils.data.TextProperty

Packages that use TextProperty

Package	Description
org.ginsim.gui.graph.dynamicgraph	Specialised GUI for the State Transition Graphs
org.ginsim.gui.graph.hierarchicaltransitiongraph	Specialised GUI for the Hierarchical Transition Graphs
org.ginsim.gui.utils.widgets	Some common widgets

Uses of TextProperty in org.ginsim.gui.graph.dynamicgraph

Classes in org.ginsim.gui.graph.dynamicgraph that implement TextProperty

Modifier and Type	Class and Description
class	StateTransitionGraphEditor

Uses of TextProperty in org.ginsim.gui.graph.hierarchicaltransitiongraph

Classes in org.ginsim.gui.graph.hierarchicaltransitiongraph that implement TextProperty

Modifier and Type	Class and Description
class	HierarchicalGraphEditor

Uses of TextProperty in org.ginsim.gui.utils.widgets

Methods in org.ginsim.gui.utils.widgets with parameters of type TextProperty

Modifier and Type	Method and Description
void	StatusTextField.setProperty(TextProperty pinfo)