• Home
    • View
    • Login
    This page
    • Normal
    • Export PDF
    • Page Information

    Loading...
  1. Dashboard
  2. Undefined Space
  3. Compiler
  4. Java Corpus Tools

Page History

Versions Compared

Old Version 37

changes.mady.by.user J. Duke

Saved on Jul 21, 2012

compared with

New Version 38

changes.mady.by.user J. Duke

Saved on Jul 21, 2012

  • Previous Change: Difference between versions 36 and 37
  • Next Change: Difference between versions 38 and 39
  • View Page History

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Use Case 5: Find occurences of covariant array uses in assignment, method calls, constructor instantiations and return statements.

Improved Exception Handling

Use Case 6:

Evaluation

 

Final Array & Anonymous Class

Generic Constructors

Capture Conversion Idiom

Overloaded Methods

Covariant Arrays

Improved Exception Handling

JTL

 

 

X

 

X

 

BBQ

X

X

X

 ?

X

 

SOUL

 

 

 

 

 

 

JQuery

X

X

X

?

X

 

.QL

 

 

 

 

X

 

Jackpot

 

 

 

 

 

 

PMD

 

 

 

 

X

 

Covariant Arrays

- no support for statement level information

JTL

  •  no working Eclipse plugin found. (authors emailed)
  • argument list pattern (sec 2.2) public _ (_, String, *) : any public method that accept a String as its second argument and returns any type
  • quantifiers
  • anonymous class
  • pattern naming (integral := byte | short | int | long)
  • variable binding
  • no structural matching of AST (deemed difficult because uses class files) (so can't look match on a loop for example or find all local variables in method)
  • Wiki Markup
    read\[F\]/write\[F\] predicates to indicate whether a method reads/write to a field. Nice feature: write\[_\] tells whether method writes to a field at all. How do we do this recursively? All methods within the method are not writing to fields...

...

  • http://jquery.cs.ubc.ca/documentation/toc.html
  • http://jquery.cs.ubc.ca/documentation/appendix2.html
  • variable binding through predicates
  • Wiki Markup
    support for read & mutation of fields (write) \[writes(?B,?F,?L) means: "Block ?B writes to field ?F at location ?L"\]
  • no structural (statement) matching (e.g pattern match on a loop or body of a method)
  • no generics support

Wiki Markup
*+.QL \[authors emailed\]+*

  •   only members level info + method calls (no statement info stored in DB)

Wiki Markup
*{+}Jackpot \[emailed Jan from Netbeans\]+*

...

Overview
Content Tools
ThemeBuilder

Terms of Use
• License: GPLv2
• Privacy • Trademarks • Contact Us

Powered by a free Atlassian Confluence Open Source Project License granted to https://www.atlassian.com/software/views/opensource-community-additional-license-offer. Evaluate Confluence today.

  • Kolekti ThemeBuilder Powered by Atlassian Confluence 8.5.23
  • Kolekti ThemeBuilder printed.by.atlassian.confluence
  • Report a bug
  • Atlassian News
Atlassian
Kolekti ThemeBuilder EngineAtlassian Confluence
{"serverDuration": 502, "requestCorrelationId": "8f2d6d15c478b700"}