me.jaimegarza.syntax.algorithm

Interface AlgorithmicSupport

All Known Implementing Classes:

BaseAlgorithmicSupport, LalrAlgorithmicSupport, SlrAlgorithmicSupport

public interface AlgorithmicSupport

Method Summary

Modifier and Type	Method and Description
void	addAllLookaheads(Dot marker, Dot auxiliary) Simply put lookaheads of auxiliary into marker
boolean	addLookaheadsToState(State[] I, int state, List<Dot> dots) For algorithms that support look ahead per state, this method will add all the lookaheads of the passed dots into the state's dots.
LookAhead	computeLookAhead(Rule rule, RuleItem item) Compute the lookahead set of a rule on a specific item
boolean	dotContains(Dot dot, int terminalId) Checks a dot to see if it contains the symbol
String	getPrintableLookahead(Dot dot) Print the lookaheads in a dot
boolean	hasFollows() Does this algorithm support follow sets?
void	initializeDot(Dot dot) This dot is brand new, and used for a state.
boolean	isMultiPass()
void	mergeLookaheads(Dot marker, Dot auxiliary) Merge one marker dot's lookaheads into a destination.
boolean	supportsLookahead() Does this algorithm support lookaheads

Method Detail

addLookaheadsToState

boolean addLookaheadsToState(State[] I,
                             int state,
                             List<Dot> dots)

For algorithms that support look ahead per state, this method will add all the lookaheads of the passed dots into the state's dots.

Parameters:

I - is the array of states

state - is the state number

dots - is the list of marker Dots

Returns:

true if lookadeas added

mergeLookaheads

void mergeLookaheads(Dot marker,
                     Dot auxiliary)

Merge one marker dot's lookaheads into a destination.

Parameters:

marker - is the source of the lookaheads

auxiliary - is the second auxiliary dot

addAllLookaheads

void addAllLookaheads(Dot marker,
                      Dot auxiliary)

Simply put lookaheads of auxiliary into marker

Parameters:

marker - is the receiving marker

auxiliary - is the originating set of lookaheads

computeLookAhead

LookAhead computeLookAhead(Rule rule,
                           RuleItem item)

Compute the lookahead set of a rule on a specific item

Parameters:

rule - is the rule where the lookahead begins

item - is the dot position to start lookahead computations.

Returns:

the new Lookahead, or null

getPrintableLookahead

String getPrintableLookahead(Dot dot)

Print the lookaheads in a dot

Parameters:

dot - is the dot to print

Returns:

the printable string

dotContains

boolean dotContains(Dot dot,
                    int terminalId)

Checks a dot to see if it contains the symbol

Parameters:

dot - the dot to check

terminalId - is the symbol

Returns:

true or false

isMultiPass

boolean isMultiPass()

Returns:

true if the algorithm needs multiple passes

initializeDot

void initializeDot(Dot dot)

This dot is brand new, and used for a state. Initialize it

Parameters:

dot - is the dot to initialize

hasFollows

boolean hasFollows()

Does this algorithm support follow sets?

Returns:

true if it has follow elements

supportsLookahead

boolean supportsLookahead()

Does this algorithm support lookaheads

Returns:

true if it does