~cpn-gui/tapaal/transportArc

changed coloredTransport label to reflect TACPN and updated toString for colored time constraints

added added

removed removed

import dk.aau.cs.gui.Context;

import dk.aau.cs.model.tapn.Colored.Color;

import dk.aau.cs.model.tapn.Colored.ColoredTimeInterval;

import dk.aau.cs.model.tapn.Colored.ColoredTransportArc;

import dk.aau.cs.model.tapn.Colored.Expressions.ArcExpression;

import pipe.gui.CreateGui;

import pipe.gui.graphicElements.PlaceTransitionObject;

}

@Override

public void updateLabel(boolean displayConstantNames) {

String labelText = "";

if (underlyingTransportArc() != null) {

if (((ColoredTransportArc)underlyingTransportArc()).getExpression() != null)

labelText += ((ColoredTransportArc)underlyingTransportArc()).getExpression().toString() + "\n";

List<ColoredTimeInterval> ctiList = ((ColoredTransportArc)underlyingTransportArc()).getCtiList();

for (ColoredTimeInterval timeInterval : ctiList) {

if (timeInterval != null)

labelText += timeInterval.toString() + "\n";

}

label.setText(labelText);

}

@Override

public void showTimeIntervalEditor() {

EscapableDialog guiDialog = new EscapableDialog(CreateGui.getApp(), "Edit Transport Arc", true);