edu.neu.ccs.demeterf.util
Class Option

java.lang.Object
  edu.neu.ccs.demeterf.util.Option

public class Option
extends java.lang.Object

Mimics ML Option type ((Some o) | None). Used to make traversal arguments optional without losing performance.

Method Summary

java.lang.Object	get()
static Option	none()
boolean	some()
static Option	some(java.lang.Object o)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

some

public static Option some(java.lang.Object o)

none

public static Option none()

some

public boolean some()

get

public java.lang.Object get()