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 and Description
IdentifierTranslator(Map<String,String> formalToActualMap) An instance is created by giving it a defining map as a hashtable.

Method Summary

Methods

Modifier and Type	Method and 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