orc.runtime.values
Class SomeValue

java.lang.Object
  orc.runtime.values.Value
      orc.runtime.values.OptionValue
          orc.runtime.values.SomeValue

public class SomeValue
extends OptionValue

Field Summary

java.lang.Object

content

Fields inherited from class orc.runtime.values.Value

futureNotReady

Constructor Summary

SomeValue(java.lang.Object content)

Method Summary

<E> E	accept(Visitor<E> visitor)
boolean	isSome() Test whether this value inhabits one of the option or list types.
java.lang.Object	untag() Return the contained value v of an option some(v).

Methods inherited from class orc.runtime.values.Value

forceArg, forceCall, isNone, signal

Methods inherited from class java.lang.Object

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

Field Detail

content

public java.lang.Object content

Constructor Detail

SomeValue

public SomeValue(java.lang.Object content)

Method Detail

isSome

public boolean isSome()

Description copied from class: Value

Test whether this value inhabits one of the option or list types.

Overrides:

isSome in class Value

untag

public java.lang.Object untag()

Description copied from class: Value

Return the contained value v of an option some(v). This method must throw an exception iff isSome() returns false.

Overrides:

untag in class Value

accept

public <E> E accept(Visitor<E> visitor)

Overrides:

accept in class OptionValue