EmptyTranslator (UPPAAL model library)

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 Description

EmptyTranslator()
Method Summary

Modifier and Type Method Description

String translate(String content)

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

Constructor Details
- EmptyTranslator
  
  public EmptyTranslator()
Method Details
- translate
  
  public String translate(String content)
  
  Specified by:
  
  translate in interface Translator