← Back to branch summary

~tapaal-workflow/tapaal/swlWorkFlow

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

  • Committer: launchpad-janitor
  • Author(s): Jakob Taankvist
  • Date: 2012-08-22 09:10:26 UTC
  • mfrom: (730.1.1 constantsInWeightsBug)
  • Revision ID: tapaal@cs.aau.dk-20120822091026-vmdwu3tz93hui3qi
Fixes a bug that when saving a net with weights the file got corrupted by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java
107
107
                modelStream.append("source=\"" + inputArc.source().name() + "\" ");
108
108
                modelStream.append("target=\"" + inputArc.destination().name() + "\" ");
109
109
                if(inputArc.getWeight().value() > 1){
110
 
                        modelStream.append("weight=\"" + inputArc.getWeight().toString(false) + "\"");
 
110
                        modelStream.append("weight=\"" + inputArc.getWeight().nameForSaving(false) + "\"");
111
111
                }
112
112
                
113
113
                modelStream.append("/>\n");
120
120
                modelStream.append("source=\"" + outputArc.source().name() + "\" ");
121
121
                modelStream.append("target=\"" + outputArc.destination().name() + "\" ");
122
122
                if(outputArc.getWeight().value() > 1){
123
 
                        modelStream.append("weight=\"" + outputArc.getWeight().toString(false) + "\"");
 
123
                        modelStream.append("weight=\"" + outputArc.getWeight().nameForSaving(false) + "\"");
124
124
                }
125
125
                
126
126
                modelStream.append("/>\n");
134
134
                modelStream.append("transition=\"" + transArc.transition().name() + "\" ");
135
135
                modelStream.append("target=\"" + transArc.destination().name() + "\" ");
136
136
                if(transArc.getWeight().value() > 1){
137
 
                        modelStream.append("weight=\"" + transArc.getWeight().toString(false) + "\"");
 
137
                        modelStream.append("weight=\"" + transArc.getWeight().nameForSaving(false) + "\"");
138
138
                }
139
139
                
140
140
                modelStream.append("/>\n");
147
147
                modelStream.append("source=\"" + inhibArc.source().name() + "\" ");
148
148
                modelStream.append("target=\"" + inhibArc.destination().name() + "\" ");
149
149
                if(inhibArc.getWeight().value() > 1){
150
 
                        modelStream.append("weight=\"" + inhibArc.getWeight().toString(false) + "\"");
 
150
                        modelStream.append("weight=\"" + inhibArc.getWeight().nameForSaving(false) + "\"");
151
151
                }
152
152
                
153
153
                modelStream.append("/>\n");