IdentifierTranslator (UPPAAL model library)

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

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..

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - IdentifierTranslator
```
public IdentifierTranslator(Map<String,String> formalToActualMap)
```
    An instance is created by giving it a defining map as a hashtable.
- 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 interface Translator