Skip to content

Add Typecheck3 and SymbolTable #8

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.

Sign up for GitHub

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

Jump to bottom
Draft
jra-se wants to merge 63 commits into
base: dev
Choose a base branch
from
Draft

Add Typecheck3 and SymbolTable #8

jra-se wants to merge 63 commits into from

Conversation

@jra-se
Copy link
Contributor

@jra-se jra-se commented Aug 20, 2025

  • Add Typecheck 3
  • Add Scopes Genitor
  • Add SymbolTableCompleter
  • Fix JavaDSLTool options for pretty printing and symbol table export

jra-se added 30 commits July 14, 2025 16:42
@jra-se
remove old DeSer skeletons
c76916e
@jra-se
add class2mc and testFixture dependencies
de940a8
@jra-se
add TypeCheck3 initialization
faae84e
@jra-se
set artifact name
acf065f
@jra-se
add default import for java.lang
b4a92da
@jra-se
TypeDeclaration symbol cleanup
e979fb7 
remove additional symbols for all classes extending TypeDeclaration as they get the common TypeDeclarationSymbol
@jra-se
make EnumConstantDeclaration a Field
835018d
@jra-se
add more scopes
fe52d03
@jra-se
fix overridden printWithoutTypeArguments
09926f8
@jra-se
add class2mc, pretty print and extended symbol table export options t…
bf7e62f 
…o the JavaDSLTool
@jra-se
add typevisitors for overridden productions
30e84c9
@jra-se
Merge branch 'refs/heads/dev' into symbol-table
802b8ed
@jra-se
fixed scope definitions
17241c0
@jra-se
add more type visitors
4bdec3c
@jra-se
add imports to the artifact scope
19584ef
@jra-se
add JavaDSLSymbolTableCompleter
9934475
@jra-se
add JavaDSLSymbolTableUtil
a8f5ec9
@jra-se
add JavaDSLSymbolTableTest
46df2f3 
The old symbol table tests were removed in 3fe8532 with the migration from MontiCore 5.0.6 to 7.4.0

This commit introduces a revamped version of these old tests, adapted to the new version
@jra-se
JavaDSLTool path option now required multiple usages instead of pathS…
15da6e2 
…eparator separated paths
@jra-se
fix JavaDSLToolTest
a3bc112
@jra-se
add unnamed default package if needed
110577f
@jra-se
set EnumConstant in the FieldSymbol of EnumConstantDeclarations
a7f79dd
@jra-se
add gradle task for tool compilation
36768fb
@jra-se
fix pretty printing option in the JavaDSLTool
c71cb69
@jra-se
allow EmptyStatement usage in the class body
0e493fc
@jra-se
remove transitive keyword as it is a contextual keyword
291527d
@jra-se
create symbol table only when needed
c74c4ae
@jra-se
print feedback about parsed and unparsable files
d9dc7e3
@jra-se
add missing ASTConstructorDeclaration type
33633b3
@jra-se
fix symbol table building in the JavaDSLTool
8aeeffa 
the SymTabCompleter should be delayed until the symbol table has been created for all input asts
@jra-se jra-se marked this pull request as draft August 26, 2025 11:57
jra-se added 29 commits August 26, 2025 14:00
@jra-se
Merge branch 'dev' into symbol-table
335c5e5
@jra-se
fix error codes
3a2f15a
@jra-se
add adapted symtab completer for LocalVariableDeclaration with var su…
f45d28f 
…pport
@jra-se
more unique error codes
82f9da7
@jra-se
set constructor type within EnumDeclaration
08310bc
@jra-se
add cocos for LocalVariableDeclarations using var
63e042c
@jra-se
override calculation of qualified names in IJavaDSLArtifactScope to s…
1e6b440 
…upport resolution of inner classes
@jra-se
override endVisit for inherited LocalVariableDeclarations to prevent …
f630203 
…unintended type recalculation
@jra-se
add overridden MCBasicTypesTypeVisitor to resolve non-static (inner) …
dd84d04 
…types
@jra-se
remove custom java productions in favour of imported library productions
3b8ced4
@jra-se
reintroduce missing InnerCreatorExpression
e1d7b0c
@jra-se
set basic type symbol properties in the genitor instead of symtab com…
dd515e4 
…pletion
@jra-se
rework SymTab completion for var types and add a third genitor phase
d275d81
@jra-se
moved SymTabCompletion to ScopesGenitorP2
e1be1b4
@jra-se
Merge branch 'refs/heads/dev' into symbol-table
c6144d8
@jra-se
Merge branch 'refs/heads/dev' into symbol-table
6c971df
@jra-se
log SymbolTable phases
40ed38b
@jra-se
reintroduce record nokeyword
f0e1610
@jra-se
allow additional colons after TypeDeclaration blocks
4eb6866
@jra-se
log SymbolTableConstruction timings
5ea4067
@jra-se
log instead of System.out.printf
2495c71
@jra-se
add support for additional colons after TypeDeclarations with correct…
4dae5b4 
… pretty-printing
@jra-se
add support for try-with-resources with external resources
72fd228
@jra-se
fix prettyprinter
78a139e
@jra-se
fix prettyprinter
a15243c
@jra-se
temporary removal of record-nokeyword
df92231
@jra-se
added MCStructuralTypes to support intersection types
5118e21
@jra-se
increase java thread stack
f96a165
@jra-se
added JavaDSLOOWithinTypeBasicSymbolsResolver
09c9824
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jra-se