RegEx: Muster ersetzen

[McFraggle]

Hallo!
Ich habe ein Problem von dem ich nicht weiß, wie ich es lösen kann:

Gegeben:
ein String input
ein Muster m = "xxx(\d*)xxx", also irgendwas mit ein paar Ziffern in der Mitte; die Ziffern mögen die Zahl z bilden
eine Map<Integer,String> map

Was rauskommen soll:
Der String input, wobei jedes Vorkommen von m durch map.get(z) ersetz sein soll.

Das Ganze muss möglichst effizient sein. Außerdem möchte ich NICHT nach allen m mit jeweils einem Schlüssel aus map in der Mitte suchen und diese dann ersetzen, da map erheblich mehr Einträge enthalten wird, als in input wirklich vorkommen.

Weiß jemand Rat?

 

[Wildcard]

Und dein Problem ist?

 

[McFraggle]

Mein Problem:
Aus dem was gegeben ist das zu basteln, was rauskommen soll.

Ist mein Post wirklich so unverständlich?

 

[Wildcard]

Du kennst RegEx und weißt das es Wildcards wie zB \d gibt. Daher verstehe ich nicht, was dir zur Lösung deines Problems noch fehlt.

 

[bygones]

match den ausdruck auf den input und laufe dann ueber die gefundenen gruppen. Hole dir dann aus der map die gerade prozessierte gruppe und ersetze diese in input

falls ichs verstanden haben sollte....

 

[McFraggle]

@Wildcard:
Ok, ja, ich habe mal etwas mit Javas Lib für reg. Ausdrücke gemacht, was aber nicht viel war. Die Theorie der regulären Ausdrücke kenne ich zudem auch und in anderen Sprachen habe ich auch schon mehr damit gearbeitet, aber eben nicht in Java. Ich weiß einfach nicht wie ich das mit den Klassen aus java.util.regex.* erledigen soll.
Ich brauche einfach die Java-Schreibweise für

for ( jedes m in input )
        m.ersetzeDiesesVorkommenDurch( map.get( m.getGruppe(1) ) )

Mein Problem ist es das in Java zu überseztzen, ok?

 

[McFraggle]

Ok, für die, die es interessiert: ich habe eine Lösung, wie sich das in Java ausdrücken lässt:

Pattern p = Pattern.compile("xxx(\\d*)xxx");		
StringBuffer b = new StringBuffer();
Matcher m = p.matcher(input);
while (m.find()) {
	m.appendReplacement(b, map.get(Integer.parseInt(m.group(1))) );
}
m.appendTail(b);

Den notwendigen Ansatz fand ich hier:
www.regular-expressions.info/java.html

Falls jemandem noch etwas Performanteres einfällt, bin ich immer dankbar...