Class PromelaIfBlockFormatterTests


  • public class PromelaIfBlockFormatterTests
    extends Object
    • Constructor Detail

      • PromelaIfBlockFormatterTests

        public PromelaIfBlockFormatterTests()
    • Method Detail

      • indentsAfterADoubleColon

        public void indentsAfterADoubleColon()
                                      throws Exception
        Throws:
        Exception
      • indentationContinuesUntilNextDoubleColon

        public void indentationContinuesUntilNextDoubleColon()
                                                      throws Exception
        Throws:
        Exception
      • indentationContinuesUntilEndIfKeyword

        public void indentationContinuesUntilEndIfKeyword()
                                                   throws Exception
        Throws:
        Exception
      • reducesIndentationAtNextDoubleColon

        public void reducesIndentationAtNextDoubleColon()
                                                 throws Exception
        Throws:
        Exception
      • noIndentationUnlessInAnIfBlock

        public void noIndentationUnlessInAnIfBlock()
                                            throws Exception
        Throws:
        Exception