Public Object

I want !instanceof

2010-03-05T10:57:00.000-08:00

I'm about a year late for project coin. But I still want an obvious Java language feature: !instanceof. To illustrate:

  public void equals(Object other) {
    if (other !instanceof Foo) {
      return false;
    }
    return ((Foo) other).bar.equals(bar);
  }

With the instanceof operator, null instanceof T is false for all values of T. Symmetrically, I suppose null !instanceof T should always be true.

MP3 players, crapware and Mac OS X

2010-03-02T21:04:00.000-08:00

Out of the box, Windows computers work with whichever accessories you buy for them. If you get an MP3 player, it doesn't matter who sells it. Walkman, Zune and Sandisk devices all sync with Windows Media Player.

But Macs can't do this. Connect a GoGear to a MacBook and you'll have an unsatisfying USB thumbdrive experience. Mac OS X doesn't have a general purpose device sync app!

Yes, there is iTunes. But it's only there to help Apple sell their wares. It is explicitly programmed to avoid doing general device management. When Palm tried to wire their device into iTunes, Apple made it explicit that OS X isn't smart enough to talk to third-party devices:

"Apple does not provide support for, or test for compatibility with, non-Apple digital media players"
—Tom Neumayr, Apple spokesperson

Windows PCs sometimes include crapware like AOL or the Google Toolbar. This is preinstalled software intended to sell you something; savvy users promptly remove it. iTunes is the same thing. Don't confuse it with an operating system facility; that only leads to heartache.

org.w3c.dom WTFs of the week

2010-02-20T01:02:00.000-08:00

I've been working on bringing Android's DOM implementation up to version 3. This process has exposed me to some ugly code. For your entertainment, here are the worst bits:

DocumentBuilder.parse() doesn't accept references to unparsed entities. But you can build such a DOM programatically.
The API doesn't specify whether entity references will be expanded at parse time. To be sure, both the parser and its client need to have code that implements entity expansion.
Node.setTextContent("foo") silently does nothing for certain node types.
Node.lookupNamespaceURI(null) disagrees with isDefaultNamespace(String) for certain node types.
Node.getFeature() forces users to map Strings to Java types. Type safety by fortune!
The API bends over backwards to allow competing implementations to interoperate. For example, Node.compareDocumentPosition() throws when "the compared nodes are from different DOM implementations that do not coordinate to return consistent implementation-specific results." Who does this?
The Javadoc from UserDataHandler.NODE_DELETED: "This may not be supported or may not be reliable in certain environments, such as Java, where the implementation has no real control over when objects are actually deleted." It says this in Javadoc!

I parse XML so you don't have to.

Hexed by converting ints to hex

2009-12-15T15:55:00.000-08:00

Java's Integer class includes two methods for converting values into Strings. There's a general one:

    /**
     * Converts the specified integer into a string representation based on the
     * specified radix.
     */
    public static String toString(int i, int radix) { ... }

Plus there's also methods for commonly used bases:

    /**
     * Converts the specified integer into its hexadecimal string
     * representation.
     */
    public static String toHexString(int i) { ... }

    /**
     * Converts the specified integer into its octal string representation.
     */
    public static String toOctalString(int i) { ... }

    /**
     * Converts the specified integer into its binary string representation.
     */
    public static String toBinaryString(int i) { ... }

My expectation was that the first was simply a more general form. Given this assumption, I expected the following program to print the same three lines twice:

  public static void main(String... args) {
    System.out.println(Integer.toHexString(0xCAFE));
    System.out.println(Integer.toHexString(0xBABE));
    System.out.println(Integer.toHexString(0xCAFEBABE));
    System.out.println(Integer.toString(0xCAFE, 16));
    System.out.println(Integer.toString(0xBABE, 16));
    System.out.println(Integer.toString(0xCAFEBABE, 16));
  }

But it turns out that negative numbers have slightly surprising results when combined with arbitrary bases. The program prints the following:

cafe
babe
cafebabe
cafe
babe
-35014542

If you're emitting hex or binary data, you probably should avoid toString(int value, int radix).

Floating point equality

2009-11-19T22:24:00.000-08:00

In working through some bugs in Harmony, one thing that's been consistent is my surprise. Floating point's special values slightly complicate things...

Negative Zero: Floats and doubles have two distinct representations for nada: 0.0F and -0.0F.
NaN: Rather than risking an ArithmeticException, floats model error values natively. There are multiple binary representations of NaN; use floatToRawIntBits() to see yours. Most developers will prefer floatToIntBits(), which returns the same bits for all NaNs.

There's also a variety of ways to store floating point values. Each representation has its own merits and drawbacks:

Primitives: Fast, memory efficient, and nonnull.
In wrappers: Classes like Float and Double can be used in collections. Wrapper variables are nullable and implement convenient APIs from Number and Comparable.
In buffers: FloatBuffer and DoubleBuffer store nonnull values in bulk. Buffers provide direct access to data in files and streams.

