string GetString(ModelProgramGraphView v) { StringBuilder sb = new StringBuilder(); sb.Append("# --- Assemblies ---\n"); if (reference != null) { foreach (string r in reference) { sb.Append("/r:"); sb.Append(r); sb.Append("\n"); } } sb.Append("\n# --- Models ---\n"); if (model != null) { foreach (string m in model) { sb.Append(m); sb.Append("\n"); } } if (fsm != null) { foreach (string f in fsm) { sb.Append("/fsm:"); sb.Append(f); sb.Append("\n"); } } if (!String.IsNullOrEmpty(testSuite)) { sb.Append("/testSuite:"); sb.Append(testSuite); sb.Append("\n"); sb.Append("/startTestAction:"); sb.Append(startTestAction); sb.Append("\n"); } sb.Append("\n# --- Analysis ---\n"); sb.Append("/livenessCheckIsOn"); sb.Append((v.LivenessCheckIsOn ? "" : "-")); sb.Append("\n/safetyCheckIsOn"); sb.Append((v.SafetyCheckIsOn ? "" : "-")); sb.Append("\n/deadStatesVisible"); sb.Append((v.DeadstatesVisible ? "" : "-")); sb.Append("\n/deadStateColor:"); sb.Append(v.DeadStateColor.Name); sb.Append("\n/unsafeStateColor:"); sb.Append(v.UnsafeStateColor.Name); sb.Append("\n\n# --- Exploration limits ---\n"); sb.Append("/initialTransitions:"); sb.Append(initialTransitions); sb.Append("\n/maxTransitions:"); sb.Append(v.MaxTransitions); sb.Append("\n\n# --- States ---\n"); sb.Append("/nodeLabelsVisible"); sb.Append((v.NodeLabelsVisible ? "" : "-")); sb.Append("\n/acceptingStatesMarked"); sb.Append((v.AcceptingStatesMarked ? "" : "-")); sb.Append("\n/stateShape:"); sb.Append(v.StateShape.ToString()); sb.Append("\n/initialStateColor:"); sb.Append(v.InitialStateColor.Name); sb.Append("\n\n# --- Transitions ---\n"); sb.Append("/transitionLabels:"); sb.Append(v.TransitionLabels.ToString()); sb.Append("\n/loopsVisible"); sb.Append(v.LoopsVisible ? "" : "-"); sb.Append("\n/combineActions"); sb.Append(v.CombineActions ? "" : "-"); sb.Append("\n/mergeLabels"); sb.Append(v.MergeLabels ? "" : "-"); sb.Append("\n\n# --- Graph ---\n"); sb.Append("/hoverColor:"); sb.Append(v.HoverColor.Name); sb.Append("\n/selectionColor:"); sb.Append(v.SelectionColor.Name); sb.Append("\n/direction:"); sb.Append(v.Direction.ToString()); sb.Append("\n"); return(sb.ToString()); }
string GetString(ModelProgramGraphView v) { StringBuilder sb = new StringBuilder(); sb.Append("# --- Assemblies ---\n"); if (reference != null) foreach (string r in reference) { sb.Append("/r:"); sb.Append(r); sb.Append("\n"); } sb.Append("\n# --- Models ---\n"); if (model != null) foreach (string m in model) { sb.Append(m); sb.Append("\n"); } if (fsm != null) foreach (string f in fsm) { sb.Append("/fsm:"); sb.Append(f); sb.Append("\n"); } if (!String.IsNullOrEmpty(testSuite)) { sb.Append("/testSuite:"); sb.Append(testSuite); sb.Append("\n"); sb.Append("/startTestAction:"); sb.Append(startTestAction); sb.Append("\n"); } sb.Append("\n# --- Analysis ---\n"); sb.Append("/livenessCheckIsOn"); sb.Append((v.LivenessCheckIsOn ? "" : "-")); sb.Append("\n/safetyCheckIsOn"); sb.Append((v.SafetyCheckIsOn ? "" : "-")); sb.Append("\n/deadStatesVisible"); sb.Append((v.DeadstatesVisible ? "" : "-")); sb.Append("\n/deadStateColor:"); sb.Append(v.DeadStateColor.Name); sb.Append("\n/unsafeStateColor:"); sb.Append(v.UnsafeStateColor.Name); sb.Append("\n\n# --- Exploration limits ---\n"); sb.Append("/initialTransitions:"); sb.Append(initialTransitions); sb.Append("\n/maxTransitions:"); sb.Append(v.MaxTransitions); sb.Append("\n\n# --- States ---\n"); sb.Append("/nodeLabelsVisible"); sb.Append((v.NodeLabelsVisible ? "" : "-")); sb.Append("\n/acceptingStatesMarked"); sb.Append((v.AcceptingStatesMarked ? "" : "-")); sb.Append("\n/stateShape:"); sb.Append(v.StateShape.ToString()); sb.Append("\n/initialStateColor:"); sb.Append(v.InitialStateColor.Name); sb.Append("\n\n# --- Transitions ---\n"); sb.Append("/transitionLabels:"); sb.Append(v.TransitionLabels.ToString()); sb.Append("\n/loopsVisible"); sb.Append(v.LoopsVisible ? "" : "-"); sb.Append("\n/combineActions"); sb.Append(v.CombineActions ? "" : "-"); sb.Append("\n/mergeLabels"); sb.Append(v.MergeLabels ? "" : "-"); sb.Append("\n\n# --- Graph ---\n"); sb.Append("/hoverColor:"); sb.Append(v.HoverColor.Name); sb.Append("\n/selectionColor:"); sb.Append(v.SelectionColor.Name); sb.Append("\n/direction:"); sb.Append(v.Direction.ToString()); sb.Append("\n"); return sb.ToString(); }