← Back to branch summary

~tapaal-contributor/tapaal/layout-of-net-depends-on-gridsize-1429880

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/SharedTransition.java

  • Committer: Jiri Srba
  • Date: 2019-03-15 19:19:11 UTC
  • mfrom: (993.4.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20190315191911-fajcguzg36amc53p
merged in branch lp:~tapaal-contributor/tapaal/unshare-transitions-in-all-components-1820014 fixing deletion of shared transitions across different components

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/SharedTransition.java
7
7
 
8
8
import dk.aau.cs.util.IntervalOperations;
9
9
import dk.aau.cs.util.Require;
 
10
import pipe.dataLayer.Template;
 
11
import pipe.gui.CreateGui;
10
12
 
11
13
public class SharedTransition {
12
14
        private static final Pattern namePattern = Pattern.compile("^[a-zA-Z_][a-zA-Z0-9_]*$");
152
154
                }
153
155
                return true;
154
156
        }
 
157
        public ArrayList<String> getComponentsUsingThisTransition(){
 
158
                ArrayList<String> components = new ArrayList<String>();
 
159
                for(Template t : CreateGui.getCurrentTab().allTemplates()){
 
160
                        TimedTransition tt = t.model().getTransitionByName(this.name);
 
161
                        if(tt != null){
 
162
                                components.add(t.model().name());
 
163
                        }
 
164
                }
 
165
                return components;
 
166
        }
155
167
}