edu.neu.ccs.demeterf.lexer.classes
Class TokDef

java.lang.Object
  edu.neu.ccs.demeterf.lexer.classes.LexDef
      edu.neu.ccs.demeterf.lexer.classes.TokDef

public class TokDef
extends LexDef

Representation of TokDef

Nested Class Summary

static class	TokDef.id Field Class for TokDef.id
static class	TokDef.re Field Class for TokDef.re

Constructor Summary

TokDef(ident id, RegExp re)
Construct a(n) TokDef Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this TokDef?
ident	getId() Getter for field TokDef.id
RegExp	getRe() Getter for field TokDef.re
static TokDef	parse(java.io.InputStream inpt) Parse an instance of TokDef from the given Stream
static TokDef	parse(java.io.Reader inpt) Parse an instance of TokDef from the given Reader
static TokDef	parse(java.lang.String inpt) Parse an instance of TokDef from the given String
java.lang.String	toString() DGP method from Class PrintToString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TokDef

public TokDef(ident id,
              RegExp re)

Construct a(n) TokDef Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this TokDef?

Overrides:

equals in class java.lang.Object

parse

public static TokDef parse(java.lang.String inpt)
                    throws ParseException

Parse an instance of TokDef from the given String

Throws:

ParseException

parse

public static TokDef parse(java.io.InputStream inpt)
                    throws ParseException

Parse an instance of TokDef from the given Stream

Throws:

ParseException

parse

public static TokDef parse(java.io.Reader inpt)
                    throws ParseException

Parse an instance of TokDef from the given Reader

Throws:

ParseException

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class LexDef

getRe

public RegExp getRe()

Getter for field TokDef.re

getId

public ident getId()

Getter for field TokDef.id