uk.ac.man.cs.rainbow.rapa.abstraction
Class Parse

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.abstraction.Parse

All Implemented Interfaces:

uk.ac.man.cs.rainbow.rapa.abstraction.ParseConstants

public class Parse

extends Object

implements uk.ac.man.cs.rainbow.rapa.abstraction.ParseConstants

Parser for abstractions to apply to GCL.

See Also:

Grammar Recognised

Field Summary

static int	ABSTRACTION
static int	BOOLEAN
static int	DECIMAL_NUMBER
static int	DEFAULT
static int	DIGIT
static int	ENUM
static int	EOF
static int	FALSE
static int	FUN
static int	FUNSYM
static int	HEX_NUMBER
static int	IDENT
static int	INTEGER
Token	jj_nt
static int	LETTER
static int	MAPS
static int	NUMBER
static int	OCTAL_NUMBER
static int	SINGLE_LINE_COMMENT
Token	token
uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager	token_source
static String[]	tokenImage
static int	TRUE
static int	TYPE
static int	UNION
static int	VALUE

Constructor Summary

Parse(CharStream stream)

Parse(uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager tm)

Method Summary

void	abstraction()
AbstractType	abstype()
Value	absvalue(AbstractType abstype)
void	disable_tracing()
void	enable_tracing()
void	funmap()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
String	ident()
void	n_aryMapping(AbstractType[] intys, AbstractType out, Map m)
static void	readAbstraction(String s, Map typeval, Map eval)
void	ReInit(CharStream stream)
void	ReInit(uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager tm)
Type	type()
void	typemap()
void	unaryMapping(AbstractType in, AbstractType out, Map m)
void	valmap()
Value	value()

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager token_source

token

public Token token

jj_nt

public Token jj_nt

EOF

public static final int EOF

SINGLE_LINE_COMMENT

public static final int SINGLE_LINE_COMMENT

ABSTRACTION

public static final int ABSTRACTION

TYPE

public static final int TYPE

VALUE

public static final int VALUE

FUN

public static final int FUN

MAPS

public static final int MAPS

FUNSYM

public static final int FUNSYM

INTEGER

public static final int INTEGER

BOOLEAN

public static final int BOOLEAN

ENUM

public static final int ENUM

UNION

public static final int UNION

TRUE

public static final int TRUE

FALSE

public static final int FALSE

IDENT

public static final int IDENT

LETTER

public static final int LETTER

DIGIT

public static final int DIGIT

NUMBER

public static final int NUMBER

DECIMAL_NUMBER

public static final int DECIMAL_NUMBER

OCTAL_NUMBER

public static final int OCTAL_NUMBER

HEX_NUMBER

public static final int HEX_NUMBER

DEFAULT

public static final int DEFAULT

tokenImage

public static final String[] tokenImage

Constructor Detail

Parse

public Parse(CharStream stream)

Parse

public Parse(uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager tm)

Method Detail

readAbstraction

public static void readAbstraction(String s,
                                   Map typeval,
                                   Map eval)
                            throws ParseException

abstraction

public final void abstraction()
                       throws ParseException

typemap

public final void typemap()
                   throws ParseException

valmap

public final void valmap()
                  throws ParseException

funmap

public final void funmap()
                  throws ParseException

unaryMapping

public final void unaryMapping(AbstractType in,
                               AbstractType out,
                               Map m)
                        throws ParseException

n_aryMapping

public final void n_aryMapping(AbstractType[] intys,
                               AbstractType out,
                               Map m)
                        throws ParseException

type

public final Type type()
                throws ParseException

value

public final Value value()
                  throws ParseException

abstype

public final AbstractType abstype()
                           throws ParseException

absvalue

public final Value absvalue(AbstractType abstype)
                     throws ParseException

ident

public final String ident()
                   throws ParseException

ReInit

public void ReInit(CharStream stream)

ReInit

public void ReInit(uk.ac.man.cs.rainbow.rapa.abstraction.ParseTokenManager tm)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

generateParseException

public final ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()