sk.uniba.euromath.document.schema.impl.add
Class ComputationStateChecker

java.lang.Object
  sk.uniba.euromath.document.schema.impl.add.ComputationStateChecker

final class ComputationStateChecker
extends Object

Works with the element-creating algorithm (ECA), contains list of ECA states. There is no need for ECA to check same state more than once. The state actState is said to be checked, when we already 'visited' state oldState and:

• actState.nodeBefore = oldState.nodeBefore (index of the node, before which we are standing)
• actState.expression = oldState.expression (expression of MSV acceptor)
• oldState.listPart.isSubsequence(actState.listPart) (part of InsertList, that we have found sofar).

Not thread-safe.

Author:

Martin Vysny

Constructor Summary

ComputationStateChecker()
Constructor.

Method Summary

boolean

addState(sk.baka.ikslibs.ptr.DomPointer ptr, com.sun.msv.grammar.Expression exp, InsertListInternal part) Adds state to states list.

Methods inherited from class java.lang.Object

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

Constructor Detail

ComputationStateChecker

ComputationStateChecker()

Constructor.

Method Detail

addState

public boolean addState(sk.baka.ikslibs.ptr.DomPointer ptr,
                        com.sun.msv.grammar.Expression exp,
                        InsertListInternal part)

Adds state to states list.

Parameters:

ptr - position of 'automaton head'; point, on which the algorithm is standing.

exp - Expression of the acceptor.

part - part of insertlist, that has been completed so far.

Returns:

true, if state was added, or false, if we already checked this state.