org.eclipse.epsilon.egl.formatter.language

Class PromelaFormatter

java.lang.Object

org.eclipse.epsilon.egl.formatter.language.PromelaFormatter

All Implemented Interfaces:

Formatter

public class PromelaFormatter
extends Object
implements Formatter

Constructor Summary

Constructors

Constructor and Description
PromelaFormatter()

Method Summary

Methods

Modifier and Type	Method and Description
String	format(String text)

Methods inherited from class java.lang.Object

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

Constructor Detail

PromelaFormatter

public PromelaFormatter()

Method Detail

format

public String format(String text)

Specified by:

format in interface Formatter