Blog of Adam Warski

Java, Scala, programming, ...

  • Blog of Adam Warski Twitter
  • Blog of Adam Warski Google+
  • Blog of Adam Warski RSS

Primary menu

Skip to primary content
  • Home
  • About me / my projects
  • All Posts

Category Archives: Typestate

JSR-308, checkers framework and static analysis on GeeCON

  • By Adam Warski
  • 26 April, 2010
  • 1 Comment

I’ll be speaking about the JSR-308 specification (annotations on java types), which will be part of Java 7, on the GeeCON conference, which will take place from the 13th till … Continue Reading →


Typestate checker – checking iterators

  • By Adam Warski
  • 23 September, 2009
  • No Comments

In the new 0.2.2 release of the typestate checker (an extension to the JSR308 checkers framework), you can now specify a state, to which an object transits, if a method … Continue Reading →


Javarsovia, static analysis and annotations

  • By Adam Warski
  • 2 July, 2009
  • No Comments

If you’ll be in Warsaw this weekend, and if you speak polish, be sure not to miss Javarsovia, a one-day conference organized by the Warsaw JUG. I am giving a … Continue Reading →


New features in Typestate Checker

  • By Adam Warski
  • 14 April, 2009
  • No Comments

I’ve uploaded a new version (0.2) of the typestate checker (for an introduction, see this blog post), which contains bug fixes and much improved exception handling. The binaries, source code … Continue Reading →


Envers 1.2.0.GA in Maven repository; JSR308 typestate and maven plugin in GIT

  • By Adam Warski
  • 11 March, 2009
  • No Comments

The recently released Envers 1.2.0.GA finally made it to the JBoss Maven repository; you can find it here: http://repository.jboss.org/maven2/org/jboss/envers/jboss-envers/1.2.0.GA-hibernate-3.3/ Also, following Bob’s example, I’ve put the JSR 308 typestate checker … Continue Reading →


JSR308 Checkers Maven2 plugin

  • By Adam Warski
  • 4 February, 2009
  • 6 Comments

I’ve written a prototype JSR308 Checkers Maven2 plugin. You can use the plugin to run any checker on the sources of your module(s). The JSR308 compiler, and in effect also … Continue Reading →


Typestate checker – introduction

  • By Adam Warski
  • 17 November, 2008
  • 3 Comments

When dealing with mutable objects in Java, we quite often see that “states” of the class considered emerge. The (abstract) “state” depends of course on the content of the fields … Continue Reading →


MOVED


I'm now blogging on SoftwareMill's blog. Please follow me there!

Recent Posts


  • Kafka with selective acknowledgments performance & latency benchmark
  • Why I started learning Emacs in 2016
  • Add a “dependencies” badge & tree to your project using UpdateImpact
  • Event sourcing + free monads = free sourcing?
  • MacWire 2.0: composing modules & cleanup

Links


Follow me on twitter!

Looking for end-to-end software development, project management, Scala experts? SoftwareMill is here to help:
Did you ever have problems with updating or managing dependencies in your Scala/Java/Groovy projects? Check out UpdateImpact!

Interested in weekly Scala news?

The best code-review tool:

Top Posts & Pages


  • Using Scala traits as modules, or the "Thin Cake" Pattern
  • How do iBeacons work?
  • Dependency injection with Scala macros: auto-wiring
  • DI in Scala: Cake Pattern pros & cons
  • JSF2 navigation: post->redirect->get
  • Dependency Injection in Scala: Extending the Cake Pattern
  • Dry parameter names
  • Event streaming with MongoDB
  • Frameworks vs Libraries as Inheritance vs Composition?
  • Quicklens: traversing options and lists

Categories


Archives


Copyright © 2007-2023 Blog of Adam Warski. All Right Reserved.
Powered by: WordPress | Theme: Simple Catch Pro