← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/translations/tapn/OptimizedStandardTranslation.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/OptimizedStandardTranslation.java
127
127
                                TimedAutomaton tokenTemplate = createTokenAutomaton(degree2Model);
128
128
                                tokenTemplate.setInitLocation(getLocationByName(PCAPACITY));
129
129
                                nta.addTimedAutomaton(tokenTemplate);
130
 
                                tokenTemplate.setName(TOKEN_TEMPLATE_NAME + String.valueOf(degree2Model.marking().size() - 1 + i));
 
130
                                tokenTemplate.setName(TOKEN_TEMPLATE_NAME + (degree2Model.marking().size() - 1 + i));
131
131
                        }
132
132
                }
133
133
                
432
432
                return new OptimizedStandardNamingScheme();
433
433
        }
434
434
        
435
 
        protected class OptimizedStandardNamingScheme implements TranslationNamingScheme {
 
435
        protected static class OptimizedStandardNamingScheme implements TranslationNamingScheme {
436
436
                private static final int NOT_FOUND = -1;
437
437
                private final String START_OF_SEQUENCE_PATTERN = "^(\\w+?)_(?:1_in|single|deg2)$";
438
438
                private Pattern startPattern = Pattern.compile(START_OF_SEQUENCE_PATTERN);