master
jml-extract
Repository badge with A rating
View on GitHub
List view
C

lib\src\main\java\jml\impl\NaiveASTFlattener0.java

{{getIssueFilterCount()}}
Autofix is being processed.
View latest PR
View latest PR Create Fix PRCreate Fix Commit
Sort issues by weightChecked See most recent firstChecked
Create group issue on {{Issues[0].ProviderName}} Create group comment on {{Issues[0].ProviderName}}
Go to {{model.Filter.SwitchView.Name}} issues Go to source view Go to new issues Go to fixed issues View file on {{model.ProviderName}}
{{::lineNumber}} 

                

                    
                    
                

            

        

    





    















    

        


    

        

            
No issues found

            

                
“

                
Good code is its own best documentation. As you’re about to add a comment, ask yourself, ‘How can I improve the code so that this comment isn’t needed?’

            

            
– Steve McConnell