假设我有一个string
这样的字符串:
"abcd=0; efgh=1"
我想用“dddd”替换“abcd”。我试图做这样的事情:
string.replaceAll("abcd","dddd");
这没用。有什么建议么?
编辑:更具体地说,我正在使用 Java,我正在尝试解析 HTML 文档,特别是<script>
标签之间的内容。我已经找到了一种将这些内容解析为字符串的方法:
if(tag instanceof ScriptTag){
if(((ScriptTag) tag).getStringText().contains("DataVideo")){
String tagText = ((ScriptTag)tag).getStringText();
}
}
现在我必须找到一种方法如何用另一个子字符串替换一个子字符串。