dk.brics.xsugar.stylesheet
Class UnifyingProduction

java.lang.Object
  dk.brics.xsugar.stylesheet.Unit
      dk.brics.xsugar.stylesheet.UnifyingProduction

public class UnifyingProduction
extends Unit

Unifying production.

Constructor Summary

UnifyingProduction(String nonterminal, boolean left_unordered, List<Item> left_items, boolean right_unordered, List<Item> right_items, int priority, Location loc)
Constructs a new production.

Method Summary

List<Item>	getLeftItems() Returns the left items.
String	getNonterminal() Returns the nonterminal name of this production.
int	getPriority() Returns the priority of this production.
List<Item>	getRightItems() Returns the right items.
boolean	isLeftUnordered() Returns unordered flag for left side.
boolean	isRightUnordered() Returns unordered flag for right side.
void	visit(Visitor visitor) Visits this node.

Methods inherited from class dk.brics.xsugar.stylesheet.Unit

getLocation

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifyingProduction

public UnifyingProduction(String nonterminal,
                          boolean left_unordered,
                          List<Item> left_items,
                          boolean right_unordered,
                          List<Item> right_items,
                          int priority,
                          Location loc)

Constructs a new production.

Parameters:

nonterminal - nonterminal name

left_unordered - unordered flag for left side

left_items - left side items

right_unordered - unordered flag for right side

right_items - right side items

priority - production priority

loc - source location

Method Detail

getLeftItems

public List<Item> getLeftItems()

Returns the left items.

Returns:

list of items

getNonterminal

public String getNonterminal()

Returns the nonterminal name of this production.

Returns:

nonterminal name

getPriority

public int getPriority()

Returns the priority of this production.

Returns:

priority

getRightItems

public List<Item> getRightItems()

Returns the right items.

Returns:

list of items

isLeftUnordered

public boolean isLeftUnordered()

Returns unordered flag for left side.

Returns:

if true, left side is unordered

isRightUnordered

public boolean isRightUnordered()

Returns unordered flag for right side.

Returns:

if true, right side is unordered

visit

public void visit(Visitor visitor)

Visits this node.

Parameters:

visitor - visitor