de.uka.ilkd.key.logic

Class Choice

java.lang.Object

de.uka.ilkd.key.logic.Choice

All Implemented Interfaces:

Named

public class Choice
extends java.lang.Object
implements Named

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	category
private Name	name

Constructor Summary

Constructors

Constructor and Description
Choice(Name name, java.lang.String category)
Choice(java.lang.String choice, java.lang.String category) creates a choice object with name :.

Method Summary

Modifier and Type	Method and Description
java.lang.String	category()
boolean	equals(java.lang.Object o)
int	hashCode()
Name	name() returns the name of this element
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

private final Name name

category

private final java.lang.String category

Constructor Detail

Choice

public Choice(java.lang.String choice,
              java.lang.String category)

creates a choice object with name :.

Choice

public Choice(Name name,
              java.lang.String category)

Method Detail

name

public Name name()

Description copied from interface: Named

returns the name of this element

Specified by:

name in interface Named

Returns:

the name of the element

category

public java.lang.String category()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object