org.topbraidcomposer.gef.graph.model
Class GraphStateStack

java.lang.Object
  org.topbraidcomposer.gef.graph.model.GraphStateStack

public class GraphStateStack
extends java.lang.Object

Constructor Summary

GraphStateStack()

Method Summary

org.eclipse.jface.action.Action	getUndoAction()
void	pop()
void	push(GraphState state)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphStateStack

public GraphStateStack()

Method Detail

getUndoAction

public org.eclipse.jface.action.Action getUndoAction()

pop

public void pop()

push

public void push(GraphState state)