de.uka.ilkd.key.util.joinrule

Class JoinRuleUtils.Option.Some<T>

java.lang.Object

de.uka.ilkd.key.util.joinrule.JoinRuleUtils.Option<T>

de.uka.ilkd.key.util.joinrule.JoinRuleUtils.Option.Some<T>

Enclosing class:

JoinRuleUtils.Option<T>

static class JoinRuleUtils.Option.Some<T>
extends JoinRuleUtils.Option<T>

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.util.joinrule.JoinRuleUtils.Option

JoinRuleUtils.Option.None<T>, JoinRuleUtils.Option.Some<T>

Field Summary

Fields

Modifier and Type	Field and Description
private T	value

Constructor Summary

Constructors

Constructor and Description
Some(T value)

Method Summary

Modifier and Type	Method and Description
T	getValue() Returns the value of this object if is a Some; otherwise, an exception is thrown.

Methods inherited from class de.uka.ilkd.key.util.joinrule.JoinRuleUtils.Option

isSome

Methods inherited from class java.lang.Object

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

Field Detail

value

private T value

Constructor Detail

Some

public Some(T value)

Method Detail

getValue

public T getValue()

Description copied from class: JoinRuleUtils.Option

Returns the value of this object if is a Some; otherwise, an exception is thrown.

Overrides:

getValue in class JoinRuleUtils.Option<T>

Returns:

The value of this object.