tutorial.adder.Adder.Adder.roles

Class S

java.lang.Object

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

org.scribble.sesstype.name.Role

tutorial.adder.Adder.Adder.roles.S

All Implemented Interfaces:

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

public final class S
extends org.scribble.sesstype.name.Role

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static S	S

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

EMPTY_ROLE

Method Summary

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

canEqual, equals, hashCode

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.Name

compileElements

Field Detail

S

public static final S S