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

java.lang.Object
  extended by edu.neu.ccs.demeterf.lexer.classes.FinalState

public class FinalState
extends java.lang.Object

Representation of FinalState


Nested Class Summary
static class FinalState.s
          Field Class for FinalState.s
static class FinalState.tok
          Field Class for FinalState.tok
 
Constructor Summary
FinalState(State s, java.lang.String tok)
          Construct a(n) FinalState Instance
 
Method Summary
 boolean equals(java.lang.Object o)
          Is the given object Equal to this FinalState?
 State getS()
          Getter for field FinalState.s
 java.lang.String getTok()
          Getter for field FinalState.tok
static FinalState parse(java.io.InputStream inpt)
          Parse an instance of FinalState from the given Stream
static FinalState parse(java.io.Reader inpt)
          Parse an instance of FinalState from the given Reader
static FinalState parse(java.lang.String inpt)
          Parse an instance of FinalState 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

FinalState

public FinalState(State s,
                  java.lang.String tok)
Construct a(n) FinalState Instance

Method Detail

equals

public boolean equals(java.lang.Object o)
Is the given object Equal to this FinalState?

Overrides:
equals in class java.lang.Object

parse

public static FinalState parse(java.lang.String inpt)
                        throws ParseException
Parse an instance of FinalState from the given String

Throws:
ParseException

parse

public static FinalState parse(java.io.InputStream inpt)
                        throws ParseException
Parse an instance of FinalState from the given Stream

Throws:
ParseException

parse

public static FinalState parse(java.io.Reader inpt)
                        throws ParseException
Parse an instance of FinalState from the given Reader

Throws:
ParseException

toString

public java.lang.String toString()
DGP method from Class PrintToString

Overrides:
toString in class java.lang.Object

getTok

public java.lang.String getTok()
Getter for field FinalState.tok


getS

public State getS()
Getter for field FinalState.s