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

Constructors

Constructor and Description
EmptyTranslator()

Method Summary

Methods

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