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
• Added support for using msecs for deltaT in simulation

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
• Added support for hiding method regions by annotation
• Added support for enums in SCCharts-based classes
• Improve using type references for return and parameter types
• Added support for references to SDs

Dataflow

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

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
• Added black-white mode support

Compilation

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