be.ac.umons.jsonvalidation

Class ValidationState<L>

java.lang.Object

be.ac.umons.jsonvalidation.ValidationState<L>

public class ValidationState<L>
extends Object

The current state in an execution of ValidationByAutomaton.

It contains a set with the source and reached locations in the VPA and a stack.

Author:

Gaëtan Staquet

Constructor Summary

Constructors

Constructor and Description
ValidationState(Set<PairSourceToReached<L>> sourceToReachedLocations, be.ac.umons.jsonvalidation.ValidationStackContents<L> stack)

Method Summary

Modifier and Type	Method and Description
Set<L>	getReachedLocations()
Set<PairSourceToReached<L>>	getSourceToReachedLocations()
be.ac.umons.jsonvalidation.ValidationStackContents<L>	getStack()

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidationState

public ValidationState(Set<PairSourceToReached<L>> sourceToReachedLocations,
                       be.ac.umons.jsonvalidation.ValidationStackContents<L> stack)

Method Detail

getSourceToReachedLocations

public Set<PairSourceToReached<L>> getSourceToReachedLocations()

getReachedLocations

public Set<L> getReachedLocations()

getStack

public be.ac.umons.jsonvalidation.ValidationStackContents<L> getStack()