net.oneandone.mork.semantics

Class Type

java.lang.Object

net.oneandone.mork.semantics.Type

public class Type
extends Object

Type of an attribute. Immutable, can safely be shared.

Field Summary

Fields

Modifier and Type	Field and Description
int	card
static int	OPTION
static int	SEQUENCE
Class	type
static int	VALUE

Constructor Summary

Constructors

Constructor and Description
Type(Class type)
Type(Class type, int card)

Method Summary

Modifier and Type	Method and Description
Type	alternate(Type operand)
static int	cardCard(int first, int second)
String	cardString()
boolean	equals(Object obj)
int	hashCode()
Type	option()
Type	sequence()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

VALUE

public static final int VALUE

See Also:

Constant Field Values

OPTION

public static final int OPTION

See Also:

Constant Field Values

SEQUENCE

public static final int SEQUENCE

See Also:

Constant Field Values

type

public final Class type

card

public final int card

Constructor Detail

Type

public Type(Class type)

Type

public Type(Class type,
            int card)

Method Detail

cardCard

public static int cardCard(int first,
                           int second)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

option

public Type option()

sequence

public Type sequence()

alternate

public Type alternate(Type operand)

toString

public String toString()

Overrides:

toString in class Object

cardString

public String cardString()