org.overturetool.vdmj.lex
Class LexBooleanToken

java.lang.Object
  org.overturetool.vdmj.lex.LexToken
      org.overturetool.vdmj.lex.LexBooleanToken

All Implemented Interfaces:

java.io.Serializable

public class LexBooleanToken
extends LexToken

See Also:

Serialized Form

Field Summary

boolean

value

Fields inherited from class org.overturetool.vdmj.lex.LexToken

location, type

Constructor Summary

LexBooleanToken(boolean value, LexLocation location)

LexBooleanToken(Token value, LexLocation location)

Method Summary

java.lang.String

toString()

Methods inherited from class org.overturetool.vdmj.lex.LexToken

abort, concern, detail, detail2, is, isNot, report, warning

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

value

public final boolean value

Constructor Detail

LexBooleanToken

public LexBooleanToken(Token value,
                       LexLocation location)

LexBooleanToken

public LexBooleanToken(boolean value,
                       LexLocation location)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class LexToken