Unfortunately, the interplay between the values and their representation is imperfect. Consider how equality differs by value and representation.

Values Primitives
== In wrappers
Object.equals() In buffers
Buffer.equals()
-0.0, +0.0 equal not equal equal
NaN, NaN not equal equal equal

Values	Primitives `==`	In wrappers `Object.equals()`	In buffers `Buffer.equals()`
-0.0, +0.0	equal	not equal	equal
NaN, NaN	not equal	equal	equal

This behaviour is inconsistent but I suspect the differences weren't introduced lightly. Primitive types need to work in expressions so that 5/0 doesn't equal 0/0. But wrapper types need to work in collections so that Set.add() is consistent with Set.contains().

On their own, exotic values and exotic representations both make sense. But since complexity is the N×M product of the feature set, our result is inevitable pain. Would be language designers should prefer fewer representations and fewer special values.

iPhone Storage

2009-11-09T20:56:00.000-08:00

John Gruber praises the iPhone's lack of upgradeable storage:

I simply don’t understand why Motorola doesn’t follow Apple’s lead and provide ample built-in storage rather than relying on removable SD cards.

He overlooks an obvious benefit of having SD cards for storage: they're cheaper! Compare what it costs to equip a device with a substantial amount of memory:

iPhone 3G S Droid
16GB $199 $199
32GB $299 $279

	iPhone 3G S	Droid
16GB	$199	$199
32GB	$299	$279

Apple has a long history of gouging its customers on non-upgradeable memory. 32GB of data is the maximum amount that iPhone users may accumulate. Droid users who have >32GB of data can shuffle multiple cards.

Champagne Floats

2009-10-28T00:46:00.001-07:00

Suppose you've got a string that contains a floating point number: "3.5" or "2.5E-3". Your goal is to get a float from that number. There are a few different techniques to try...

If you're familiar with parseDouble(), you could use that and then cast:

    String s = ...;
    float a = (float) Double.parseDouble(s);

Or you could save some bits and parse directly using parseFloat():

    String s = ...;
    float b = Float.parseFloat(s);

Do the two mechanisms yield the same result?

Ponder the problem, and when you're ready you can read my analysis in the comments...

IntelliJ goes open source!

2009-10-16T23:36:00.001-07:00

I absolutely love IntelliJ IDEA; it's my favourite application. This tool makes programming in Java fun. It's my gateway to the zone, that magical hypnotic place where I disappear into the code for hours at a time. I write better code because I use IntelliJ, and I enjoy my job more.

So I am thrilled that the fine folks at JetBrains are open sourcing the core of their flagship product. The Community Edition includes the key features that make using it fun. Hooray!

Cedric doubts that going open source is a good idea:

"JetBrains deserves the utmost respect for what they have created and pioneered, but IDEA going opensource means that it will now slowly die. [...] Commercial software that goes open source never ends well, even for products that don't suck.

I disagree. I predict that going open source will increase the product's revenue. Consider the universe of all Java programmers. JetBrains' potential customer base is limited to those developers that are both:

Fans of IntelliJ. Knowing an IDE deeply is similar to knowing a programming language deeply.
People willing to pay for good tools. These are the serious developers who recognize that their productivity and enjoyment is heavily impacted by their choice of IDE.

This is a small intersection, particularly since many developers start with an open source IDE and never try anything else:

Now let's assume that by going open source, more developers will try IntelliJ to see what the fuss is about. They'll fall in love with it eventually. Those willing to pay will upgrade for some productivity-boosting premium features.

As the IntelliJ userbase grows, the premium edition ownership will follow.

This free/premium model is also used by Flickr and Flickr Pro: give away community editions (which cost nothing) to sell premium editions. Chris Anderson's latest book, Free covers this subject in detail. It's an entertaining read, and you can get a community edition of the book for no charge.

Shush! Ringer Restorer

2009-08-17T21:27:00.001-07:00

I just uploaded a new Android app, Shush! Ringer Restorer:

When you turn your ringer off for a movie, this app turns it back on afterwards.
It's activated when you silence your ringer using the volume buttons. You don't need to remember a special app! Once your ringer is off, it asks you how long to stay silent: ½, 1, 2 or 3 hours. Never miss another important call!

I'm familiar with the Android tools, but this is the first app I've written. The whole project took around 16 hours, including downloading the SDK, writing the code, drawing icons, testing, publishing, and open sourcing.

I love Android because it enables apps like this one. My app receives ringer changes, opens dialogs with a polished UI, schedules background tasks, and turns on the ringer. I wrote in on Sunday and my friends downloaded it on Monday. I couldn't do any of this on the other device platforms.

Shush! was a fun project, and I'm now brainstorming a more ambitious follow-up.

I dig the Creative Commons

2009-06-03T07:49:00.000-07:00

Joe Clark, author of a fantastic book on Canadian English and a childish rant about Google employees is at it again. This time he's planning a book about how copyright benefits creative people:

