Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Various improvements and new features for OO and timed SCCharts #64

Draft
wants to merge 88 commits into
base: master
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
88 commits
Select commit Hold shift + click to select a range
284bf33
sccharts: Added passive clocks
a-sr Aug 31, 2022
04941cb
sccharts: Fixed sleepT detection
a-sr Sep 14, 2022
be687c4
sccharts.ui: Diagrams now skip the circumflex in names
a-sr Sep 21, 2022
3957e10
sccharts: Improved clock detection
a-sr Sep 21, 2022
269ca82
sccharts: Added type for storing time of clocks
a-sr Sep 21, 2022
65bf35d
sccharts: Added support for time as return value
a-sr Sep 21, 2022
331ce53
sccharts.ui: Improved spacing and text size in dataflow
a-sr Sep 24, 2022
13ed548
sccharts.ui: Improved port order in induced dataflow
a-sr Sep 24, 2022
9ae489f
sccharts.ui: Fixed space for declarations in dataflow regions
a-sr Sep 29, 2022
2be284e
sccharts.ui: Added support for SD display on actions
a-sr Sep 29, 2022
43a98dc
sccharts.ui: Improved method signature
a-sr Oct 3, 2022
67b0c8d
kexpressions: Added support for host return types in methods
a-sr Oct 3, 2022
ba6f025
sccharts: Added support for logical clocks.
a-sr Oct 4, 2022
0b6fed7
sccharts.ui: Improved visualization of scheduling directives
a-sr Oct 4, 2022
0178d11
scg: Improved handling of scheduling directives
a-sr Oct 4, 2022
35e2102
sccharts.ui: Renamed clock-time to time in synthesis
a-sr Oct 5, 2022
d89c116
sccharts.ui: Fixed main label detection in label shortening
a-sr Oct 5, 2022
6a571a8
scg: Fixed handling of scheduling directives in SCG transformation
a-sr Oct 5, 2022
9279f6b
sccharts.ui: Compacted SCG in method regions
a-sr Oct 5, 2022
cda3441
sccharts: Format
a-sr Oct 24, 2022
4f7ece5
sccharts.ui: Added more options for method body representation
a-sr Oct 25, 2022
9e4c85d
sccharts.ui: Fixed input ref serialization
a-sr Oct 29, 2022
52f4cf3
sccharts: Added type restrictions for overriding methods
a-sr Oct 29, 2022
ef42cf4
sccharts: Fixed superfluous initialization of empty classes
a-sr Oct 29, 2022
95f2fa2
scchart: Added experimental support for partial binding for DF actors
a-sr Oct 29, 2022
16f86ca
Some new OO features
a-sr Dec 12, 2022
9dd3588
Some minor improvements to OO features.
a-sr Dec 15, 2022
a3d186a
sccharts.ui: Added abstract style for method regions
a-sr Dec 16, 2022
557a277
sccharts: Added support for methods in DF region actors
a-sr Dec 17, 2022
b4838d0
sccharts: Imporved termination handling in the OO DF transformation
a-sr Dec 18, 2022
6cdc044
sccharts.ui: Added support for reference declaration preview
a-sr Dec 19, 2022
bbc0a03
sccharts: Some fixed bugs
a-sr Dec 19, 2022
c5fb220
sccharts: Several fixes and extension of oo support
a-sr Dec 23, 2022
0cbaa35
scg: Fixed support of sequential fork
a-sr Dec 25, 2022
bf8ac8a
sccharts: Added OO class type annotations
a-sr Dec 26, 2022
31d4da6
sccharts: Improved UML class diagram view
a-sr Dec 27, 2022
da1ba95
sccharts.ui: Skip ref declarations if ref regions are shown
a-sr Dec 30, 2022
9b99007
sccharts: Fixed valued signal emit serialization
a-sr Feb 8, 2023
40b5352
sccharts: Switched to lexical order as default for scheduling host class
a-sr Feb 8, 2023
64541e9
sccharts: Improved timed automata error for existing deltaT
a-sr Feb 12, 2023
5d25051
sccharts: Added support for handling SDs on timing guards
a-sr Feb 12, 2023
0f13b0d
scg: Fixed naming problem with xtext escape in method name
a-sr Feb 12, 2023
ebe076a
sccharts: Added support for overriding methods with concretized generic
a-sr Feb 12, 2023
ca2b470
scg: Added missed VORs adjustments in method transformation
a-sr Feb 12, 2023
ee0154b
sccharts: Added unpacking processor to test classes
a-sr Feb 12, 2023
9f9a1da
scg: Fixed sequential fork depending on dead guards
a-sr Feb 12, 2023
0d7a695
sccharts.ui: Improved referenced region style
a-sr Feb 26, 2023
55333da
sccharts: Added support for spreading a vector to an array of SCCharts
a-sr Jun 4, 2023
bf1d2fd
sccharts: Added support for binding pure signal into dataflow SCCharts
a-sr Jun 4, 2023
7070092
sccharts: Added support for inheritance of policies
a-sr Jun 4, 2023
e56dcda
sccharts: Fixed bug in recent fix for SD scheduling
a-sr Jun 4, 2023
0e053e4
sccharts: Reference transformation new preserves pragmas of imported
a-sr Jun 6, 2023
f3d9ef1
sccharts: Fixed NPE with extern references in dataflow regions
a-sr Jun 7, 2023
e6829bc
sccharts: Refined validator
a-sr Jun 7, 2023
a7def44
sccharts: Fixed problem with sub-VOs being replaced by bindings with the
a-sr Jun 7, 2023
9a80caa
sccharts: Fixed problem with unbound subreferences.
a-sr Jul 4, 2023
351ef3c
build: Fixed egit dependency source in target platform
a-sr Jul 5, 2023
a368595
build: Minor reordering
a-sr Jul 5, 2023
779a836
sccharts: Fixed support for clocks in classes
a-sr Jul 6, 2023
eab7db4
sccharts: Fixed support for clocks in classes
a-sr Jul 6, 2023
b785aaf
codegen: Fixed serialization of extern refs in classes
a-sr Jul 9, 2023
97e77e4
sccharts: Fixed serialization of visibility of methods in SCCharts
a-sr Sep 8, 2021
7f2cdbd
sccharts.ui: Added expansion annotation for method regions
a-sr Sep 24, 2021
a5a2c1f
sccharts.ui: Changed region style to no longer require text size
a-sr Sep 4, 2023
614c158
Merge branch 'als/master' of [email protected]:kieler/semantics.git into…
a-sr Sep 4, 2023
7d01cce
Merge remote-tracking branch 'origin/master' into als/master
a-sr Feb 22, 2024
cc7dadb
Merge branch 'master' into als/master
a-sr Jul 23, 2024
f88154a
kicool: Improved dependency type handling for SD induced dependencies
a-sr Jul 23, 2024
2d4e206
sccharts.test: Simplified test structure for netlist test
a-sr Jul 23, 2024
c9cba71
sccharts: Added xtext aid in serializing method calls inside methods
a-sr Jul 23, 2024
79d88a3
sccharts: Fixed missed case in recent serialization
a-sr Jul 23, 2024
671dca1
sccharts: Activated and improved OO DF transformation
a-sr Jul 24, 2024
5e5af49
scl: Fixed enum validation to handle assignments of enum variables
a-sr Jul 25, 2024
69bda7f
sccharts: Adjusted scoper to allow acces to all IO declarations in
a-sr Jul 25, 2024
6ab4f6a
sccharts: Fixed dependency analysis for host classes with SDs and
a-sr Jul 25, 2024
3f7f127
sccharts.ui: Improved enum and method call support in dataflow
a-sr Jul 25, 2024
646be7e
sccharts: Deactivated oo dataflow transformation as it is not yet fully
a-sr Jul 25, 2024
6bdc662
kext.text: Fixed KExpression tests
a-sr Jul 25, 2024
5080980
sccharts.ui: Added support for hiding method regions with annotation
Drakae Jul 29, 2024
c38c257
sccharts.ui: Added support for black-white mode for dataflow regions
Drakae Jul 29, 2024
01432c6
sccharts.ui: eliminated gradient in black-white mode in dataflow
Drakae Jul 29, 2024
dc145d4
sccharts: Fixed NPE in default schedules for host classes
a-sr Jul 29, 2024
bd2502b
tests: Improved naming of JUnit model tests to prevent mixup in the UI
a-sr Jul 29, 2024
27e5ae2
sccharts: Added support for enum in sccharts-based classes
a-sr Jul 29, 2024
df3b732
sccharts: Improved handling of signals in dataflow regions
a-sr Aug 22, 2024
aef4cd4
scg.c: Fixed missing include for random call c code generation
a-sr Nov 5, 2024
9006cd3
sccharts: Added error message for unsupported signals in classes
a-sr Dec 12, 2024
f2a2d95
Merge remote-tracking branch 'origin/master' into als/master
a-sr Dec 12, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,7 @@ else if (rule == grammarAccess.getAnnotationRule()
}

