tutorial.adder.Adder.Adder.ops

Class Add

java.lang.Object

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

org.scribble.sesstype.name.Op

tutorial.adder.Adder.Adder.ops.Add

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 Add
extends org.scribble.sesstype.name.Op

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Add	Add

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

Add

public static final Add Add