Package org.palladiosimulator.somox.ast2seff.util

Class SwitchStatementUtil

java.lang.Object
org.palladiosimulator.somox.ast2seff.util.SwitchStatementUtil
public class SwitchStatementUtil extends Object
Computes for a SwitchStatement the case branches in a way that to the case branches, that do not end with break, the following case branch is added.

  • Constructor Summary

    Constructors
    Constructor
    Description
    SwitchStatementUtil()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static List<List<org.eclipse.jdt.core.dom.Statement>>
    createBlockListFromSwitchStatement(org.eclipse.jdt.core.dom.SwitchStatement switchStatement)
    Switch Statement Util function to define the blocks which get modeled as branch transitions in the SEFF model This function generates a list of all statements from the beginning of the case to the next break or end of the switch statement Therefore statements can be included into several lists when a case is not ended with a break statement

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • SwitchStatementUtil

      public SwitchStatementUtil()

  • Method Details

    • createBlockListFromSwitchStatement

      public static List<List<org.eclipse.jdt.core.dom.Statement>> createBlockListFromSwitchStatement(org.eclipse.jdt.core.dom.SwitchStatement switchStatement)
      Switch Statement Util function to define the blocks which get modeled as branch transitions in the SEFF model This function generates a list of all statements from the beginning of the case to the next break or end of the switch statement Therefore statements can be included into several lists when a case is not ended with a break statement
      Parameters:
      switchStatement - Switch statement which should get get broken in blocks
      Returns:
      List of lists with statements of one block