Project

General

Profile

Actions
Copy link

Bug #5812

closed

Замена методов toString() на getLabel() (refactoring)

Added by Alexander Protsenko over 9 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Printer)
Target version:
0.1
Start date:
04/08/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
20150701

Description

В ru.ispras.retrascope.engine.efsm.printer.graphml:
Класс EfsmGraphMlVisitor использует в качестве получения параметра "заголовка" (label) данные с помощью методов toString().
А именно:

    Integer.toHexString(idState) + Integer.toString(modelId), state.toString(),

    GraphMlUtils.printNode(printWriter, guargId, guardedAction.getGuard().toString(),

    GraphMlUtils.printNode(printWriter, actionId, guardedAction.getAction().toString(),

Методы toString предлагается заменить аналогичными, например: getLabel(), которые и должны появится у классов указанных выше.

Actions
Copy link

Also available in: Atom PDF