Who’s sticking up for the individual creator? Neither side is. The maximalist side wants to collect as many copyrights under a corporate umbrella as possible, guarding them forever. The minimalist side wants you to voluntarily surrender most of your important rights – also forever – on the off chance that “the culture” might someday wish to use your work.

I read Mark Helprin's Digital-Barbarism on the same topic. That book was entertaining, but it's more of an old man's rant than a reasoned argument. I assume Mr. Clark will be more disciplined, and read about copyright before he starts to write about copyright.

One premise of the new book is that creative commons is a bad idea. You sign up for creative commons because of peer pressure and don’t even know what you’re signing away. Naturally I feel compelled to share some counter examples that demonstrate the benefit of creative commons, from both sides of the copyright transaction.

As a creative person

While in highschool, I created a few dozen fonts and gave them away under a liberal license (creative commons didn't exist in 1997). I created the fonts because I enjoyed doing so, not because I wanted to become the next Britney Spears of fonts. By lowering the cost of using my fonts (to zero!), their use increased. There are great websites organized around sharing free fonts. As a consequence, I get to see my creative works in the wild. I've seen 'em in everything from video games to tattoos. One reason people prefer my fonts over the esthetically superior commercial ones is that they don't need permission to use mine!

As a consumer of creative works

Recently I've been giving tech talks at conferences. I get bored by text-only slides, so I've made my own presentation more interesting with pictures. For example, when explaining the Provider abstraction, I like to show a Pez Dispenser. The pictures are nice-to-have, but not essential. If I needed permission, I probably wouldn't include the pictures! It's a simple consequence of logistics — I may assemble the slides 48 hours before they're shown, but it takes longer than that to negotiate permission. Thanks to creative commons, I have a prettier slide deck.

The long tail

One of Joe Clark's budding arguments is that only the A-list content get remixed. As an amateur artist and a consumer of amateur art, I disagree. Unless you're doing it for the money, consider licensing your photos, fonts, music, drawings and writing under a creative-commons license. It allows other to showcase your talent!

Inside Guice 2: exercising elements

2009-05-21T19:57:00.000-07:00

Part 3 in a Series.

Background: modelling configuration

One of the most distinct features of Guice is our fluent embedded domain specific language (DSL). By chaining method calls, Guice supports a wide combination of binding sources, targets and scopes:

    bind(PaymentService.class)
        .annotatedWith(Names.named("creditCard"))
        .to(VisaPaymentService.class)
        .in(RequestScoped.class);

    bind(new TypeLiteral<Connector<Processor>>() {})
        .annotatedWith(Online.class);
        .toProvider(new CheckoutProcessorConnectorProvider());

    bind(TransactionLog.class)
        .toInstance(new InMemoryTransactionLog());

In our first implementation of the DSL, calls to bind() etc. configured the injector directly. This works well, but it's not very flexible. As long as creating injectors is all that we do with modules, it's sufficient.

The Elements SPI

In Guice 2, the DSL is used to build an intermediate configuration model. Calls to bind() etc. create Element instances. For example, the three statements above will create a LinkedKeyBinding, a ProviderInstanceBinding and an InstanceBinding. The API to get the configuration model from a module is called Elements.getElements().

By converting the method calls into value objects, we get an opportunity to inspect and transform them. For example, the following prints all of the keys bound in a module:

  public static Set<Key<?>> getBoundKeys(Module module) {
    Set<Key<?>> result = newHashSet();
    for (Element element : Elements.getElements(module)) {
      if (element instanceof Binding) {
        result.add(((Binding) element).getKey());
      }
    }
    return result;
  }

Internally, we use this API to simplify injector creation. Now we can process elements in order we want, even when that's different from the order that the user has specified. We prefer to handle scope registrations before bindings, and bindings before injection requests.

These elements are useful in other APIs. For module overrides, we take elements from two modules and compute a union. We can also use elements to unit test modules without having their dependencies on hand. They'll also come in handy for development tools.

By converting method calls into value objects, we can do powerful new things.

Inside Guice 2: injecting null

2009-05-19T21:19:00.000-07:00

Part 2 in a Series.

Background: marking nulls

Null is bad. Most of the time, use of null indicates clumsy modeling. Instead of null collections, use empty ones. Instead of a null service, use a no-op implementation. The JDK gets this wrong for comparators by using null as a stand-in for natural order; the result is special cases instead of polymorphism.

To help you to detect null problems sooner, Guice refuses to inject null by default. When asked to do so, it will fail with a ProvisionException instead. This increases your confidence in your app by eliminating an entire category of runtime problems.

But sometimes — and only sometimes — null is necessary. Value objects don't lend themselves to the null object pattern. And in some cases you can be sure that a null reference won't be used. To make intentional null use explicit, you can use one of several @Nullable annotations, including those from FindBugs, IntelliJ or old snapshots of Google Collections. These will soon be standardized by another @Nullable in JSR 305.

Injecting null

Guice tolerates null to be injected wherever a parameter is annotated @Nullable:

  public Person(String firstName, String lastName, @Nullable Phone phone) {
    this.firstName = checkNotNull(firstName, "firstName");
    this.lastName = checkNotNull(lastName, "lastName");
    this.phone = phone;
  }

But which @Nullable?

Rather than arbitrarily choosing an @Nullable to support (and alienating everyone else), Guice permits any Nullable annotation to be used. And I do mean any: it scans the injected parameter or field's annotations, looking at their names. If any has the simple name Nullable, it is honoured. This means that even your company's internal com.company.util.Nullable will work.

More generally

This trick works particularly nicely for annotations, since they tag objects without adding behaviour. It also avoids an aggravating problem, where code that looks right doesn't work right. Consider:

import com.google.inject.Inject;
import javax.annotation.Named;

public class RealPaymentService implements PaymentService {

  @Inject
  public RealPaymentService(@Named("creditcard") Processor processor) {
    ...
  }
}

This code appears legitimate, and it might even execute without error. But the wrong @Named annotation is applied! The unreleased javax.annotation.Named is incompatible with Guice and has no effect. Since it looks the same as com.google.inject.name.Named, there's potential for error.

When applying annotations, be careful about overlapping names. When processing them, be mindful of mistakes! What's the annotation-equivalent of a precondition? If a user applies an annotation incorrectly, is it detected?

Part 3.

Inside Guice 2: binder sources

2009-05-19T19:45:00.000-07:00

To celebrate the release of Guice 2.0, I'd like to showcase my favourite parts of the new code. In this N-part series, I'll go deep into the implementation details to explain the clever and interesting code within the project. I'll focus on general techniques that you can use in your own applications.

Background: Getting sources

When you invoke methods on a Binder (or invoke them indirectly, via AbstractModule), Guice captures the caller's source. This is used to create javac-like error messages in the event of a configuration problem. For example, the following binding is illegal because Executor is an interface without an implementation:

class BadModule extends AbstractModule {
  protected void configure() {
    bind(Executor.class);
  }
}

When this faulty module is used to create an injector, Guice reports the problem with the source line where it occurred:

Exception in thread "main" com.google.inject.CreationException: Guice creation errors:

1) No implementation for java.util.concurrent.Executor was bound.
  at com.publicobject.blog.Scratch$1.configure(Scratch.java:18)

