1736:74cd21f2c2fe | 1737:7a9ef837e57f |
---|---|
79 return false; | 79 return false; |
80 } | 80 } |
81 return true; | 81 return true; |
82 } | 82 } |
83 | 83 |
84 public int charCount() { | |
85 int n = 0; | |
86 for (Content c : contents) | |
87 n += c.charCount(); | |
88 return n; | |
89 } | |
90 | |
84 private void ensureMutableContents() { | 91 private void ensureMutableContents() { |
85 if (contents.isEmpty()) | 92 if (contents.isEmpty()) |
86 contents = new ArrayList<Content>(); | 93 contents = new ArrayList<Content>(); |
87 } | 94 } |
88 } | 95 } |