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
In switch statements without breaks, the following statements till the next break statement are also added to this branch