public class PromelaIfBlockFormatterTests
extends java.lang.Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`indentationContinuesUntilEndIfKeyword()`
`void`	`indentationContinuesUntilNextDoubleColon()`
`void`	`indentsAfterADoubleColon()`
`void`	`noIndentationUnlessInAnIfBlock()`
`void`	`reducesIndentationAtNextDoubleColon()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- PromelaIfBlockFormatterTests
```
public PromelaIfBlockFormatterTests()
```

public void indentsAfterADoubleColon()
                              throws java.lang.Exception

public void indentationContinuesUntilNextDoubleColon()
                                              throws java.lang.Exception

public void indentationContinuesUntilEndIfKeyword()
                                           throws java.lang.Exception

public void reducesIndentationAtNextDoubleColon()
                                         throws java.lang.Exception

public void noIndentationUnlessInAnIfBlock()
                                    throws java.lang.Exception

Class PromelaIfBlockFormatterTests