jason.compiler
Class Parser

java.lang.Object
  |
  +--jason.compiler.Parser

public class Parser
extends java.lang.Object


Field Summary
(package private)  java.lang.String contents
           
private  java.util.Vector imports
           
private  java.lang.String interfaceName
           
(package private)  int line
           
private  java.util.Vector methods
           
private  java.lang.String packageName
           
(package private)  int parseIndex
           
private  java.util.Vector roles
           
(package private)  java.lang.String strippedFromComments
           
 
Constructor Summary
private Parser()
           
  Parser(java.io.File file)
           
  Parser(java.lang.String contents)
           
 
Method Summary
 java.lang.String[] getImports()
           
 java.lang.String getInterfaceName()
           
 Method[] getMethods()
           
 java.lang.String getPackageName()
           
 java.lang.String[] getRoles()
           
private  java.lang.String nextToken()
           
 void parse()
           
static java.lang.String readString(java.io.InputStream inputStream)
          Reads the whole contents of an InputStream into a String.
static java.lang.String removeQuotes(java.lang.String str)
           
private  void skipWhiteSpace()
           
private  void stripComments()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

packageName

private java.lang.String packageName

interfaceName

private java.lang.String interfaceName

roles

private java.util.Vector roles

methods

private java.util.Vector methods

imports

private java.util.Vector imports

contents

java.lang.String contents

strippedFromComments

java.lang.String strippedFromComments

parseIndex

int parseIndex

line

int line
Constructor Detail

Parser

private Parser()

Parser

public Parser(java.io.File file)
       throws java.io.IOException

Parser

public Parser(java.lang.String contents)
Method Detail

parse

public void parse()
           throws java.text.ParseException
java.text.ParseException

nextToken

private java.lang.String nextToken()

skipWhiteSpace

private void skipWhiteSpace()

stripComments

private void stripComments()

getPackageName

public java.lang.String getPackageName()

getInterfaceName

public java.lang.String getInterfaceName()

getRoles

public java.lang.String[] getRoles()

getMethods

public Method[] getMethods()

getImports

public java.lang.String[] getImports()

removeQuotes

public static java.lang.String removeQuotes(java.lang.String str)

readString

public static java.lang.String readString(java.io.InputStream inputStream)
                                   throws java.io.IOException
Reads the whole contents of an InputStream into a String.

Parameters:
inputStream - The InputStream
Returns:
The whole string
Throws:
java.io.IOException