PromelaIfBlockFormatterTests (parent 0.0.1-SNAPSHOT API)

public class PromelaIfBlockFormatterTests
extends Object

Constructors
Constructor and Description
`PromelaIfBlockFormatterTests()`

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

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

public void indentsAfterADoubleColon()
                              throws Exception

public void indentationContinuesUntilNextDoubleColon()
                                              throws Exception

public void indentationContinuesUntilEndIfKeyword()
                                           throws Exception

public void reducesIndentationAtNextDoubleColon()
                                         throws Exception

public void noIndentationUnlessInAnIfBlock()
                                    throws Exception

Class PromelaIfBlockFormatterTests