stdiagram.c

这个工具集提供以下结构化分析和UML分析中所用的图形化绘图工具：ER-diagrams, data and event flow diagrams and state-transition diagr

////////////////////////////////////////////////////////////////////////////////
//
// This file is part of Toolkit for Conceptual Modeling (TCM).
// (c) copyright 2001, Universiteit Twente.
// Author: Frank Dehne ([e-mail]), David N. Jansen ([e-mail])
//
// TCM is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// TCM is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with TCM; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
// 02111-1307, USA.
////////////////////////////////////////////////////////////////////////////////
#include "stgraph.h"
#include "stviewer.h"
#include "stwindow.h"
#include "stchecks.h"
#include "messagedialog.h"
#include "replacedialog.h"
#include "initialstate.h"
#include "decisionpoint.h"
#include "transition.h"
#include "hexagon.h"
#include "textbox.h"
#include "comment.h"
#include "transitionarrow.h"
#include "initialstatebox.h"
#include "stdiagram.h"
#include "editstubs.h"
#include "system.h"
#include "printer.h"
#include <limits.h>

#ifdef MODELCHECK

#define MODELCHECK_SMV 1

#include "modelcheckdialog.h"

#if MODELCHECK_SMV
	#include "smv.h"
#else
	#include "kronos.h"
#endif

#include <stdlib.h>
#include <ctype.h>
#include <stdio.h>
#endif

const int STDiagram::BOX_WIDTH = 100;
const int STDiagram::BOX_HEIGHT = 38;
 
STDiagram::STDiagram(Config *c, STWindow *d, STViewer *v, STGraph *g): 
		Diagram(c,d,v,g) {
	UpdateNodeType(1);
	UpdateEdgeType(1);
	GetReplaceDialog()->ManageNameOnlyToggle(True);
	stChecks = new STChecks(this,g);
#ifdef MODELCHECK
	promptDialog = new ModelCheckDialog(GetMainWindow()->GetWidget());
	promptDialog->Initialize();
#endif
}


STDiagram::~STDiagram() {
#ifdef MODELCHECK
	delete promptDialog;
#endif
	delete stChecks;
}


Thing *STDiagram::CreateThing(int classNr) {
	Grafport *g = GetDiagramViewer()->GetGrafport();
	ShapeView *v = GetDiagramViewer()->GetCurView();
	STGraph *sg = (STGraph *)GetGraph();
	Thing *thing = 0;
	// view
	if (classNr == Code::VIEW)
		thing = new ShapeView(GetDiagramViewer());
	// node shapes
	else if (classNr == Code::ARROW_BOX)
		thing = new InitialStateBox(v, g, 0, 0); 
	else if (classNr == Code::BOX)
		thing = new Box(v, g, 0, 0); 
	else if (classNr == Code::HEXAGON)
		thing = new Hexagon(v, g, 0, 0); 
	else if (classNr == Code::TEXT_BOX)
		thing = new TextBox(v, g, 0, 0); 
	// lines
	else if (classNr == Code::TRANSITION_ARROW)
		thing = new TransitionArrow(v, g, 0, 0, 0);
	// nodes
	else if (classNr == Code::INITIAL_STATE)
		thing = new InitialState(sg);
	else if (classNr == Code::STATE)
		thing = new State(sg);
	else if (classNr == Code::DECISION_POINT)
		thing = new DecisionPoint(sg);
	else if (classNr == Code::COMMENT)
		thing = new Comment(sg);
	// edges
	else if (classNr == Code::TRANSITION)
		thing = new Transition(sg, 0, 0);
	else 
		error("%s, line %d: impl error: "
			"wrong class number %d\n", __FILE__, __LINE__, classNr);
	return thing;
}

Node *STDiagram::CreateNode(){
	Node *node = 0;
	STGraph *sg = (STGraph *)GetGraph();
	if (GetNodeType() == Code::INITIAL_STATE)
		node = new InitialState(sg);
	else if (GetNodeType() == Code::STATE)
		node = new State(sg);
	else if (GetNodeType() == Code::DECISION_POINT)
		node = new DecisionPoint(sg);
	else if (GetNodeType() == Code::COMMENT)
		node = new Comment(sg);
	else
		error("%s, line %d: impl error: "
			"unknown node type\n", __FILE__, __LINE__);
	return node;
}

Edge *STDiagram::CreateEdge(Subject *subj1, Subject *subj2){
	if (!CheckEdgeConstraints(subj1, subj2))
		return 0; 
	Edge *edge = 0;
	STGraph *sg = (STGraph *)GetGraph();
	if (GetEdgeType() == Code::TRANSITION)
		edge = new Transition(sg, subj1, subj2);
	else
		error("%s, line %d: impl error: "
			"unknown edge type\n", __FILE__, __LINE__);
	return edge;
}

