Removed Unused Variable
git-svn-id: https://svn.apache.org/repos/asf/jakarta/commons/sandbox/graph2/trunk@144630 13f79535-47bb-0310-9956-ffa450edef68
This commit is contained in:
ddp committed
1 parent
648f984f56
commit
bb471c44e9
1 file changed
+163
-164
@@ -1,164 +1,163 @@
|
||||
package org.apache.commons.graph.domain.statemachine;
|
||||
|
||||
import java.util.Map;
|
||||
import java.util.Set;
|
||||
import java.util.HashMap;
|
||||
import java.util.HashSet;
|
||||
import java.util.Iterator;
|
||||
|
||||
import org.apache.commons.graph.*;
|
||||
import org.apache.commons.graph.exception.*;
|
||||
import org.apache.commons.graph.domain.basic.*;
|
||||
import org.apache.commons.graph.contract.Contract;
|
||||
import org.apache.commons.graph.factory.GraphFactory;
|
||||
import org.apache.commons.graph.decorator.DDirectedGraph;
|
||||
import org.apache.commons.graph.statemachine.exception.*;
|
||||
|
||||
/**
|
||||
* StateMachine -
|
||||
*
|
||||
* This represents a Finite State Machine. It has a collection
|
||||
* of states and transitions which move between them.
|
||||
*/
|
||||
public class StateMachine
|
||||
extends DDirectedGraph
|
||||
{
|
||||
private Map states = new HashMap();// NAME X STATE
|
||||
private Map transes = new HashMap();// NAME X TRANSITION
|
||||
private Set finalStates = new HashSet();
|
||||
private State startState = null;
|
||||
private MutableDirectedGraph graph = null;
|
||||
private String name;
|
||||
private GraphFactory factory = new GraphFactory();
|
||||
|
||||
/**
|
||||
* Create a new StateMachine given the name.
|
||||
*
|
||||
* @param name Name (or Namespace) of StateMachine
|
||||
*/
|
||||
public StateMachine(String name)
|
||||
{
|
||||
this.name = name;
|
||||
|
||||
Contract[] contracts = new Contract[0];
|
||||
graph = factory.makeMutableDirectedGraph( contracts,
|
||||
false,
|
||||
null );
|
||||
setDirGraph( graph );
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the StateMachines name (or namespace)
|
||||
*/
|
||||
public String getName()
|
||||
{
|
||||
return name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a State to the collection of states maintained
|
||||
* by the machine.
|
||||
*/
|
||||
public void addState(State state)
|
||||
throws GraphException
|
||||
{
|
||||
states.put(state.getName(), state);
|
||||
graph.addVertex(state);
|
||||
}
|
||||
|
||||
/**
|
||||
* Creates a new State with name provided. Adds it to the
|
||||
* machine.
|
||||
*/
|
||||
public void addState(String name)
|
||||
throws GraphException
|
||||
{
|
||||
State newState = new State(name);
|
||||
addState(new State(name));
|
||||
}
|
||||
|
||||
/**
|
||||
* Sets the startState attribute of the StateMachine object
|
||||
*/
|
||||
public void setStartState(State state)
|
||||
{
|
||||
startState = state;
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds the state to the set of Final States available.
|
||||
*/
|
||||
public void addFinalState(State state)
|
||||
{
|
||||
finalStates.add(state);
|
||||
}
|
||||
|
||||
/**
|
||||
* Add a Transition to the diagram with the name provided.
|
||||
*
|
||||
* This transition traverses from the State specified in source
|
||||
* and the target.
|
||||
* @param name Name of the Transition.
|
||||
* @param source Name of the Source State.
|
||||
* @param target Name of the Target State.
|
||||
*/
|
||||
public void addTransition(String name,
|
||||
String source,
|
||||
String target)
|
||||
throws GraphException
|
||||
{
|
||||
addTransition(name,
|
||||
getState(source),
|
||||
getState(target));
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a feature to the Transition attribute of the StateMachine object.
|
||||
* @param name Name of the Transition
|
||||
* @param source Source of the Transition
|
||||
* @param target Target of the Transition
|
||||
*/
|
||||
public void addTransition(String name,
|
||||
State source,
|
||||
State target)
|
||||
throws GraphException
|
||||
{
|
||||
Transition trans = new Transition(name, source, target);
|
||||
addTransition(trans);
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a feature to the Transition attribute of the StateMachine object.
|
||||
* Transition is expected to know its source and target.
|
||||
*/
|
||||
public void addTransition(Transition trans)
|
||||
throws GraphException
|
||||
{
|
||||
transes.put(trans.getName(), trans);
|
||||
graph.addEdge(trans, trans.getSource(), trans.getTarget());
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the state attribute of the StateMachine object
|
||||
*/
|
||||
public State getState(String name)
|
||||
{
|
||||
return (State) states.get(name);
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the Transition associated with the Name.
|
||||
*/
|
||||
public Transition getTransition(String name)
|
||||
{
|
||||
return (Transition) transes.get(name);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
package org.apache.commons.graph.domain.statemachine;
|
||||
|
||||
import java.util.Map;
|
||||
import java.util.Set;
|
||||
import java.util.HashMap;
|
||||
import java.util.HashSet;
|
||||
import java.util.Iterator;
|
||||
|
||||
import org.apache.commons.graph.*;
|
||||
import org.apache.commons.graph.exception.*;
|
||||
import org.apache.commons.graph.domain.basic.*;
|
||||
import org.apache.commons.graph.contract.Contract;
|
||||
import org.apache.commons.graph.factory.GraphFactory;
|
||||
import org.apache.commons.graph.decorator.DDirectedGraph;
|
||||
import org.apache.commons.graph.domain.statemachine.exception.*;
|
||||
|
||||
/**
|
||||
* StateMachine -
|
||||
*
|
||||
* This represents a Finite State Machine. It has a collection
|
||||
* of states and transitions which move between them.
|
||||
*/
|
||||
public class StateMachine
|
||||
extends DDirectedGraph
|
||||
{
|
||||
private Map states = new HashMap();// NAME X STATE
|
||||
private Map transes = new HashMap();// NAME X TRANSITION
|
||||
private Set finalStates = new HashSet();
|
||||
private State startState = null;
|
||||
private MutableDirectedGraph graph = null;
|
||||
private String name;
|
||||
private GraphFactory factory = new GraphFactory();
|
||||
|
||||
/**
|
||||
* Create a new StateMachine given the name.
|
||||
*
|
||||
* @param name Name (or Namespace) of StateMachine
|
||||
*/
|
||||
public StateMachine(String name)
|
||||
{
|
||||
this.name = name;
|
||||
|
||||
Contract[] contracts = new Contract[0];
|
||||
graph = factory.makeMutableDirectedGraph( contracts,
|
||||
false,
|
||||
null );
|
||||
setDirGraph( graph );
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the StateMachines name (or namespace)
|
||||
*/
|
||||
public String getName()
|
||||
{
|
||||
return name;
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a State to the collection of states maintained
|
||||
* by the machine.
|
||||
*/
|
||||
public void addState(State state)
|
||||
throws GraphException
|
||||
{
|
||||
states.put(state.getName(), state);
|
||||
graph.addVertex(state);
|
||||
}
|
||||
|
||||
/**
|
||||
* Creates a new State with name provided. Adds it to the
|
||||
* machine.
|
||||
*/
|
||||
public void addState(String name)
|
||||
throws GraphException
|
||||
{
|
||||
addState(new State(name));
|
||||
}
|
||||
|
||||
/**
|
||||
* Sets the startState attribute of the StateMachine object
|
||||
*/
|
||||
public void setStartState(State state)
|
||||
{
|
||||
startState = state;
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds the state to the set of Final States available.
|
||||
*/
|
||||
public void addFinalState(State state)
|
||||
{
|
||||
finalStates.add(state);
|
||||
}
|
||||
|
||||
/**
|
||||
* Add a Transition to the diagram with the name provided.
|
||||
*
|
||||
* This transition traverses from the State specified in source
|
||||
* and the target.
|
||||
* @param name Name of the Transition.
|
||||
* @param source Name of the Source State.
|
||||
* @param target Name of the Target State.
|
||||
*/
|
||||
public void addTransition(String name,
|
||||
String source,
|
||||
String target)
|
||||
throws GraphException
|
||||
{
|
||||
addTransition(name,
|
||||
getState(source),
|
||||
getState(target));
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a feature to the Transition attribute of the StateMachine object.
|
||||
* @param name Name of the Transition
|
||||
* @param source Source of the Transition
|
||||
* @param target Target of the Transition
|
||||
*/
|
||||
public void addTransition(String name,
|
||||
State source,
|
||||
State target)
|
||||
throws GraphException
|
||||
{
|
||||
Transition trans = new Transition(name, source, target);
|
||||
addTransition(trans);
|
||||
}
|
||||
|
||||
/**
|
||||
* Adds a feature to the Transition attribute of the StateMachine object.
|
||||
* Transition is expected to know its source and target.
|
||||
*/
|
||||
public void addTransition(Transition trans)
|
||||
throws GraphException
|
||||
{
|
||||
transes.put(trans.getName(), trans);
|
||||
graph.addEdge(trans, trans.getSource(), trans.getTarget());
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the state attribute of the StateMachine object
|
||||
*/
|
||||
public State getState(String name)
|
||||
{
|
||||
return (State) states.get(name);
|
||||
}
|
||||
|
||||
/**
|
||||
* Gets the Transition associated with the Name.
|
||||
*/
|
||||
public Transition getTransition(String name)
|
||||
{
|
||||
return (Transition) transes.get(name);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
Reference in new issue
Block a user