Don't like ads? PRO users don't see any ads ;-)
Public Pastes
Guest

Untitled

By: a guest on Aug 3rd, 2012  |  syntax: None  |  size: 1.00 KB  |  hits: 10  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. //Option #A1 (currently in draft): Have a single node representing a parameter or return value *and* the hosting method/constructor
  2.  
  3. //path to @NotNull on the "book" parameter of addBook()
  4. Node(name=book, methodDescriptor=..., parameterDescriptor=..., constructorDescriptor=null)
  5.  
  6. //path to @NotNull on the "title" attribute of the book passed as argument to addBook()
  7. Node(name=book, methodDescriptor=..., parameterDescriptor=..., constructorDescriptor=null)
  8. Node(name=title, methodDescriptor=null, parameterDescriptor=null, constructorDescriptor=null)
  9.  
  10. //path to @NotNull on the "title" attribute of the 4th book in the list passed as argument to addAllBooks()
  11. Node(name=books, methodDescriptor=..., parameterDescriptor=..., constructorDescriptor=null)
  12. Node(name=title, methodDescriptor=null, parameterDescriptor=null, constructorDescriptor=null, inIterable=true, index=3)
  13.  
  14. //path to @NotNull on the return value of getLocation()
  15. Node(name=???, methodDescriptor=..., parameterDescriptor=null, constructorDescriptor=null)
create a new version of this paste RAW Paste Data