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.

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

Ported LFValidator.xtend to Java #886

Merged
merged 26 commits into from
Feb 4, 2022
Merged

Ported LFValidator.xtend to Java #886

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
7a32327
port checkImportedReactor, checkImport, checkName, dependsOnCycle, is…
housengw Jan 24, 2022
a54d891
port up to sameType
housengw Jan 25, 2022
3fdc3eb
port until checkPreamble
housengw Jan 25, 2022
49f386d
port more functions to java
housengw Jan 26, 2022
3a75c1d
Merge branch 'master' into xtend-to-java-validation
housengw Jan 26, 2022
ce6346e
finish converting LFValidator
housengw Jan 26, 2022
a08f29f
finish converting LFValidator for real
housengw Jan 26, 2022
c43082b
delete LFValidator.xtend
housengw Jan 26, 2022
dd34062
add error reporter getter and dummy xtend file
housengw Jan 26, 2022
a117db6
remove dummy validator
housengw Jan 27, 2022
301b7c2
fix bug in checkReaction
housengw Jan 27, 2022
fd29e0c
fix inferred type bug
housengw Jan 27, 2022
8f81777
fix checkConnection bug
housengw Jan 27, 2022
f1273fe
fix wrong conversion of toDefinition
housengw Jan 27, 2022
2181902
fix checkStp bug
housengw Jan 27, 2022
8e5092d
incorporate changes from PR #804
housengw Jan 27, 2022
459c12e
add import validation tests
housengw Jan 27, 2022
784a270
add tests for input type, stp and deadline validation
housengw Jan 27, 2022
c71df58
rename helper function
housengw Jan 27, 2022
dbc58db
add more tests
housengw Jan 28, 2022
86d1ab1
add more tests
housengw Jan 28, 2022
6c724b1
comment out import related validation tests for now
housengw Jan 28, 2022
112b3be
readd checkWidthSpec
housengw Jan 28, 2022
f9741cb
apply code review suggestion
housengw Jan 29, 2022
1250261
Merge branch 'master' into xtend-to-java-validation
housengw Jan 29, 2022
8dc9e89
resolve conflicts
housengw Jan 29, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading