Draft
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 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
* Extending CC-Requirement * Version bump to 7.8.28
* update generator * version bumb to 7.8.29
* #190 Extending PortUsageSymbol by hasCardinality flag, using flag in var-resolving * Version bump to 7.8.30
#86) * #156 Extending CC-RequirementSymbol by invariant and subject fields * Version bump to 7.8.31
* Eps als Variable statt als Typ definiert * Fixed function call * Removed tsyn type test * #214 Version erhoeht
* pass on Context when searching in EnclosingScope * Documentation * version bumb to 7.8.34 * add Notice to Documentation * Documentation and Formatting
version update pr polishing Support #refinement dependency syntax in part definitions
Co-authored-by: Marcel Grün <marcel.gruen1@rwth-aachen.de>
* feat(imports): Initializing imports for ArtifactsScopes * feat(imports): Added tests for fqn and import-resolving * feat(imports): Documentation about SysML-Imports and our current implementation * renamed documentation file for imports * Version bump to 7.8.37 --------- Co-authored-by: Justus R <justdevcode@gmail.com>
* prototype for supporting imports within sysmlscopes * rework on basis of ast traversal for import collecting, removing interfaces * removing imports from artifacts-scopes to prevent duplicate resolution with sysmlv2scopes * import-resolution tests changed to type based resolution instead of specific ones * migrated resolution logics to continueWithEnclosingScope->calcQNamesForEnclosingScope to reduce unecessary replacement of resolveTypeDefMany * cleanup of first iteration test leftovers * removing debug logs from tests --------- Co-authored-by: Justus R <justdevcode@gmail.com>
…108) * prototype for supporting imports within sysmlscopes * rework on basis of ast traversal for import collecting, removing interfaces * cleanup of first iteration test leftovers * removing debug logs from tests * added continueVariableWithEnclosing, continueFunctionWithEnclosing * Version bump to 7.8.38 * formatting --------- Co-authored-by: Justus R <justdevcode@gmail.com>
* ScalarValues-Importe werden im Symboltable unterstützt * update version * fix test
* Add test for calc defs as functions * treat CalcUsage as function symbol with the help of adapter * Handle calc return types in TypesCompleter * change calc def to calc usage since we are actually dealing with usage in this model * move ad-hoc visitor into TypesCompleter and added adapter documentation * documentation formatting * typo fix --------- Co-authored-by: ling guo dei <guo.ling@rwth-aachen.de>
…or import-resolving (#111) * fixing resolve logics from PR/97 to stop resolving in enclosing scopes after a matching symbol was found * resolve by imports: adapted (java-) & docs * Version bump to 7.8.41 --------- Co-authored-by: Justus R <justdevcode@gmail.com>
Co-authored-by: ling guo dei <guo.ling@rwth-aachen.de>
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
8 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.