diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-02-20 15:39:19 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-02-20 15:39:19 +0000 |
| commit | f61e177abb96034353572e5c32df0a8ae671a4d5 (patch) | |
| tree | 79a22edadba693c3c931535af8938056ac658b78 /src/main/java/org/zwobble/mammoth/documents/Style.java | |
| parent | 7ecf37adc3faff67781bdf46e624b54a35da9a54 (diff) | |
Produce warnings for unrecognised styles
Diffstat (limited to 'src/main/java/org/zwobble/mammoth/documents/Style.java')
| -rw-r--r-- | src/main/java/org/zwobble/mammoth/documents/Style.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/org/zwobble/mammoth/documents/Style.java b/src/main/java/org/zwobble/mammoth/documents/Style.java index 82a25de..2ce6edf 100644 --- a/src/main/java/org/zwobble/mammoth/documents/Style.java +++ b/src/main/java/org/zwobble/mammoth/documents/Style.java @@ -18,4 +18,9 @@ public class Style { public Optional<String> getName() { return name; } + + public String describe() { + String styleIdDescription = "Style ID: " + styleId; + return this.name.map(name -> name + " (" + styleIdDescription + ")").orElse(styleIdDescription); + } } |