~tapaal-workflow/tapaal/swlWorkFlow

Viewing changes to src/dk/aau/cs/model/tapn/Weight.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

files modified:
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/model/tapn/ConstantWeight.java

src/dk/aau/cs/model/tapn/IntWeight.java

src/dk/aau/cs/model/tapn/Weight.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/model/tapn/Weight.java

public abstract int value();

public abstract Weight copy();

public abstract String toString(boolean displayConstantnames);

public abstract String nameForSaving(boolean writeConstantNames);

public static Weight parseWeight(String attribute, ConstantStore constants) {

Weight weight;

Older »