()
| 1000 | } |
| 1001 | |
| 1002 | public TextState copyAll() { |
| 1003 | TextState tmp = copyState(); |
| 1004 | if(s.length()==0) { |
| 1005 | return tmp; |
| 1006 | } |
| 1007 | for(int i = 0; i<s.length(); i++) { |
| 1008 | tmp.s.append(s.charAt(i)); |
| 1009 | } |
| 1010 | return tmp; |
| 1011 | } |
| 1012 | |
| 1013 | public TextState copyState() { |
| 1014 | TextState tmp = new TextState(); |