← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/visitors/OptimizedStandardTranslationQueryVisitor.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/visitors/OptimizedStandardTranslationQueryVisitor.java
9
9
        protected static final String CONTROL = "Control";
10
10
        protected static final String FINISH = "finish";
11
11
        protected static final String LOCK_BOOL = "lock";
12
 
        
13
 
        protected static final String TOKEN_TEMPLATE_NAME = "P";
 
12
 
 
13
        protected static final String TOKEN_TEMPLATE_NAME = "Token";
14
14
 
15
15
        @Override
16
16
        public void visit(TCTLAtomicPropositionNode atomicPropositionNode, Object context) {
28
28
 
29
29
        @Override
30
30
        protected void addEnding(QueryType type) {
31
 
                if(type == QueryType.EF || type == QueryType.AF){
 
31
                if (type == QueryType.EF || type == QueryType.AF) {
32
32
                        append(" && ");
33
 
                }else{
 
33
                } else {
34
34
                        append(" || !");
35
35
                }
36
 
                append(String.format("(%1$s.%2$s == 1 && %3$s.%4$s == 1 && %5$s == 0)", LOCK_TEMPLATE, PLOCK, CONTROL, FINISH, LOCK_BOOL));
 
36
                append(String.format("(%1$s.%2$s == 1 && %3$s.%4$s == 1 && %5$s == 0)",
 
37
                                LOCK_TEMPLATE, PLOCK, CONTROL, FINISH, LOCK_BOOL));
37
38
        }
38
39
 
39
40
}