1 error

To obtain the offending source line, Guice grabs a stacktrace using new Throwable().getStackTrace() and scans through its frames to find the logical source. It has to ignore some classes: AbstractModule.java, RecordingBinder.java, etc.

The stacktrace grabbing trick is extremely cool, but it's not sufficient. Guice can't always know the full set of classes that it should skip. Extensions like Multibinder create bindings on their user's behalf and need to omit additional classes from the trace (RealMultibinder.java, Multibinder.java). And Provider Methods specify their source as a method name instead of relying on a stack trace.

We need an API to specify which classes to skip in stacktraces, and another API to specify a source object directly.

Binder Sources

The difficulty in finding a nice API for configuring sources is that it's naturally temporal. We want to specify a source, use it for a binding or two, and then reset it back:

  public void configure(Binder binder) {
    Method method = ...
    Object previous = binder.getSource();
    binder.setSource(method);
    try {
      binder.bind(method.getGenericReturnType())
          .toProvider(new ProviderMethod(method));
    } finally {
      binder.setSource(previous);
    }
  }

Yuck.

Taking inspiration from List.subList(), our approach is to instead return a new binder that works with the provided source:

  public void configure(Binder binder) {
    Method method = ...
    Binder sourcedBinder = binder.withSource(method);
    sourcedBinder.bind(method.getGenericReturnType())
          .toProvider(new ProviderMethod(method));
  }

Every binding, injection or configuration applied to sourcedBinder will use the user-specified source. But the passed-in binder is untouched. With some inlining and the binder's existing embedded DSL, the whole thing can be a single statement:

  public void configure(Binder binder) {
    Method method = ...
    binder.withSource(method)
          .bind(method.getGenericReturnType())
          .toProvider(new ProviderMethod(method));
  }

This new API is cute and fits nicely with the existing code.

Part 2.

My perspective on Atinject

2009-05-07T23:52:00.000-07:00

Back in February, a discussion flared up over Guice's lack of support for industry-standard annotations. James Strachan described the problem succinctly:

So my show stopper issue with ever adopting & recommending Guice is to be able to use IoC framework agnostic annotations for lifecycle & injection (JSR 250/EJB3 for starters, @Resource, @PostConstruct, @PreDestroy - you could throw Spring/WebBeans/JAX-RS/JAXWs in there too really but JSR250/EJB3 is the tip of this massive iceberg). i.e. so that my application code can be used by Spring or Guice IoC containers without having to double-annotate everything (using JSR 250 and Guice annotations) or using JSR 250 annotations then forcing producer methods for every class I write to be written by users using Guice.

In response to the immediate issue, Guice got support for custom injectors. And we're planning an API for lifecycle callbacks.

