diff options
author | Benjamin Jones <bjones@galois.com> | 2013-07-03 09:46:29 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2013-07-03 09:46:29 -0700 |
commit | a2e6f86c5b1d33d7d37afe7af807701d2ee74e9b (patch) | |
tree | efd4dd6488f1e4f156ffbaccfeb10a40f86fc231 /src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java | |
parent | 0f717faf40cd7ea6c28c407d0a517d730fc6591f (diff) | |
parent | 02b1aff60bad96af14ec73eab5a128c98f821f61 (diff) |
Merge branch 'master' of github.com:GaloisInc/FiveUI
Diffstat (limited to 'src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java')
-rw-r--r-- | src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java b/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java index a367d1d..6c83c7b 100644 --- a/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java +++ b/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java @@ -205,4 +205,9 @@ public class Result { + " |\\_ " + _ruleDesc + "\n" + " \\_ " + _prob; } + + public String getXpath() { + // TODO Auto-generated method stub + return null; + } } |