如何替换字符串的子字符串
假设我有一个这样的字符串: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();
}
}
现在我必须找到一种方法来用另一个子字符串替换一个子字符串。