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

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

public class LocDef
extends LexDef

Representation of LocDef

Nested Class Summary

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

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this LocDef?
ident	getId() Getter for field LocDef.id
RegExp	getRe() Getter for field LocDef.re
static LocDef	parse(java.io.InputStream inpt) Parse an instance of LocDef from the given Stream
static LocDef	parse(java.io.Reader inpt) Parse an instance of LocDef from the given Reader
static LocDef	parse(java.lang.String inpt) Parse an instance of LocDef 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

LocDef

public LocDef(ident id,
              RegExp re)

Construct a(n) LocDef Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this LocDef?

Overrides:

equals in class java.lang.Object

parse

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

Parse an instance of LocDef from the given String

Throws:

ParseException

parse

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

Parse an instance of LocDef from the given Stream

Throws:

ParseException

parse

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

Parse an instance of LocDef 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 LocDef.re

getId

public ident getId()

Getter for field LocDef.id