net.oneandone.mork.semantics

Class AgBuffer

java.lang.Object

net.oneandone.mork.semantics.AgBuffer

All Implemented Interfaces:

Compare

public class AgBuffer
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 inherited from interface net.oneandone.mork.semantics.Compare

ALT, EQ, GT, LT, NE

Constructor Summary

Constructors

Constructor and Description
AgBuffer(Attribute start)
AgBuffer(List<State> states)

Method Summary

Modifier and Type	Method and Description
void	add(State right)
void	append(AgBuffer right)
int	calcCard(Attribute root)
Occurrence	calcOccurrence(Attribute start)
Occurrence	calcOccurrence(List<Attribute> stack, Attribute start)
void	calcOccurrences()
Attribute	cloneAttributes(AgBuffer orig, Type type, Attribute seed) Clones this buffer but replaces all transport attributes with new attributes of the specified type.
int	compare(AgBuffer rightSemantics)
AgBuffer	createReduced(Attribute start) Can be used for both down and up transport.
void	createSemanticsBuffer(Ag sems, Transport transport)
Attribute	createSequence(Attribute start, int seq, AgBuffer result)
Attribute	getStart()
List<Attribute>	getTransportAttributes() TODO: get rid of this method ...
int	getWidth(Attribute attr)
boolean	isDownOptional() Is down Optional.
State	lookup(Attribute attr)
Attribute	merge(List<AgBuffer> copyBuffers, int symbol, Type mergedType) Merge all attributes with >0 attributions buffers.
void	setStart(Attribute start)
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

Constructor Detail

AgBuffer

public AgBuffer(Attribute start)

AgBuffer

public AgBuffer(List<State> states)

Method Detail

getStart

public Attribute getStart()

setStart

public void setStart(Attribute start)

append

public void append(AgBuffer right)

add

public void add(State right)

createSemanticsBuffer

public void createSemanticsBuffer(Ag sems,
                                  Transport transport)

createReduced

public AgBuffer createReduced(Attribute start)

Can be used for both down and up transport. TODO: creates new CopyLines only, attributes are shared between all restrictions. This works as long as the resulting SemanticsBuffer is "cloned with creating new attributes" ...

isDownOptional

public boolean isDownOptional()

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

getTransportAttributes

public List<Attribute> getTransportAttributes()

TODO: get rid of this method ...

Returns:

all attributes being result or argument of at least one attribution.

lookup

public State lookup(Attribute attr)

merge

public Attribute merge(List<AgBuffer> copyBuffers,
                       int symbol,
                       Type mergedType)

Merge all attributes with >0 attributions buffers. Return the merged attribute of the specified symbol.

compare

public int compare(AgBuffer rightSemantics)

Returns:

LT, GT, or NE

toRawString

public String toRawString()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(boolean raw)

cloneAttributes

public Attribute cloneAttributes(AgBuffer orig,
                                 Type type,
                                 Attribute seed)

Clones this buffer but replaces all transport attributes with new attributes of the specified type.

Parameters:

type - for new attributes

Returns:

cloned seed

calcCard

public int calcCard(Attribute root)

calcOccurrence

public Occurrence calcOccurrence(Attribute start)

calcOccurrence

public Occurrence calcOccurrence(List<Attribute> stack,
                                 Attribute start)

getWidth

public int getWidth(Attribute attr)

calcOccurrences

public void calcOccurrences()

createSequence

public Attribute createSequence(Attribute start,
                                int seq,
                                AgBuffer result)