de.uka.ilkd.key.util.mergerule

Class MergeRuleUtils.Option.Some<T>

java.lang.Object

de.uka.ilkd.key.util.mergerule.MergeRuleUtils.Option<T>

de.uka.ilkd.key.util.mergerule.MergeRuleUtils.Option.Some<T>

Enclosing class:

MergeRuleUtils.Option<T>

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

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.util.mergerule.MergeRuleUtils.Option

MergeRuleUtils.Option.None<T>, MergeRuleUtils.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.mergerule.MergeRuleUtils.Option

equals, isSome

Methods inherited from class java.lang.Object

clone, 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: MergeRuleUtils.Option

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

Overrides:

getValue in class MergeRuleUtils.Option<T>

Returns:

The value of this object.