Unfortunately, the current annotations aren't really sufficient. @Resource precludes immutability. It lacks a compiler-checked way to qualify a type. And it lacks a mechanism for lazy or multiple injection.

Since @Resource is mostly a non-starter, each of the established containers defines its own annotations:

public class TweetsClient {

  @Autowired
  @com.google.inject.Inject
  @org.apache.tapestry5.ioc.annotations.Inject
  public TweetsClient(OpenIdCredentials credentials,
      HttpConnectionFactory connectionFactory) {
    ...
  }
}

The differences between these are superficial. There just aren't many ways to mark an injection point!

To unity their annotations, the established Java dependency injection vendors collaborated on a new API to serve as a common standard. The entire API is five annotations (including @Inject) plus Provider for lazy/multiple injection.

The spec enables class portability. Your classes can be used with any injector: annotate implementation class once to support all of Spring, Guice, PicoContainer, Tapestry IoC, and Simject.

But the new standard does not cover injector configuration. The lack of standardized configuration hurts application portability, because you must reconfigure for each injector.

Configuration was left out because there's no consensus on the best way to do it. Unlike annotations, each injector takes a distinct approach, each with relative strengths and weaknesses. For example, consider this (simplified) matrix:

Injector	XML etc.	Code	Annotations	Notes
Spring	✔	optional	optional
Guice		✔	✔
Butterfly	✔			has its own DSL
JSR 299	✔		✔	plus classpath scanning
PicoContainer		✔	✔

I'm excited about the new proposal because it's pragmatic. It paves the well-worn paths (the annotations), but permits innovation to foster elsewhere. Fantastic work guys!

Java Minutiae - Reflex

2009-05-04T00:17:00.000-07:00

Pop Quiz
The following is a method from a very decent implementation of Java SE. I've substituted x and y for the actual method name and parameter type. What are the values of x and y ?

public static boolean x(y z)isNaN(float z) {
  return z != z;
}

PS - it's a reasonable method. it may take you a few minutes to come up with the answer.

Show Answer

x = isNaN, y = float

It turns out that Float.NaN != Float.NaN. Weird! The same is true for Double.NAN. Since they're the only values with this property, testing for a lack of reflexivity uniquely identifies these values.

Some talks for your JavaOne Schedule

2009-04-30T20:17:00.000-07:00

JavaOne is coming up, and now is the time to convince your boss to send you. You only need to learn a few productive tools for the conference to pay for itself. In addition to the Guice talk, here's some sessions I'm excited about...

Developing LimeWire: Swing for the Masses
Use painters, AppFramework, XUL and even GlazedLists to create hot Swing apps.

Simply Sweet Components
How Component-oriented design dramatically simplifies UI development.

The Collections Connection
Philosophy behind the Java™ Collections Framework and Google Collections.

JavaOne registration.

Two simple classes for text processing in Java

2009-04-21T10:15:00.000-07:00

FileCharSequence adapts a java.io.File as a CharSequence which has nice consequences. For example, you can run Java regular expressions directly against a File. And you can easily send part or all of a file to a StringBuilder or Writer:

/**
 * Adapts a text file as a character sequence so that it can be directly
 * manipulated by regular expressions and other character utilities. The
 * file may be at most 2 GB in size and encoded with {@code ISO-8859-1};
 * otherwise behaviour is undefined.
 */
public final class FileCharSequence implements CharSequence {
  ...
}

If you like this, feel free to use the code in your projects.

I prefer to use Java for one-off text processing tools. Partly this is because that's what my development environment is already set up to do, and partly it's because I'm not very productive in Python. With that constraint, I've written Strip.java. It uses FileCharSequence behind-the-scenes to strip all occurrences of a regex from a file. It uses Java's regex syntax, and supports switches like (?m) for multi-line regexes. Just like the Rip.java tool, it can be executed directly from your command line:


jessewilson:~$ Strip.java
Usage: Strip <regex> [files]

  regex: a Java regular expression, with groups
  http://java.sun.com/javase/6/docs/api/java/util/regex/Pattern.html
         you can (parenthesize) groups
         \s whitespace
         \S non-whitespace
         \w word characters
         \W non-word

  files: files to strip. These will be overwritten!

flags:
  --clober: overwrite the passed in files rather than creating new ones
        -c:

  Use 'single quotes' to prevent bash from interfering

This code is also Apache-licensed for your enjoyment. Download Strip.java, make it executable (chmod a+x Strip.java) and put it somewhere on your path!

Upcoming Guice talks

2009-04-20T17:33:00.000-07:00

Dhanji and I are doing some Guice talks over the next two months.

First, we'll be presenting at Google I/O. This conference is fast, web-focused, and cutting edge. It's also affordable: $300 if you register before May 1.

Big Modular Java with Guice
Learn how Google uses the fast, lightweight Guice framework to power some of the largest and most complex applications in the world. Supporting scores of developers, and steep testing and scaling requirements for the web, Guice proves that there is still ample room for a simple, type-safe and dynamic programming model in Java. This session will serve as a simple introduction to Guice, its ecosystem and how we use it at Google.

