Package com.uppaal.model.system
Class IdentifierTranslator
- java.lang.Object
-
- com.uppaal.model.system.IdentifierTranslator
-
- All Implemented Interfaces:
Translator
public class IdentifierTranslator extends Object implements Translator
-
-
Constructor Summary
Constructors Constructor Description IdentifierTranslator(Map<String,String> formalToActualMap)
An instance is created by giving it a defining map as a hashtable.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
translate(String content)
Returns a translated string where all identifiers have been replaced (by some actual parameter) if they denote a formal parameter..
-
-
-
Method Detail
-
translate
public String translate(String content)
Returns a translated string where all identifiers have been replaced (by some actual parameter) if they denote a formal parameter..- Specified by:
translate
in interfaceTranslator
-
-