public void check()
{
lexicalAnalizator.setDiagramElements(diagramElements);
// прохождение по всем элементам и их проверка
for (int i = 0; i < diagramElements.size(); i++)
{
BaseNode currentNode = diagramElements.get(i);
switch (diagramElements.get(i).getType())
{
case ElementType.FLOW:
lexicalAnalizator.checkFlow((ControlFlow)diagramElements.get(i));
break;
case ElementType.INITIAL_NODE:
checkIfInPartion((DiagramElement)currentNode, "", diagramElements.getNode(i));
if (((DiagramElement)currentNode).outSize() == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_OUT], MistakeAdapter.toString(MISTAKES.NO_OUT), diagramElements.getNode(i), ALL_MISTAKES.NO_OUT);
}
checkInitial();
break;
case ElementType.FINAL_NODE:
checkIfInPartion((DiagramElement)currentNode, "", diagramElements.getNode(i));
if (((DiagramElement)currentNode).inSize() == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_OUT], MistakeAdapter.toString(MISTAKES.NO_IN), diagramElements.getNode(i), ALL_MISTAKES.NO_IN);
}
checkFinal();
break;
case ElementType.FORK:
checkIfInPartion((DiagramElement)currentNode, "", diagramElements.getNode(i));
checkInOut((DiagramElement)currentNode, "", diagramElements.getNode(i));
checkFork((ForkNode)currentNode, diagramElements.getNode(i));
break;
case ElementType.JOIN:
checkIfInPartion((DiagramElement)currentNode, "", diagramElements.getNode(i));
checkInOut((DiagramElement)currentNode, "", diagramElements.getNode(i));
break;
case ElementType.MERGE:
checkIfInPartion((DiagramElement)currentNode, "", diagramElements.getNode(i));
checkInOut((DiagramElement)currentNode, "", diagramElements.getNode(i));
break;
case ElementType.ACTIVITY:
lexicalAnalizator.checkActivity((ActivityNode)diagramElements.get(i), diagramElements.getNode(i));
checkIfInPartion((DiagramElement)currentNode, ((ActivityNode)currentNode).getName(), diagramElements.getNode(i));
checkInOut((DiagramElement)currentNode, ((ActivityNode)currentNode).getName(), diagramElements.getNode(i));
checkActivity((ActivityNode)diagramElements.get(i), diagramElements.getNode(i));
break;
case ElementType.DECISION:
lexicalAnalizator.checkDecision((DecisionNode)diagramElements.get(i), diagramElements.getNode(i));
checkIfInPartion((DiagramElement)currentNode, ((DecisionNode)currentNode).getQuestion(), diagramElements.getNode(i));
checkInOut((DiagramElement)currentNode, ((DecisionNode)currentNode).getQuestion(), diagramElements.getNode(i));
checkDecision((DecisionNode)diagramElements.get(i), diagramElements.getNode(i));
break;
case ElementType.SWIMLANE:
lexicalAnalizator.checkSwimlane((Swimlane)diagramElements.get(i));
break;
case ElementType.UNKNOWN:
break;
}
}
if (finalCount == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_FINAL], MistakeAdapter.toString(MISTAKES.NO_FINAL), ALL_MISTAKES.NO_FINAL);
}
if (initialCount == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_INITIAL], MistakeAdapter.toString(MISTAKES.NO_INITIAL), ALL_MISTAKES.NO_INITIAL);
}
if (activityCount == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_ACTIVITIES], MistakeAdapter.toString(MISTAKES.NO_ACTIVITIES), ALL_MISTAKES.NO_ACTIVITIES);
}
if (lexicalAnalizator.swimlaneCount == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_SWIMLANE], MistakeAdapter.toString(MISTAKES.NO_SWIMLANE), ALL_MISTAKES.NO_SWIMLANE);
}
}
/// <summary>
/// Распарсить XMI файл и создать объекты соответствующих классов
/// </summary>
/// <param name="diagram">Исходная диаграмма</param>
/// <param name="hasJoinOrFork">Имеется ли join\fork</param>
/// <returns></returns>
public bool Parse(Diagram diagram, ref bool hasJoinOrFork)
{
xmlFile = diagram.doc;
XmlNodeList xPackagedList;
try {
xPackagedList = xmlFile.GetElementsByTagName("packagedElement");
} catch (NullReferenceException) {
//Console.WriteLine("[x] Тег packagedElement не найден");
return(false);
}
// получим корневой элемент
XmlNode xRoot = FindActivePackageEl(xPackagedList);
if (xRoot == null)
{
//Console.WriteLine("[x] Вид диаграммы не AD");
return(false);
}
var attr = xRoot.Attributes["xsi:type"];
if (attr == null)
{
//Console.WriteLine("[x] Не удалось распарсить xmi файл");
return(false);
}
if (!attr.Value.Equals("uml:Activity"))
{
//Console.WriteLine("[x] Вид диаграммы не AD");
return(false);
}
// пройтись по всем тегам и создать объекты
foreach (XmlNode node in xRoot.ChildNodes)
{
var elAttr = node.Attributes["xsi:type"];
if (elAttr == null)
{
continue;
}
if (elAttr.Value == "uml:OpaqueAction" || elAttr.Value == "uml:InitialNode" || elAttr.Value == "uml:ActivityFinalNode" ||
elAttr.Value == "uml:FlowFinalNode" || elAttr.Value == "uml:DecisionNode" || elAttr.Value == "uml:MergeNode" ||
elAttr.Value == "uml:ForkNode" || elAttr.Value == "uml:JoinNode")
{
DiagramElement nodeFromXMI = null;
switch (elAttr.Value)
{
// активность
case "uml:OpaqueAction":
nodeFromXMI = new ActivityNode(node.Attributes["xmi:id"].Value,
AttrAdapter(node.Attributes["inPartition"]), AttrAdapter(node.Attributes["name"]));
nodeFromXMI.setType(ElementType.ACTIVITY);
adNodesList.addLast(nodeFromXMI);
break;
// узел инициализации
case "uml:InitialNode":
nodeFromXMI = new InitialNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]));
nodeFromXMI.setType(ElementType.INITIAL_NODE);
adNodesList.addLast(nodeFromXMI);
break;
// конечное состояние
case "uml:ActivityFinalNode":
case "uml:FlowFinalNode":
nodeFromXMI = new FinalNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]));
nodeFromXMI.setType(ElementType.FINAL_NODE);
adNodesList.addLast(nodeFromXMI);
break;
// условный переход
case "uml:DecisionNode":
nodeFromXMI = new DecisionNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]), AttrAdapter(node.Attributes["question"]));
nodeFromXMI.setType(ElementType.DECISION);
adNodesList.addLast(nodeFromXMI);
break;
// узел слияния
case "uml:MergeNode":
nodeFromXMI = new MergeNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]));
nodeFromXMI.setType(ElementType.MERGE);
adNodesList.addLast(nodeFromXMI);
break;
// разветвитель
case "uml:ForkNode":
nodeFromXMI = new ForkNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]));
nodeFromXMI.setType(ElementType.FORK);
adNodesList.addLast(nodeFromXMI);
hasJoinOrFork = true;
break;
// синхронизатор
case "uml:JoinNode":
nodeFromXMI = new JoinNode(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["inPartition"]));
nodeFromXMI.setType(ElementType.JOIN);
adNodesList.addLast(nodeFromXMI);
hasJoinOrFork = true;
break;
}
// добавляем ид входящих и выходящих переходов
if (nodeFromXMI != null)
{
string idsIn = node.Attributes["incoming"]?.Value;
string idsOut = node.Attributes["outgoing"]?.Value;
nodeFromXMI.addIn(idsIn ?? "");
nodeFromXMI.addOut(idsOut ?? "");
}
}
// создаем переход
else if (node.Attributes["xsi:type"].Value.Equals("uml:ControlFlow"))
{
// находим подпись перехода
var markNode = node.ChildNodes[1];
string mark = markNode.Attributes["value"].Value.Trim(); // если подпись является "yes", значит это подпись по умолчанию
ControlFlow temp = new ControlFlow(node.Attributes["xmi:id"].Value, mark.Equals("true") ? "" : mark);
temp.setType(ElementType.FLOW);
temp.setSrc(AttrAdapter(node.Attributes["source"]));
temp.setTarget(AttrAdapter(node.Attributes["target"]));
adNodesList.addLast(temp);
}
// создаем дорожку
else if (node.Attributes["xsi:type"].Value.Equals("uml:ActivityPartition"))
{
Swimlane temp = new Swimlane(node.Attributes["xmi:id"].Value, AttrAdapter(node.Attributes["name"]))
{
ChildCount = node.Attributes["node"] == null ? 0 : node.Attributes["node"].Value.Split().Length
};
temp.setType(ElementType.SWIMLANE);
if (temp.Name != "")
{
diagram.Actors.Add(temp);
}
adNodesList.addLast(temp);
}
// неизвестный элемент
else
{
var unknownNode = new UnknownNode(node.Attributes["xmi:id"].Value);
unknownNode.setType(ElementType.UNKNOWN);
unknownNodes.Add(unknownNode);
}
}
XmlNode coordRoot = null;
try {
coordRoot = xmlFile.GetElementsByTagName("plane")[0];
} catch (NullReferenceException) {
//Console.WriteLine("[x] Тег packagedElement не найден");
}
if (coordRoot != null)
{
FindCoordinates(coordRoot, diagram);
}
for (int i = 0; i < adNodesList.size(); i++)
{
var node = adNodesList.get(i);
if (node is DiagramElement)
{
var nodeFromXMI = (DiagramElement)node;
switch (nodeFromXMI.getType())
{
case ElementType.FINAL_NODE:
if (nodeFromXMI.inSize() == 0)
{
// ошибка
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_IN], MistakeAdapter.toString(MISTAKES.NO_IN), new ADNodesList.ADNode(nodeFromXMI), ALL_MISTAKES.NO_IN);
}
break;
case ElementType.INITIAL_NODE:
if (nodeFromXMI.outSize() == 0)
{
// ошибка
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_OUT], MistakeAdapter.toString(MISTAKES.NO_OUT), new ADNodesList.ADNode(nodeFromXMI), ALL_MISTAKES.NO_OUT);
}
break;
default:
if (nodeFromXMI.inSize() == 0 || nodeFromXMI.outSize() == 0)
{
// ошибка
if (nodeFromXMI.inSize() == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_IN], MistakeAdapter.toString(MISTAKES.NO_IN), new ADNodesList.ADNode(nodeFromXMI), ALL_MISTAKES.NO_IN);
}
if (nodeFromXMI.outSize() == 0)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.NO_OUT], MistakeAdapter.toString(MISTAKES.NO_OUT), new ADNodesList.ADNode(nodeFromXMI), ALL_MISTAKES.NO_OUT);
}
}
break;
}
}
}
// ошибка - тип элемента не принадлежит AD
foreach (var node in unknownNodes)
{
ADMistakeFactory.createMistake(MistakesSeriousness.mistakes[MISTAKES.FORBIDDEN_ELEMENT], MistakeAdapter.toString(MISTAKES.FORBIDDEN_ELEMENT), node, ALL_MISTAKES.FORBIDDEN_ELEMENT);
}
return(true);
}