Then at JavaOne, I'll be providing a technical intro to Guice. It's a Friday afternoon time slot, so hopefully you're not too worn out to make the talk.

Introduction to Google Guice: Java is fun again!
Session TS-5434, Core Technology track
Friday June 5 at 14:50

Before Guice, the Java programming language subjected developers to a false dichotomy:
Use "new" to write concise but tightly coupled code. If you need more abstraction later on, you'll have to update all of the N callers.
Write a factory so you can easily change the implementation later on. You might end up doing unnecessary work, not to mention make your code harder to read.
Guice leverages recently added language features to enable the best of both words: abstraction without the boilerplate! Guice's @Inject is the new new. Start off with coupled and straightforward code. If you need more flexibility down the road, you can change your code in one place; you don't need to update N callers.
Jesse and Bob, each of whom have organized millions of lines of Google code, will compare factories and service locators to dependency injection, with and without Guice. Then, they'll show you how to use Guice to make your code more modular, readable, and testable than ever before. All you need is a working knowledge of the language.

Immediately following the introductory talk, Dhanji Prasanna will be presenting Google open source development with Guice, GWT, and SiteBricks.

Building Enterprise Java™ Technology-Based Web Apps with Google Open-Source Technology
Session TS-4062
Friday June 5 at 16:10

Google open-source technologies bring a new perspective to enterprise Web applications. The company likes simple stuff that's easy to maintain and that works and scales REALLY well. It also believes that the Java™ platform is strong and thriving and can be as lightweight and competitive as other popular dynamic platforms. With the right approach.
This session explores how you can take away the pain of traditional enterprise development with Googley alternatives in your stack. Use Google Guice, the Google Web Toolkit, and SiteBricks to completely rethink how you write applications. These technologies all employ idiomatic Java programming language -- but in highly productive, novel ways -- and have produced enormous success in some of the largest and most complex applications ever built.
Take the simple back! The Googley way.

Please come out! I'm particularly excited to get to spend some time with other developers. Mailing list discussions flow better for me when I can put a face to the names.

Jesse and Kevin B help out with Java Posse #239

2009-04-03T10:34:00.000-07:00

I love listening to The Java Posse. Back when they mentioned Glazed Lists on episode 76, I was majorly psyched. I ran home and played the relevant clip for my wife, who's usually annoyed at the amount of time I spend programming,
"See Jodie? See, see? I feel so proud of myself, having been referenced on my favourite show! They'll know of Glazed Lists across seven continents! Yay!"
Jodie, "Wow, my hubby is Internet-famous!" She was impressed, but only because I was.

On Wednesday, I did even better - I got airtime on the Posse! Kevin B and myself got to discuss the news with Dick, Carl, Joe and Tor on Episode 239. Everytime that I listen to the Posse, I always want to participate in the discussion. Well, I had a chance and it was a fairly lively episode.

You can hear me giggling at the jokes the whole way through. I probably shouldn't have giggled so much, but it's a habit from the previous 238 episodes. Keep up the fantastic work Java Posse.

Read your address bar carefully

2009-03-07T08:38:00.000-08:00

Internet addresses are no longer stuck with ASCII and English. If you're Greek, you can have a Greek domain name; if you're Japanese you can have a Japanese domain name. To make international characters work on the existing ASCII system, you encode the address in Punycode:

As an example of how IDNA works, suppose the domain to be encoded is Bücher.ch (“Bücher” is German for “books”, and .ch is the country domain for Switzerland). This has two labels, Bücher and ch. The second label is pure ASCII, and so is left unchanged. The first label is processed by Nameprep to give bücher, and then by Punycode to give bcher-kva, and then has xn-- prepended to give xn--bcher-kva. The final domain suitable for use with the DNS is therefore xn--bcher-kva.ch.

To avoid spoofing addresses, browsers render the ugly Punycode version whenever there's an ambiguous character. This is necessary to differentiate pаypal.com (where the first a is replaced by a Cyrillic а) from paypal.com.

http://com丿asp.com

I registered xn--comasp-yz7i.com, the Punycoded form of com丿asp.com. The fourth character isn't a slash /, but the curlier Japanese character 丿. On current versions of Safari, this character lends itself to fun domain spoofing.

This probably isn't good enough to fool a seasoned software developer. But could it fool your mom?

PS: I've already reported the bug to Apple. If your app displays URLs to users, this is something you may need to consider as well.

Preprocessing .java with Munge

2009-02-18T18:57:00.000-08:00

In the rare situation that you need to preprocess .java files, Munge is a pretty decent tool for getting it done. From Tom Ball's blog,

