Package 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	Description
PromelaFormatter()

Method Summary

Modifier and Type	Method	Description
String	format(String text)

Methods inherited from class java.lang.Object

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

Constructor Details

PromelaFormatter

public PromelaFormatter()

Method Details

format

public String format(String text)

Specified by:

format in interface Formatter