Package com.uppaal.model.system

Class IdentifierTranslator

  • All Implemented Interfaces:
    Translator
    public class IdentifierTranslator
extends java.lang.Object
implements Translator

    • Constructor Summary

      Constructors 
      Constructor Description
      IdentifierTranslator​(java.util.Map<java.lang.String,​java.lang.String> formalToActualMap)
      An instance is created by giving it a defining map as a hashtable.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String translate​(java.lang.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​(java.util.Map<java.lang.String,​java.lang.String> formalToActualMap)
        An instance is created by giving it a defining map as a hashtable.

    • Method Detail

      • translate

        public java.lang.String translate​(java.lang.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