tutorial.adder.Adder.Adder.ops

Class Bye

java.lang.Object

org.scribble.sesstype.name.AbstractName<org.scribble.sesstype.kind.OpKind>

org.scribble.sesstype.name.Op

tutorial.adder.Adder.Adder.ops.Bye

All Implemented Interfaces:

java.io.Serializable, org.scribble.sesstype.name.MessageId<org.scribble.sesstype.kind.OpKind>, org.scribble.sesstype.name.Name<org.scribble.sesstype.kind.OpKind>

public final class Bye
extends org.scribble.sesstype.name.Op

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Bye	Bye

Fields inherited from class org.scribble.sesstype.name.Op

EMPTY_OPERATOR

Method Summary

Methods inherited from class org.scribble.sesstype.name.Op

canEqual, equals, hashCode, isOp

Methods inherited from class org.scribble.sesstype.name.AbstractName

getElementCount, getElements, getKind, getLastElement, getPrefixElements, isEmpty, isPrefixed, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.scribble.sesstype.name.MessageId

isMessageSigName

Methods inherited from interface org.scribble.sesstype.name.Name

compileElements, getElementCount, getElements, getKind, getLastElement, getPrefixElements, isEmpty, isPrefixed

Field Detail

Bye

public static final Bye Bye