Various improvements and new features for OO and timed SCCharts

[a-sr]

Timed Autotmata

• Added passive clocks
• Added type for storing time of clocks
• Added support for time as return value
• Improved dataflow visualization
• Added support for logical clocks
• Improved support of SDs in timed automata

OO

• Generic type restriction for primitive types
• References to primitive generic types
• Primitive typed method parameters and return types
• Access to super scope for methods
• Method overloading based on parameter list
• Input-Output enum references
• Added support for policies in SCCharts-based classes
• Added support for class type annotations
• Fixed abort regions to improve compiling complex models
• Added support for overriding methods with concretized generic types in signature
• Added support for inheritance of policies

Dataflow

• Added support for methods in DF region actors
• Added OO-based DF transformation
• Added support for signals in dataflow
• Added support of enums

Diagrams

• Improved dataflow visualization
• Improved visualization of scheduling directives
• Added more options for method body representation
• Added abstract method indicator
• Added visualization for SCCharts-based class instances
• Added dedicated UML synthesis

Compilation

• Improved experimental sequential fork support
• Host methods now use lexical order as default scheduling order