net.oneandone.mork.semantics

Class State

java.lang.Object

net.oneandone.mork.semantics.State

All Implemented Interfaces:

Compare

public class State
extends Object
implements Compare

Attribute grammar, supports >=0 synthesized and inherited attributes. Uses lazy evaluation to calculate attributes. There are no pre-calculated computation sequence and no checks for cyclic dependencies are done at run-time.

Field Summary

Fields

Modifier and Type	Field and Description
int	maxOcc
int	minOcc
Attribute	transportAttribute

Fields inherited from interface net.oneandone.mork.semantics.Compare

ALT, EQ, GT, LT, NE

Constructor Summary

Constructors

Constructor and Description
State(Attribute attribute)
State(boolean up, Attribute attr, Grammar grm)
State(State orig)

Method Summary

Modifier and Type	Method and Description
void	addArgAttrs(List<Attribute> result) Add all argument attributes to next (if not already contained in next)
void	addBlind(int i, Attribute attr, int ofs)
void	addDownTransport(int prod, int ofs, Attribute parent)
void	addUpTransport(int prod, int ofs, Attribute child)
Occurrence	calcOccurrence(AgBuffer copyBuffer, List<Attribute> stack)
State	cloneAttributeTransport(Map<Attribute,Attribute> map)
static State	cloneEmpty(State orig)
int	compare(State rightState, List<Attribute> nextLefts, List<Attribute> nextRights)
void	createSemanticsBuffer(Ag sems, Transport transport)
Attribute	getAttribute()
void	getSequence(int seq, List<Attribute> nextAttrs, net.oneandone.sushi.util.IntArrayList nextOfss, net.oneandone.sushi.util.IntArrayList nextSeqs, AgBuffer cb)
boolean	isDownOptional() Is down optional.
static State	merge(Map<Attribute,Merger> mapping, List<State> copies)
boolean	recalcOccurrence(AgBuffer cb)
String	toRawString()
String	toString()
String	toString(boolean raw)

Methods inherited from class java.lang.Object

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

Field Detail

minOcc

public int minOcc

maxOcc

public int maxOcc

transportAttribute

public final Attribute transportAttribute

Constructor Detail

State

public State(Attribute attribute)

State

public State(State orig)

State

public State(boolean up,
             Attribute attr,
             Grammar grm)

Method Detail

cloneEmpty

public static State cloneEmpty(State orig)

addUpTransport

public void addUpTransport(int prod,
                           int ofs,
                           Attribute child)

addDownTransport

public void addDownTransport(int prod,
                             int ofs,
                             Attribute parent)

getAttribute

public Attribute getAttribute()

createSemanticsBuffer

public void createSemanticsBuffer(Ag sems,
                                  Transport transport)

addArgAttrs

public void addArgAttrs(List<Attribute> result)

Add all argument attributes to next (if not already contained in next)

isDownOptional

public boolean isDownOptional()

Is down optional. pre: this is kind of reduced (e.g. results from createReduced

compare

public int compare(State rightState,
                   List<Attribute> nextLefts,
                   List<Attribute> nextRights)

cloneAttributeTransport

public State cloneAttributeTransport(Map<Attribute,Attribute> map)

calcOccurrence

public Occurrence calcOccurrence(AgBuffer copyBuffer,
                                 List<Attribute> stack)

merge

public static State merge(Map<Attribute,Merger> mapping,
                          List<State> copies)

getSequence

public void getSequence(int seq,
                        List<Attribute> nextAttrs,
                        net.oneandone.sushi.util.IntArrayList nextOfss,
                        net.oneandone.sushi.util.IntArrayList nextSeqs,
                        AgBuffer cb)

addBlind

public void addBlind(int i,
                     Attribute attr,
                     int ofs)

recalcOccurrence

public boolean recalcOccurrence(AgBuffer cb)

Returns:

true if occurrences has changed

toRawString

public String toRawString()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(boolean raw)