Class IdentifierTranslator

java.lang.Object
com.uppaal.model.system.IdentifierTranslator
All Implemented Interfaces:
Translator

public class IdentifierTranslator
extends Object
implements Translator
  • Constructor Details

  • Method Details

    • 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