void PreorderLeaves(IState stateNode, FAName sn)
{
if (sn != null)
{
IPairState pstate = stateNode as IPairState;
if (pstate != null)
{
PreorderLeaves(pstate.First, sn.left);
PreorderLeaves(pstate.Second, sn.right);
}
else
{
string modelName = sn.ToString();
leafStates.Add(stateNode);
modelNames.Add(modelName);
}
}
}
internal StateVariablesViewer(IState rootState, FAName stateName)
{
this.stateName = stateName;
this.rootState = rootState;
this.leafStates = new List<IState>();
this.modelNames = new List<string>();
this.termViewers = new Dictionary<TermViewer, int>();
this.nameDisambiguator = new Dictionary<string, int>();
}
internal FAName(FAName left, FAName right)
{
//this.name = null;
this.left = left;
this.right = right;
}
/// <summary>
/// Sets the state to be viewed
/// </summary>
internal void SetState(IState state, FAName name)
{
if (state != rootState)
{
if (state != null)
{
rootState = state;
StateVariablesViewer viewer = new StateVariablesViewer(state, name);
viewer.Initialize();
this.propertyGrid1.SelectedObject = viewer;
}
else
{
rootState = null;
this.propertyGrid1.SelectedObject = null;
}
}
}
internal ReductName(Sequence<FSMBuilder.Branch> treePosition, FAName name)
{
this.treePosition = treePosition;
this.name = name;
}
