SoMoX/GAST2SEFF

This page documents how the GAST2SEFF code works.

• GAST2SEFFJob.execute(): Create SEFF for each GASTBehaviour (method)

• FunctionCallClassificationVisitor: sets if it is an internal (same component), external (another component) or library call

• GastStatementVisitor: creates the RDSEFF

If several internal actions are in a sequence: Only the first internal action is mapped

Switch Statement

In switch statements without breaks, the following statements till the next break statement are also added to this branch

Example New Behaviour for switch statements: cases without break