sk.uniba.euromath.document.schema.impl.tools
Class ShortInsertlistsUnifier

java.lang.Object
  sk.uniba.euromath.document.schema.impl.tools.ShortInsertlistsUnifier

public final class ShortInsertlistsUnifier
extends Object

Unifies all short insertlists into one. Short insertlist is an insertlist, that have length 1.

Author:

Martin Vysny

Constructor Summary

ShortInsertlistsUnifier(RulePool pool)
Constructs instance of object.

Method Summary

void	add(InsertListInternal il) Registers given insertlist to unification process.
InsertListImpl	getUnified() Returns unified insertlist.
InsertListInternal	getUnifiedInt() Returns unified insertlist as an internal insertlist.
boolean	isEmpty() Checks, whether getUnified() function will return null.

Methods inherited from class java.lang.Object

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

Constructor Detail

ShortInsertlistsUnifier

public ShortInsertlistsUnifier(RulePool pool)

Constructs instance of object.

Parameters:

pool - all created rules will be placed in this pool. May be null if getUnified() function shall not be called.

Method Detail

add

public void add(InsertListInternal il)

Registers given insertlist to unification process.

Parameters:

il - short insertlist.

getUnified

public InsertListImpl getUnified()

Returns unified insertlist.

Returns:

unified insertlist. If no short insertlists were registered, returns null.

Throws:

IllegalStateException - when given expression accepts infinite localnames.

getUnifiedInt

public InsertListInternal getUnifiedInt()

Returns unified insertlist as an internal insertlist.

Returns:

unified insertlist. If no short insertlists were registered, returns null.

isEmpty

public boolean isEmpty()

Checks, whether getUnified() function will return null.

Returns:

if true, then there is at least one insertlist registered.