NodeShape *STDiagram::CreateNodeShape(Node *node, int x, int y) {
	NodeShape *shape = 0;
	Grafport *g = GetDiagramViewer()->GetGrafport();
	ShapeView *v = GetDiagramViewer()->GetCurView();
	if (GetNodeShapeType() == Code::ARROW_BOX)
		shape = new InitialStateBox(v, g, x, y);
	else if (GetNodeShapeType() == Code::BOX)
		shape = new Box(v, g, x, y);
	else if (GetNodeShapeType() == Code::HEXAGON)
		shape = new Hexagon(v, g, x, y);
	else if (GetNodeShapeType() == Code::TEXT_BOX)
		shape = new TextBox(v, g, x, y);
	else
		error("%s, line %d: impl error: "
			"node shape type does not exist\n", __FILE__, __LINE__);
	if (check(shape)) {
		shape->SetSubject(node);
		shape->SetTextShape();
	}
	return shape;
}

Line *STDiagram::CreateLine(
		Edge *edge, GShape *from, GShape *to, List<Point *> *l) {
	Line *line = 0;
	Grafport *g = GetDiagramViewer()->GetGrafport();
	ShapeView *v = GetDiagramViewer()->GetCurView();
	*((*l)[0]) = *(from->GetPosition());
	*((*l)[l->count()-1]) = *(to->GetPosition());
	if (GetLineType() == Code::TRANSITION_ARROW)
		line = new TransitionArrow(v, g, from, to, l, IsCurve());
	else
		error("%s, line %d: impl error: "
			"line type does not exist\n", __FILE__, __LINE__);

	if (check(line)) {
		line->SetSubject(edge);
		line->SetTextShape();
	}
	return line;
}

void STDiagram::UpdateNodeType(int num) {
	((DiagramWindow *)GetMainWindow())->SetNodeName(num);
	switch (num) {
	case 1: SetNodeType(Code::INITIAL_STATE);
		SetNodeShapeType(Code::ARROW_BOX);
		break;
	case 2: SetNodeType(Code::STATE);
		SetNodeShapeType(Code::BOX);
		break;
	case 3: SetNodeType(Code::DECISION_POINT);
		SetNodeShapeType(Code::HEXAGON);
		break;
	case 4: SetNodeType(Code::COMMENT);
		SetNodeShapeType(Code::TEXT_BOX);
		break;
	default:
		error("%s, line %d: impl error: "
			"unknown node type selected\n", __FILE__,__LINE__);
	}
}

void STDiagram::UpdateEdgeType(int num) {
	((DiagramWindow *)GetMainWindow())->SetEdgeName(num);
	switch(num) {
	case 1: SetEdgeType(Code::TRANSITION);
		SetLineType(Code::TRANSITION_ARROW);
		break;
	default:
		error("%s, line %d: impl error: "
			"unknown edge type selected\n", __FILE__,__LINE__);
	}
}

bool STDiagram::CheckEdgeConstraints(Subject *subj1, Subject *subj2) {
	// Check possible connections (subj-subj-edge matrix).
	if (!CheckConnection(subj1, subj2))
		return False;
	// Check that two different initial states can't be connected.
	else if (subj1->GetClassType() == Code::INITIAL_STATE &&
		 subj2->GetClassType() == Code::INITIAL_STATE && subj1 != subj2) {
		 ShowDialog(MessageDialog::ERROR, "Error", 
		 	"Cannot connect different initial states");
		 return False;
	}
	// Check that a decision point can not be connected to itself.
	else if (subj1->GetClassType() == Code::DECISION_POINT && subj1 == subj2) {
		 ShowDialog(MessageDialog::ERROR, "Error",
		 	"Cannot connect a decision point with itself");
		 return False;
	}

	// Check that two subjs are not reachable from different initial states.
	InitialState *init1, *init2;
	init1 = FindInitialState(subj1); init2 = FindInitialState(subj2);
	if (init1 && init2) {
		if (init1 != init2) {
			ShowDialog(MessageDialog::ERROR, "Error",
				"Cannot connect nodes from different STDs");
			return False;
		}
	}
	return True;
}

bool STDiagram::SetEvent(Transition *t, const string *s) {
	List<GShape *> shapes;
	GetDiagramViewer()->GetShapes(t, &shapes);
	Subject::NameErrType n = t->SetEvent(s);
	if (n == Subject::OK) {
		if (shapes.first())
			do
				((TransitionArrow *)shapes.cur())->UpdateEvent(s);
			while (shapes.next());
		else {
			error("%s, line %d: shape does not exist\n", 
					__FILE__, __LINE__);
			return False;
		}
		return True;