uk.ac.ucl.cs.emofocl.emof.parser
Class EMOFNameConverter

java.lang.Object
  uk.ac.ucl.cs.emofocl.emof.parser.EMOFNameConverter

public class EMOFNameConverter
extends Object

Converts between safe and unsafe emof identifiers.

Author:

James

Constructor Summary

EMOFNameConverter()

Method Summary

static String	escape(String unescaped)
String	safeToUnsafe(String safe)
String	unescape(String escaped)
String	unsafeToSafe(String unsafe)

Methods inherited from class java.lang.Object

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

Constructor Detail

EMOFNameConverter

public EMOFNameConverter()

Method Detail

unsafeToSafe

public String unsafeToSafe(String unsafe)

escape

public static String escape(String unescaped)

safeToUnsafe

public String safeToUnsafe(String safe)

unescape

public String unescape(String escaped)