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

IdentifierTranslator(Map<String,String> formalToActualMap)
An instance is created by giving it a defining map as a hashtable.

Method Summary

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