wyal.io

Enum WyalFileLexer.Token.Kind

java.lang.Object

java.lang.Enum<WyalFileLexer.Token.Kind>

wyal.io.WyalFileLexer.Token.Kind

All Implemented Interfaces:

Serializable, Comparable<WyalFileLexer.Token.Kind>

Enclosing class:

WyalFileLexer.Token

public static enum WyalFileLexer.Token.Kind
extends Enum<WyalFileLexer.Token.Kind>

Enum Constant Summary

Enum Constants

Enum Constant and Description
Ampersand
Any
Assert
Assume
BlockComment
Bool
Caret
Char
CharValue
Colon
ColonEquals
Comma
Constant
Define
Dot
DotDot
DotDotDot
Either
ElementOf
EmptySet
Ensures
EqualsEquals
EqualsGreater
Exists
False
Forall
Function
GreaterEquals
Hash
Identifier
If
Import
In
Indent
Int
IntValue
Is
LeftAngle
LeftBrace
LeftCurly
LeftSlash
LeftSquare
LessEquals
LineComment
LogicalAnd
LogicalIff
LogicalImplication
LogicalOr
Minus
MinusGreater
NewLine
NotEquals
Null
Or
Package
Percent
Plus
PlusPlus
Private
Protected
Public
Real
RealValue
Requires
RightAngle
RightBrace
RightCurly
RightSlash
RightSquare
SemiColon
SetIntersection
SetUnion
Shreak
Star
String
StringValue
Subset
SubsetEquals
Superset
SupersetEquals
Then
This
Throws
True
Type
VerticalBar
Void
Where

Method Summary

