com.uppaal.model.system
Class EmptyTranslator

java.lang.Object
  com.uppaal.model.system.EmptyTranslator

All Implemented Interfaces:

Translator

public class EmptyTranslator
extends Object
implements Translator

A translator that does not translate anything, but merely gives back what it recieves.

Can be used for cases where translation is not necessary.

Author:

Lasse Poulsen

Constructor Summary

EmptyTranslator()

Method Summary

String

translate(String content)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EmptyTranslator

public EmptyTranslator()

Method Detail

translate

public String translate(String content)

Specified by:

translate in interface Translator