Closed
Conversation
…am lib test definition
* TypeCheck3 with Streams (#30) ## Changelog ### Added * TypeCheck3 implementation (Closes #29) * Extended streams compatibility to additionally interpret port usages with one attribute as a C&C ports ### Changed * nat is now a primitive instead of a SymTypeOfObject (for typecheck3 compatibility) * deprecated TypeCheck1, TypeCheck1 CoCos, added TypeCheck3 CoCos ### Fixed * CC Port resolution for FQNs that contain that contain more than two parts * added "::" as potential delimiter for resolution (cherry picked from commit ef2cc5e) * #115 version bump to 7.8.2 --------- Co-authored-by: adriancostin-sd <marin@se-rwth.de>
* PartTypeDefinitionExistsCoCo (#32) * CoCo1 Every type used in "part name:type" has to be an existing Part-Definition * Test for MKPXCoCo1 * rename and changed error code * RefinementTargetDefinitionExistsCoCo (#33) * CoCo2 Every name used in "part def X refines Name" has to be an existing Part-Definition. * add Test for MKPX_CoCo2 * renamed and changed error codes * UniqueSubPartNamesInConnectionCoCo (#34) * CoCo3 * Test for MKPX_CoCo3 * wrong import * rennamed and changed error codes * QualifiedPortNameExistsCoCo (#35) * CoCo4 * not responsible for undefined parts covered in MKPX_CoCo3 * Test for MKPX_CoCo4 * add parser and Model Path * Missing Import SysMLv2Parser * Missing import assertFalse * Update MKPXCoCo4Test.java * Update MKPXCoCo4Test.java * Update MKPXCoCo4Test.java * Update MKPXCoCo4Test.java * syntax error fixed * renamed and changed error code * ParentComponentInputConnectionDirectionCoCo (#37) * CoCo6 * clean up * Update MKPX_CoCo6.java * Test for MKPX_CoCo6 * add parser and model path * Missing Import SysMLv2Parser * Missing import assertFalse * Update MKPXCoCo6Test.java * Update MKPXCoCo6Test.java * Update MKPXCoCo6Test.java * explicit port direction * fixed resolving issue * added warnings for inout ports * rename and new error codes * conjugated Ports allowed and Tests added * SubcomponentOutputConnectionDirectionCoCo (#36) * CoCo5 * wrong dir and clean up * add Test for MKPX_CoCo5 * add parser and model path * Missing Import SysMLv2Parser * Missing import assertFalse * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPX_CoCo5.java * Revert "Update MKPX_CoCo5.java" This reverts commit ae76ff6. * Update MKPX_CoCo5.java * Revert "Update MKPX_CoCo5.java" This reverts commit 710e2b8. * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * Update MKPX_CoCo5.java * Update MKPX_CoCo5.java * Update MKPXCoCo5Test.java * Update MKPX_CoCo5.java * explicit port def from (0_valid.sysml) * syntax error * Update MKPXCoCo5Test.java * Update MKPXCoCo5Test.java * fixed resolving method * added warning for inout ports * extended warning for target port * renamed and new error codes * allow conjugated ports * added Tests for conjuagted Ports * clean up * Update SubcomponentOutputConnectionDirectionCoCo.java * Clean Up Tests (#42) use SysMLv2Tool for scope genration and symboltable creation * version bump to 7.8.3
* add CoCos to Checker * version bump to 7.8.4
* switched some CoCos from extended Checker to default Checker * version bump to 7.8.5
* Eps added to global scope * Version erhoeht
* clean up SubPartNamesInConnectionExistCoCo remove ambiguous name check from SubPartNamesInConnectionExistCoCo * add UniqueSubPartNamesInParentCoCo * update SysMLv2Tool Checker * version bump to 7.8.7
#53) * Override runCoCosForAllDocuments Generated class "SysMLv2LspCoCoRunnerTOP" was missing the line 38: "di.findings.clear()" which lead to multiple Error listing * version bump to 7.8.8
* check both possible directions SysML v2 'Connection' elements do not inherently specify flow direction * version bump to 7.8.9 * edit ParentComponentInputConnectionDirectionCoCo description * remove unnecessary comments
* #119 Added RequirementSubject2Variable symbol adapter * #131 smaller refactor, removing duplicate type setter * #131 refactor var names * #115 version bump to 7.8.5 * #131 version bump to 7.8.10
* #119 Added RequirementSubject2Variable symbol adapter * #131 Added RequirmentUsage (id per name) to CC, Implemented sysmlv2 to CC Adapter * #131 smaller refactoring for var names * #131 smaller refactor, removing duplicate type setter * #131 refactor var names * #131 removed testcode comments * #115 version bump to 7.8.5 * #131 version bump to 7.8.5 * #131 version bump to 7.8.10 * #131 version bump to 7.8.11
* implement QuickFix for UniqueSubPartNameCoCo * version bumb to 7.8.13
#63) * Update MCLSG Version to 7.8.1 * version bumb to 7.8.14
…rence (#65) * Removed intermediate constraints-ast from cc-ast representations * Version bump to 7.8.15
* Übergänge mit „accept … via …“ werden jetzt korrekt erkannt * update version
* Grammatik angepasst, damit 'metadata def delayed' erlaubt wird * update version
* SymTypeExpression fuer MCTupleType * type.hasTypeInfo() check * Version erhoeht
* #201 tsyn Flag von dem Part Def ablesen * #201 Check if present AST node * #201 PartDefSymbol Type check
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
6 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.