tutorial.adder.Adder.Adder.ops

Class Res

java.lang.Object

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

org.scribble.sesstype.name.Op

tutorial.adder.Adder.Adder.ops.Res

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Res	Res

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

Res

public static final Res Res