File tree
3,808 files changed
+250477
-227520
lines changed- .github
- workflows
- .mvn/wrapper
- .run
- dev-files
- doc/docs
- javaparser-core
- src/main
- java/com/github/javaparser
- ast
- body
- comments
- expr
- jml
- body
- clauses
- doc
- type
- nodeTypes
- observer
- stmt
- type
- validator
- language_level_validations
- chunks
- postprocessors
- visitor
- javadoc/description
- jml
- impl
- metamodel
- printer
- concretesyntaxmodel
- configuration
- imports
- lexicalpreservation
- resolution
- declarations
- logic
- model
- typesystem
- promotion
- types
- utils
- java-templates/com/github/javaparser
- javacc-support/com/github/javaparser
- javaparser-core-generators
- src
- main/java/com/github/javaparser/generator
- core
- node
- other
- quality
- utils
- visitor
- test
- java/com/github/javaparser/generator/core
- quality
- utils
- resources/com/github/javaparser/generator/core/quality/NotNullGeneratorTest
- expected
- original
- javaparser-core-metamodel-generator
- src/main/java/com/github/javaparser/generator
- javaparser-core-serialization
- src
- main/java/com/github/javaparser/serialization
- test
- java/com/github/javaparser/serialization
- resources
- javaparser-core-testing
- src/test
- java/com/github/javaparser
- ast
- body
- expr
- nodeTypes
- stmt
- validator
- visitor
- builders
- javadoc
- modules
- printer
- lexicalpreservation
- changes
- transformations/ast
- body
- quality
- remove
- utils
- version
- resources/com/github/javaparser
- issue_samples/issue_2627
- printer
- storage
- utils/source.root
- javaparser-core-testing-bdd
- javaparser-symbol-solver-core
- src/main
- java/com/github/javaparser/symbolsolver
- cache
- core/resolution
- javaparsermodel
- contexts
- declarations
- javassistmodel
- logic
- reflectionmodel
- resolution
- naming
- typeinference
- bounds
- constraintformulas
- typesolvers
- utils
- resources/jml
- javaparser-symbol-solver-testing
- src/test
- java/com/github/javaparser
- symbolsolver
- javaparsermodel
- declarations
- javassistmodel
- logic
- model/typesystem
- reflectionmodel
- resolution
- javaparser
- contexts
- naming
- typeinference/constraintformulas
- types
- typesolvers
- utils
- resources
- CompilationUnitContextResolutionTest/04_reviewComment/main
- differentiate_dot_expressions
- com/packageName
- enumLiteralsInAnnotatedClass/foo/bar
- enums
- issue113/com/foo
- base
- issue128/foo
- issue144
- issue1456
- bar
- foo
- issue1479
- issue1480
- issue1485
- issue1518
- issue1526
- compiles/d/e/f
- errors/d/e/f
- issue1574
- issue1599
- issue1769/foo
- issue1945/issue1945
- implementations
- interfaces
- main
- issue2236
- issue2362
- issue2366
- issue241
- issue2489
- issue276/foo
- issue2878
- issue2951/foo
- issue2953/foo
- issue3099/com/example
- javassist_generics/javaparser
- javassist_symbols
- pullRequest2398
- recursion-issue
- test_sourcecode
- javaparser_new_src
- javaparser-core/com/github/javaparser
- ast
- body
- comments
- expr
- nodeTypes
- stmt
- type
- visitor
- utils
- javaparser-generated-sources/com/github/javaparser
- javaparser_src
- generated/com/github/javaparser
- proper_source/com/github/javaparser
- ast
- body
- comments
- expr
- stmt
- type
- visitor
- javasymbolsolver_0_6_0/src
- java-symbol-solver-core/com/github/javaparser/symbolsolver
- javaparsermodel
- contexts
- declarations
- javassistmodel
- model/typesystem
- reflectionmodel
- resolution
- typesolvers
- java-symbol-solver-logic/com/github/javaparser/symbolsolver/logic
- java-symbol-solver-model/com/github/javaparser/symbolsolver/model
- declarations
- typesystem
- parametrization
- jmlparser-jml-tests/src/test/resources
- com/github/jml/resolution
- fullexamples
- key
- InformationFlow
- BlockContracts/src/contract
- ConditionalConfidential/src
- LoopInvariants/src/loop
- MethodContracts/src/contract
- MiniExamples/src/mini
- NewObjects/src/object
- PasswordFile/src/passwordfile
- SimpleEvoting/src/simple_evoting
- Sum/src
- ToyBanking/src
- banking_example
- banking_example2
- ToyVoting/src
- JLS_Conformance_Tests/JLS_15_12_4_Method_Invocation/src
- completionscopes/src
- exploration
- firstTouch
- 01-Agatha
- 05-ReverseArray
- classpath
- src
- 06-BinarySearch/src
- 07-Cell/src
- 08-Java5/src
- 09-Quicktour
- gui
- paycard
- 10-SITA
- 11-StateMerging
- heap
- Map/src/MapCaseStudy
- SemanticSlicing
- SmansEtAl/src
- Transactions/src
- WeideEtAl_01_AddAndMultiply/src
- WeideEtAl_02_BinarySearch/src
- Wellfounded
- block_contracts/src
- block_loop_contracts
- Divide/src
- Finally/src
- Free/src
- InternalExternal/src
- List/src
- ListsWithIterators/src
- Simple/src
- SimpleVariants/src
- coincidence_count
- comprehensions/src
- fm12_01_LRS
- fm12_02_PrefixSum
- fm12_03_TreeDel
- foveoos11_02_TreeMax
- inconsistent_represents/src
- information_flow/src
- initially
- javacard
- boot/java
- io
- lang
- src
- javacard/framework
- linkedListSimple
- list/src
- list_ghost/src
- list_recursiveSpec/src
- list_seq/src
- model_methods/src
- observer/src
- permissions
- lockspec/src
- mulleretal/src
- paper/src
- src
- threads/src
- permutedSum/src
- polarity_tests/src
- quicksort
- removeDups
- saddleback_search
- simple/src
- strictlyModular/src
- strictly_pure
- vacid0_01_SparseArray/src
- vacid0_05_RedBlackTrees/src/vacid0/redblacktree
- verifyThis11_1_Maximum
- verifyThis15_1_RelaxedPrefix/src
- verifyThis15_2_ParallelGcd/src
- verifyThis15_3_DLL/src
- verifyThis17_1_PairInsertionSort/src
- voting
- vstte10_01_SumAndMax/src
- vstte10_02_Invert/src
- vstte10_03_LinkedList/src
- vstte10_04_Queens/src
- vstte10_05_Queue/src
- vstte12_01_Swap
- vstte12_03_RingBuffer/src
- vstte12_04_TreeReconstruct/src
- newBook
- 09.list_modelfield
- Using_KeY
- Building_Dynamic_Logic_Proofs/09-methodCall/methodExample
- Understanding_Proof_Situations
- performance-test/src.templates
- smt
- casestudy
- src_replace
- taclettranslation/javaSource
- standard_key
- BookExamples
- 02FirstOrderLogic/java
- 03DynamicLogic
- jmlAnnotatedExamples
- source
- base
- base2
- base3
- control
- formulas
- 05FormalSpecification
- ATM_Example_JML
- While-Example_JML
- 08ProofObligations
- 10UsingKeY
- Bank-JML
- bank
- classpath
- methodExample
- arith
- CubicSum_src
- euclidean/src
- gemplusDecimal/src
- arrays
- arrayStoreException/classes
- creation/classes
- challenges/jacobsEtAl
- abruptTermination
- aliasing
- sideeffects
- static_initialisation/classes
- dynamicMethodBinding
- java
- pck
- pck2
- java_bug
- java_context
- instanceCreation/classes
- integerSemantics/classes
- invrule/source
- java_dl
- DLContractChooser/code
- PolishFlagSort
- arrayMax_java
- assert
- byzantine
- classpath
- compileTimeConstants_java
- constructorException
- cost
- deepNonNull
- examDB
- core
- gui
- exceptions_java
- for_demo
- function91
- geometry
- innerClasses
- innerClasses2
- java5/src
- jml-assert
- jml-bigint/src
- jml-free
- jml-information-flow
- jml-min
- list_reversal/src
- methodcall_java
- payCardJML
- classpath
- paycard
- payCardOCL/paycard
- query_java
- recursion
- reverseArray
- strassen
- sum
- symmArray_java
- testcontext_java
- while_demo
- preservesInReachableState/classes
- queries/src
- reachable/attributes_java
- simplifier
- staticInitialisation
- classpath
- java
- strings
- Case_Studies/src
- Sanitization/src
- src
- visualdebugger/src
- paycard
- prettyprinter
- taclets
- tests
- testGen
- absMin
- arrCopy
- bubble
- coverage
- listAndArray
- mid
- pin
- quickSort
- openjml
- src/org
- jmlspecs/openjmltest
- boogie
- testcases
- openjml/runners
- test
- Else
- anonymousCaptures
- api
- api2
- p1
- p2
- bag
- bagModified
- binarySearch
- buggyCalculator
- buggyPalindrome
- buggyPrimeNumbers
- buggyRandomNumbers
- callstacks
- checkAsserts
- consfresh
- constructorDefaults
- datatype
- enums
- enums1
- enums2
- esc2DArray
- esc2DTranspose
- escAbstractSpecs
- escAbstractSpecs2
- escAdd
- escAdd2
- escArrayCopy
- escAssignableBug
- escBadCast
- escBits
- escBodySpecs
- escCashAmountPrivate2
- escClone
- escConsInfeasible
- escConstructor
- escConstructor2
- escConstructor3
- escConstructor4
- escConstructor5
- escConstructor6
- escDMZLoop
- escDMZLoopA
- escDMZLoopB
- escDerivedInvariant
- escDeterministic
- escDeterministic2
- escDiverges
- escDiverges2
- escDouble
- escDouble2
- escDouble2b
- escDoubleArith
- escDoublyLinkedList
- escDup
- escEnsuresInfeasible
- escEnsuresInfeasible2
- escEnum
- escException
- escFPcompose
- escFunction
- escINF
- escInlineLoop
- escInvariants
- escInvariants1
- escInvariants2
- escJLS
- escJML
- escJml1
- escJml1a
- escJml2
- escJml3
- escJmlDup
- escJmlImport
- escLemma
- escLet
- escLoop
- escLoopAssignable
- escLoopModifies
- escModelFields
- escMultipleModel
- escMultipleModel2
- escMultipleModel3
- escOld
- escPrivate
- escRawding
- escRecursiveInvariant
- escRecursiveInvariant2
- escRecursiveInvariantMQ
- escRecursiveOld
- escSeparateJml
- escShortCircuit
- escSimpleString
- escSimpleString2
- escSimpleString3
- escSimpleStringWithAsserts
- escStrings
- escTrace
- escTrace2
- escTrace3
- escTrace4
- escTrace5
- escTrace6
- escTraceBS
- escTraceLoops
- escVector
- escrmloop
- escrmloop2
- exceptionCancel
- factorial
- feasible
- firstTest
- gaggBug
- gcdcalculator
- gitbug257
- gitbug260
- gitbug431
- gitbug444
- gitbug444a
- gitbug445
- gitbug445a
- gitbug446
- gitbug450
- gitbug450c
- gitbug456
- bufclient
- bytebuf
- gitbug456a
- bufclient
- bytebuf
- gitbug458
- gitbug458a
- gitbug458b
- gitbug459
- gitbug462a
- gitbug462b
- gitbug462c
- gitbug466
- gitbug467
- gitbug469
- gitbug470
- gitbug476
- gitbug477
- gitbug478
- gitbug480
- gitbug481b/org/apache/commons/math3
- analysis
- differentiation
- function
- integration
- gauss
- interpolation
- polynomials
- solvers
- complex
- dfp
- distribution
- fitting
- exception
- util
- filter
- fitting
- leastsquares
- fraction
- genetics
- geometry
- enclosing
- euclidean
- oned
- threed
- twod
- hull
- hull
- partitioning
- utilities
- spherical
- oned
- twod
- linear
- ml
- clustering
- evaluation
- distance
- neuralnet
- oned
- sofm
- util
- twod
- util
- ode
- events
- nonstiff
- sampling
- optim
- linear
- nonlinear
- scalar
- gradient
- noderiv
- vector
- jacobian
- univariate
- optimization
- direct
- fitting
- general
- linear
- univariate
- primes
- random
- special
- stat
- clustering
- correlation
- descriptive
- moment
- rank
- summary
- inference
- interval
- ranking
- regression
- transform
- util
- gitbug482/checkers/src/main/java/checkers
- gitbug498
- gitbug499
- gitbug500a
- gitbug500b
- gitbug500c
- gitbug502
- gitbug503
- gitbug503a
- gitbug518
- gitbug524
- gitbug528
- gitbug529
- gitbug532
- gitbug532a
- gitbug533
- gitbug533a
- gitbug534
- gitbug535
- gitbug536
- gitbug538
- gitbug539
- gitbug540
- gitbug542
- gitbug543
- gitbug545
- gitbug547
- gitbug548
- gitbug548rac
- gitbug548racB
- gitbug550
- gitbug554
- gitbug555
- gitbug556
- gitbug557
- gitbug558
- gitbug558a
- gitbug558b
- gitbug559
- gitbug559a
- gitbug560
- gitbug566
- gitbug567
- gitbug572
- gitbug573/pckg
- gitbug573a/pckg
- gitbug575
- gitbug578
- gitbug580
- gitbug582
- gitbug584
- gitbug589
- gitbug590
- gitbug590a
- gitbug591
- gitbug593
- gitbug594
- gitbug596a
- gitbug596b
- gitbug596c
- gitbug596d
- gitbug597
- gitbug598
- gitbug598a
- gitbug599
- gitbug600
- gitbug601
- gitbug602
- gitbug603
- gitbug604
- gitbug605
- gitbug606
- gitbug607
- gitbug608
- gitbug610
- gitbug611
- gitbug613
- gitbug615
- gitbug618
- gitbug621
- gitbug621a
- gitbug622
- gitbug622a
- gitbug623
- gitbug626
- gitbug627
- gitbug627a
- gitbug629
- gitbug629a
- gitbug630
- gitbug630a
- gitbug631
- gitbug633
- gitbug633a
- gitbug634
- gitbug635
- gitbug636
- gitbug637
- gitbug638
- gitbug640
- gitbug643
- gitbug644
- gitbug647
- gitbug648
- gitbug648a
- gitbug650
- gitbug650a
- gitbug650b
- gitbug650c
- gitbug653
- gitbug654
- gitbug659
- gitbug666
- gitbug667
- gitbug669
- gitbug670
- gitbug672
- commons-collections4-4.3-sources/org/apache/commons/collections4
- bag
- bidimap
- collection
- comparators
- functors
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
3,808 files changed
+250477
-227520
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
8 | 13 |
| |
9 | 14 |
| |
10 | 15 |
| |
| |||
13 | 18 |
| |
14 | 19 |
| |
15 | 20 |
| |
16 |
| - | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
17 | 24 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 |
| - | |
33 |
| - | |
34 |
| - | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
6 |
| - | |
7 |
| - | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
| |||
25 | 26 |
| |
26 | 27 |
| |
27 | 28 |
| |
28 |
| - | |
| 29 | + | |
29 | 30 |
| |
30 | 31 |
| |
31 | 32 |
| |
| |||
54 | 55 |
| |
55 | 56 |
| |
56 | 57 |
| |
57 |
| - | |
| 58 | + | |
58 | 59 |
| |
59 | 60 |
| |
60 | 61 |
| |
| |||
65 | 66 |
| |
66 | 67 |
| |
67 | 68 |
| |
68 |
| - | |
| 69 | + | |
69 | 70 |
| |
70 | 71 |
| |
71 | 72 |
| |
| |||
76 | 77 |
| |
77 | 78 |
| |
78 | 79 |
| |
79 |
| - | |
80 |
| - | |
| 80 | + | |
| 81 | + | |
81 | 82 |
| |
82 | 83 |
| |
83 | 84 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
17 | 18 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
10 | 10 |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
11 |
| - | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
12 | 12 |
|
+17-8
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
2 | 3 |
| |
3 | 4 |
| |
4 | 5 |
| |
5 |
| - | |
6 |
| - | |
7 |
| - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
8 | 12 |
| |
9 |
| - | |
10 |
| - | |
| 13 | + | |
| 14 | + | |
11 | 15 |
| |
12 | 16 |
| |
13 | 17 |
| |
14 | 18 |
| |
15 | 19 |
| |
16 | 20 |
| |
17 | 21 |
| |
18 |
| - | |
| 22 | + | |
| 23 | + | |
19 | 24 |
| |
20 | 25 |
| |
21 |
| - | |
| 26 | + | |
| 27 | + | |
22 | 28 |
| |
23 |
| - | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
24 | 32 |
| |
25 | 33 |
| |
| 34 | + | |
26 | 35 |
| |
27 | 36 |
| |
28 | 37 |
| |
|
0 commit comments