← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/TAPNComposer.java

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/TAPNComposer.java
77
77
                                if (isComponentEmpty(this.guiModels.get(tapn1))) { 
78
78
                                        continue;
79
79
                                }
80
 
                                greatestWidth = greatestWidth >= getRightmostObject(guiModels.get(tapn1)).getPositionX() ? greatestWidth : getRightmostObject(guiModels.get(tapn1)).getPositionX();
81
 
                                greatestHeight = greatestHeight >= getLowestObject(guiModels.get(tapn1)).getPositionY() ? greatestHeight : getLowestObject(guiModels.get(tapn1)).getPositionY();
 
80
                                greatestWidth = Math.max(greatestWidth, getRightmostObject(guiModels.get(tapn1)).getPositionX());
 
81
                                greatestHeight = Math.max(greatestHeight, getLowestObject(guiModels.get(tapn1)).getPositionY());
82
82
                        }
83
83
                }
84
84
                
534
534
                                                }
535
535
                                        }
536
536
        
537
 
                                        ((TimedTransportArcComponent) newInArc).setGroupNr(nextGroupNr + 1);
 
537
                                        newInArc.setGroupNr(nextGroupNr + 1);
538
538
                                        
539
539
                                        //Create output transport arc
540
540
                                        Transition guiSourceOut = guiModel.getTransitionByName(mapping.map(transitionTemplate, arc.transition().name()));