← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/translations/tapn/StandardTranslation.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/translations/tapn/StandardTranslation.java
122
122
                                TimedAutomaton tokenTemplate = createTokenAutomaton(degree2Model);
123
123
                                tokenTemplate.setInitLocation(getLocationByName(PCAPACITY));
124
124
                                nta.addTimedAutomaton(tokenTemplate);
125
 
                                tokenTemplate.setName(TOKEN_TEMPLATE_NAME + String.valueOf(degree2Model.marking().size() - 1 + i));
 
125
                                tokenTemplate.setName(TOKEN_TEMPLATE_NAME + (degree2Model.marking().size() - 1 + i));
126
126
                        }
127
127
                }
128
128
                
376
376
                return new StandardNamingScheme();
377
377
        }
378
378
        
379
 
        protected class StandardNamingScheme implements TranslationNamingScheme {
 
379
        protected static class StandardNamingScheme implements TranslationNamingScheme {
380
380
                private static final int NOT_FOUND = -1;
381
381
                private final String START_OF_SEQUENCE_PATTERN = "^(\\w+?)_1_in$";
382
382
                private final String DEG1_START_OF_SEQUENCE_PATTERN = "^(\\w+?)_1$";