/**
* <pre>
* Contexts:
* Annotation returns CommentAnnotation
* ValuedAnnotation returns CommentAnnotation
Expand All @@ -111,45 +112,52 @@ else if (rule == grammarAccess.getAnnotationRule()
*
* Constraint:
* values+=COMMENT_ANNOTATION
* </pre>
*/
protected void sequence_CommentAnnotation(ISerializationContext context, CommentAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* CommentAnnotatonSL returns CommentAnnotation
*
* Constraint:
* values+=SL_COMMENT_ANNOTATION
* </pre>
*/
protected void sequence_CommentAnnotatonSL(ISerializationContext context, CommentAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* Annotation returns StringAnnotation
* ValuedAnnotation returns StringAnnotation
* KeyStringValueAnnotation returns StringAnnotation
*
* Constraint:
* (name=ExtendedID values+=EStringAllTypes values+=EStringAllTypes*)
* </pre>
*/
protected void sequence_KeyStringValueAnnotation(ISerializationContext context, StringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* Pragma returns Pragma
* PragmaTag returns Pragma
*
* Constraint:
* name=ExtendedID
* </pre>
*/
protected void sequence_PragmaTag(ISerializationContext context, Pragma semanticObject) {
if (errorAcceptor != null) {
Expand All @@ -163,71 +171,82 @@ protected void sequence_PragmaTag(ISerializationContext context, Pragma semantic


/**
* <pre>
* Contexts:
* QuotedStringAnnotation returns StringAnnotation
* QuotedKeyStringValueAnnotation returns StringAnnotation
*
* Constraint:
* (name=ExtendedID values+=STRING values+=STRING*)
* </pre>
*/
protected void sequence_QuotedKeyStringValueAnnotation(ISerializationContext context, StringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* QuotedStringAnnotation returns TypedStringAnnotation
* QuotedTypedKeyStringValueAnnotation returns TypedStringAnnotation
*
* Constraint:
* (name=ExtendedID type=ExtendedID values+=STRING values+=STRING*)
* </pre>
*/
protected void sequence_QuotedTypedKeyStringValueAnnotation(ISerializationContext context, TypedStringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* RestrictedTypeAnnotation returns StringAnnotation
* RestrictedKeyStringValueAnnotation returns StringAnnotation
*
* Constraint:
* (name=ExtendedID values+=EStringBoolean values+=EStringBoolean*)
* </pre>
*/
protected void sequence_RestrictedKeyStringValueAnnotation(ISerializationContext context, StringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* RestrictedTypeAnnotation returns TypedStringAnnotation
* RestrictedTypedKeyStringValueAnnotation returns TypedStringAnnotation
*
* Constraint:
* (name=ExtendedID type=ExtendedID values+=EStringBoolean values+=EStringBoolean*)
* </pre>
*/
protected void sequence_RestrictedTypedKeyStringValueAnnotation(ISerializationContext context, TypedStringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* Pragma returns StringPragma
* StringPragma returns StringPragma
*
* Constraint:
* (name=ExtendedID values+=EStringAllTypes values+=EStringAllTypes*)
* </pre>
*/
protected void sequence_StringPragma(ISerializationContext context, StringPragma semanticObject) {
genericSequencer.createSequence(context, semanticObject);
}


/**
* <pre>
* Contexts:
* Annotation returns TagAnnotation
* RestrictedTypeAnnotation returns TagAnnotation
Expand All @@ -236,6 +255,7 @@ protected void sequence_StringPragma(ISerializationContext context, StringPragma
*
* Constraint:
* name=ExtendedID
* </pre>
*/
protected void sequence_TagAnnotation(ISerializationContext context, TagAnnotation semanticObject) {
if (errorAcceptor != null) {
Expand All @@ -249,13 +269,15 @@ protected void sequence_TagAnnotation(ISerializationContext context, TagAnnotati


/**
* <pre>
* Contexts:
* Annotation returns TypedStringAnnotation
* ValuedAnnotation returns TypedStringAnnotation
* TypedKeyStringValueAnnotation returns TypedStringAnnotation
*
* Constraint:
* (name=ExtendedID type=ExtendedID values+=EStringAllTypes values+=EStringAllTypes*)
* </pre>
*/
protected void sequence_TypedKeyStringValueAnnotation(ISerializationContext context, TypedStringAnnotation semanticObject) {
genericSequencer.createSequence(context, semanticObject);
Expand Down
Loading
Loading