Modifier and Type	Method and Description
static WyalFileLexer.Token.Kind	valueOf(String name) Returns the enum constant of this type with the specified name.
static WyalFileLexer.Token.Kind[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

Identifier

public static final WyalFileLexer.Token.Kind Identifier

True

public static final WyalFileLexer.Token.Kind True

False

public static final WyalFileLexer.Token.Kind False

RealValue

public static final WyalFileLexer.Token.Kind RealValue

IntValue

public static final WyalFileLexer.Token.Kind IntValue

CharValue

public static final WyalFileLexer.Token.Kind CharValue

StringValue

public static final WyalFileLexer.Token.Kind StringValue

Null

public static final WyalFileLexer.Token.Kind Null

Void

public static final WyalFileLexer.Token.Kind Void

Any

public static final WyalFileLexer.Token.Kind Any

Bool

public static final WyalFileLexer.Token.Kind Bool

Int

public static final WyalFileLexer.Token.Kind Int

Real

public static final WyalFileLexer.Token.Kind Real

Char

public static final WyalFileLexer.Token.Kind Char

String

public static final WyalFileLexer.Token.Kind String

This

public static final WyalFileLexer.Token.Kind This

Assert

public static final WyalFileLexer.Token.Kind Assert

Either

public static final WyalFileLexer.Token.Kind Either

Or

public static final WyalFileLexer.Token.Kind Or

If

public static final WyalFileLexer.Token.Kind If

Then

public static final WyalFileLexer.Token.Kind Then

Package

public static final WyalFileLexer.Token.Kind Package

Import

public static final WyalFileLexer.Token.Kind Import

Public

public static final WyalFileLexer.Token.Kind Public

Private

public static final WyalFileLexer.Token.Kind Private

Protected

public static final WyalFileLexer.Token.Kind Protected

Function

public static final WyalFileLexer.Token.Kind Function

Type

public static final WyalFileLexer.Token.Kind Type

Assume

public static final WyalFileLexer.Token.Kind Assume

Constant

public static final WyalFileLexer.Token.Kind Constant

Define

public static final WyalFileLexer.Token.Kind Define

Requires

public static final WyalFileLexer.Token.Kind Requires

Ensures

public static final WyalFileLexer.Token.Kind Ensures

Where

public static final WyalFileLexer.Token.Kind Where

Throws

public static final WyalFileLexer.Token.Kind Throws

Forall

public static final WyalFileLexer.Token.Kind Forall

Exists

public static final WyalFileLexer.Token.Kind Exists

Is

public static final WyalFileLexer.Token.Kind Is

In

public static final WyalFileLexer.Token.Kind In

Comma

public static final WyalFileLexer.Token.Kind Comma

Colon

public static final WyalFileLexer.Token.Kind Colon

ColonEquals

public static final WyalFileLexer.Token.Kind ColonEquals

SemiColon

public static final WyalFileLexer.Token.Kind SemiColon

Hash

public static final WyalFileLexer.Token.Kind Hash

Ampersand

public static final WyalFileLexer.Token.Kind Ampersand

VerticalBar

public static final WyalFileLexer.Token.Kind VerticalBar

LeftBrace

public static final WyalFileLexer.Token.Kind LeftBrace

RightBrace

public static final WyalFileLexer.Token.Kind RightBrace

LeftSquare

public static final WyalFileLexer.Token.Kind LeftSquare

RightSquare

public static final WyalFileLexer.Token.Kind RightSquare

LeftAngle

public static final WyalFileLexer.Token.Kind LeftAngle

RightAngle

public static final WyalFileLexer.Token.Kind RightAngle

LeftCurly

public static final WyalFileLexer.Token.Kind LeftCurly

RightCurly

public static final WyalFileLexer.Token.Kind RightCurly

Plus

public static final WyalFileLexer.Token.Kind Plus

PlusPlus

public static final WyalFileLexer.Token.Kind PlusPlus

Minus

public static final WyalFileLexer.Token.Kind Minus

Star

public static final WyalFileLexer.Token.Kind Star

LeftSlash

public static final WyalFileLexer.Token.Kind LeftSlash

RightSlash

public static final WyalFileLexer.Token.Kind RightSlash

Percent

public static final WyalFileLexer.Token.Kind Percent

Shreak

public static final WyalFileLexer.Token.Kind Shreak

Caret

public static final WyalFileLexer.Token.Kind Caret

Dot

public static final WyalFileLexer.Token.Kind Dot

DotDot

public static final WyalFileLexer.Token.Kind DotDot

DotDotDot

public static final WyalFileLexer.Token.Kind DotDotDot

EqualsEquals

public static final WyalFileLexer.Token.Kind EqualsEquals

NotEquals

public static final WyalFileLexer.Token.Kind NotEquals

LessEquals

public static final WyalFileLexer.Token.Kind LessEquals

GreaterEquals

public static final WyalFileLexer.Token.Kind GreaterEquals

EqualsGreater

public static final WyalFileLexer.Token.Kind EqualsGreater

MinusGreater

public static final WyalFileLexer.Token.Kind MinusGreater

LogicalAnd

public static final WyalFileLexer.Token.Kind LogicalAnd

LogicalOr

public static final WyalFileLexer.Token.Kind LogicalOr

LogicalImplication

public static final WyalFileLexer.Token.Kind LogicalImplication

LogicalIff

public static final WyalFileLexer.Token.Kind LogicalIff

SetUnion

public static final WyalFileLexer.Token.Kind SetUnion

SetIntersection

public static final WyalFileLexer.Token.Kind SetIntersection

ElementOf

public static final WyalFileLexer.Token.Kind ElementOf

EmptySet

public static final WyalFileLexer.Token.Kind EmptySet

Subset

public static final WyalFileLexer.Token.Kind Subset

SubsetEquals

public static final WyalFileLexer.Token.Kind SubsetEquals

Superset

public static final WyalFileLexer.Token.Kind Superset

SupersetEquals

public static final WyalFileLexer.Token.Kind SupersetEquals

NewLine

public static final WyalFileLexer.Token.Kind NewLine

Indent

public static final WyalFileLexer.Token.Kind Indent

LineComment

public static final WyalFileLexer.Token.Kind LineComment

BlockComment

public static final WyalFileLexer.Token.Kind BlockComment

Method Detail

values

public static WyalFileLexer.Token.Kind[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (WyalFileLexer.Token.Kind c : WyalFileLexer.Token.Kind.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static WyalFileLexer.Token.Kind valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null