diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-24 18:11:25 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-24 18:11:25 -0700 |
commit | 40342e3311a773827c5ed30a4539675d9f6c0a3a (patch) | |
tree | f937901165e139148b0d3f6d6f93d535ed9676d3 /src/batchtools/rsTester | |
parent | ec4915ec0f9d9ae6401ff50ccedb191550de5106 (diff) |
minor reformatting of the headless results page
Diffstat (limited to 'src/batchtools/rsTester')
-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; + } } |