So a combination preprocessor and string translator, Munge, was created to address [supporting Java 1.1 and Java 2] (source). Since its requirements were that it be small, fast and require no maintenance (it wasn't a product, after all), it purposely has no features that weren't needed by the team. It won't have your favorite cpp or sed feature, but what it did, it did quickly and correctly. It wasn't open-source then, but if you wanted a feature you were handed the source and told to have fun.

We're using Munge in Guice to support both AOP and non-AOP releases. AOP is awesome, but it requires bytecode generation which isn't available on Android yet. To support stripping AOP out, our source files now include preprocessor instructions:

public interface Binder {

  /*if[AOP]*/
  /**
   * Binds a method interceptor to methods matched by class and method
   * matchers.
   *
   * @param classMatcher matches classes the interceptor should apply to. For
   *     example: {@code only(Runnable.class)}.
   * @param methodMatcher matches methods the interceptor should apply to. For
   *     example: {@code annotatedWith(Transactional.class)}.
   * @param interceptors to bind
   */
  void bindInterceptor(Matcher<? super Class<?>> classMatcher,
      Matcher<? super Method> methodMatcher, MethodInterceptor... interceptors);
  /*end[AOP]*/

  /**
   * Binds a scope to an annotation.
   */
  void bindScope(Class<? extends Annotation> annotationType, Scope scope);

  ...

I patched Munge to be a bit more careful with C-style comments (/*) inside end-of-line comments and strings. This is necessary to handle calls like filter("/*") and serve("/*") in our updated servlet package.

Ours also has an Ant task to munge the entire project in one go:

  <target name="no_aop"
          description="Create a copy of the Guice source that doesn't do bytecode generation.">
    <taskdef name="munge" classname="MungeTask" classpath="lib/build/munge.jar"/>
    <mkdir dir="build/no_aop"/>
    <munge todir="build/no_aop">
      <fileset dir="." excludes="build/**/*"/>
      <arg value="-DNO_AOP" />
    </munge>
  </target>

If you're preprocessing some .java files and can use these features, help yourself to our custom munge.jar. The jar includes both source and classfiles.

Always use jarjar to package implementation dependencies

2009-01-01T21:54:00.000-08:00

jarjar is a sweet Java packaging tool that allows you to embed one .jar file in another. But rather than just smashing the jars together in one big archive, jarjar renames the embedded .jar's classes so that they live in the main jar's namespace. For example, Guice's ProxyFactory.java file has an impressive collection of imports:

package com.google.inject;

import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.Lists;
import com.google.common.collect.Maps;
import com.google.inject.internal.*;
import java.lang.reflect.*;
import java.util.*;
import net.sf.cglib.proxy.Callback;
import net.sf.cglib.proxy.CallbackFilter;
import net.sf.cglib.proxy.Enhancer;
import net.sf.cglib.proxy.MethodProxy;
import net.sf.cglib.reflect.FastClass;
import net.sf.cglib.reflect.FastConstructor;

class ProxyFactory implements ConstructionProxyFactory {
  ...
}

These imports include classes from net.sf.cglib and com.googe.common.collect. But when we package it up with jarjar, everything gets prefixed with the Guice package name: com/google/inject:

     0 Thu Jan 01 22:13:36 PST 2009 META-INF/
  1726 Thu Jan 01 22:13:34 PST 2009 META-INF/MANIFEST.MF
 11357 Sun May 25 20:34:04 PDT 2008 LICENSE
   101 Sun May 25 20:34:04 PDT 2008 NOTICE
  5975 Thu Jan 01 22:13:20 PST 2009 com/google/inject/AbstractModule.class
  2466 Thu Jan 01 22:13:20 PST 2009 com/google/inject/Binder.class
   806 Thu Jan 01 22:13:20 PST 2009 com/google/inject/Binding.class
   414 Thu Jan 01 22:13:22 PST 2009 com/google/inject/BindingAnnotation.class
   ...
   136 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/proxy/Callback.class
   238 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/proxy/CallbackFilter.class
 28315 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/proxy/Enhancer.class
  5712 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/proxy/MethodProxy.class
  5535 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/reflect/FastClass.class
  1642 Sun May 25 20:34:04 PDT 2008 com/google/inject/internal/cglib/reflect/FastConstructor.class
  ...
  8144 Sat Nov 29 14:11:22 PST 2008 com/google/inject/internal/collect/ImmutableList.class
  9826 Sat Nov 29 14:11:26 PST 2008 com/google/inject/internal/collect/ImmutableMap.class
  6026 Sat Nov 29 14:11:24 PST 2008 com/google/inject/internal/collect/Lists.class
 12551 Sat Nov 29 14:11:26 PST 2008 com/google/inject/internal/collect/Maps.class

By using jarjar, Guice encapsulates these library dependencies. This is fantastic! Many problems are avoided by encapsulating the library dependency:

Guice users don't need to tell their classpath, IDE or build.xml files about cglib or Google Collections.

Other versions of the libraries won't conflict with the Guice version. We can ship one binary and support users of either extremely old or extremely new versions of cglib. Even if cglib broke compatibility every release (it doesn't), we aren't impacted.

We can freely change our own libraries. Should we add a dependency on paranamer in a future release, our users don't need to reconfigure their build scripts.

Most importantly, we can patch the libraries to fit our needs. If we want a special build of google-collections that includes our own hacks and tweaks, that's just fine. Our build doesn't even need to be compatible with the public version.

Standard jars for API dependencies

Guice's dependency on aopalliance doesn't use jarjar. Guice users implement the aopalliance interfaces, so the version independence and encapsulation offered by jarjar doesn't make much sense.

howmanyspacesafteraperiod.com

2008-11-20T22:26:00.000-08:00

Inspired by the URL-as-question meme sites http://has the large hadron collider destroyed the world yet.com and http://should I use tables for layout.com, I present http://how many spaces after a period.com:

Audible on Android (and other devices)

2008-11-17T08:32:00.000-08:00

I love my new G1, but it doesn't work with Audible yet. Fortunately, I have a workaround. This guide describes how to get audiobooks onto a G1. You'll need a Mac and $40 worth of software.

Download and install Tune4Mac. This app creates a virtual CD burner on your Mac, so when you tell iTunes to burn a CD, you don't actually need a blank CD-R. It's a clever hack, and the software works as promised. There's a Windows version, but I haven't tried it.

Register Tune4Mac. It's $39.95. You'll get the license key to your email immediately, paste that in the app's Registration dialog.

Configure AAC output in Tune4Mac. Tune4Mac automatically encodes audio to either MP3 or AAC. I tried MP3 encoding, and it was flaky, but AAC encoding worked just fine. Save this change by closing the dialog.

Add audiobooks to iTunes. Purchase DRM-protected books from Audible.com. If this is your first time using Audible, choose format #4, a high quality format that works with iTunes.

Create a playlist in iTunes. iTunes burns CDs using playlists, and we're going to be burning a virtual CD. I used a different playlist for each part of my two-part audiobook.

Prepare the fake burn. Click the 'Burn Disc' button in the bottom right corner of the iTunes app. Select Tune4Mac Virtual CDRW, Maximum Possible, Audio CD, none and Include CD Text. Click burn.

Burn fake CDs. Click 'Burn' on the dialog, and then Audio CDs on the dialog that follows. It took an hour for my computer to burn all the virtual CDs for an entire book. During this time, Tune4Mac automatically cycles fake blank CDs so you can go grab a coffee.

Use Finder to transfer the book to your device. I opened the Documents folder, and then the Tune4Mac folder to find my audiobook file. I plugged my device into my Mac, causing an icon for it to show up in the Finder. I dragged the .m4a file to this icon to transfer the book.

Eject the device. In the Finder, click the device's eject icon before detaching it. Otherwise the transfer might not finish properly.

Enjoy! You can now enjoy audiobooks on your device. Unfortunately, some devices don't bookmark audiobooks, so you'll need to remember your place when you stop listening.

Disclaimer: I admit that this process is painful and expensive. Hopefully Audible follows Amazon's lead and makes DRM-free audiobooks available for purchase. That way, Audible's huge library will be available to a larger audience.

Guice punches erasure in the face!

2008-11-15T01:32:00.000-08:00

Java 5 Type Erasure is frustrating. I'm coding along, enjoying the glorious type safety of generics. And then I try to do a little more with the Ts, and erasure shows up, "You can't do that!" I can't test an object if it really is a T. I can't inspect T.class using reflection. And I certainly can't new up a T. Yuck.

We're in a unique situation with Guice. Its type literals and injection points have complete generic information. It can follow long chains of type variables throughout an object model. In my app, I've got a Robot<T> that injects a Claw<T>. When I request a Robot<Adamantium>, Guice knows to find an adamantium claw.

And now, this type information is available to application code. I can write a Claw<T> class that actually knows what T is at runtime!

Consider GuardingList<T>, which enforces type safety at runtime:

class GuardingList<T> extends AbstractList<T> {
  private final TypeLiteral<T> elementType;
  private final ArrayList<T> delegate = new ArrayList<T>();

  @Inject
  GuardingList(TypeLiteral<T> elementType) {
    this.elementType = elementType;
  }

  public boolean add(T t) {
    checkArgument(elementType.getRawType().isInstance(t),
        "Cannot add %s which is not of type %s", t, elementType);
    return delegate.add(t);
  }

  public T get(int i) {
    return delegate.get(i);
  }

  public int size() {
    return delegate.size();
  }
}

When injected, Guice applies its type knowledge to inject the correct TypeLiteral<T>. The GuardingList blows up when I add an invalid element:

  public static void main(String[] args) {
    Injector injector = Guice.createInjector();

    List<String> listOfString = injector.getInstance(
        new Key<GuardingList<String>>() {});
    listOfString.add("A");
    listOfString.add("B");

    /* totally unsafe, but this compiles and runs */   
    List<Object> rawList = (List) listOfString;

    /* throws an IllegalArgumentException, since the GuardingList
        knows that its elements must be Strings */
    rawList.add(666); 
  }

Types are the natural currency of Java. Erasure is frustrating 'cause it takes them away from you at runtime. And now Guice can give 'em back.

Reify today.