wpds.impl

Class StackListener<N extends Location,D extends State,W extends Weight>

java.lang.Object

wpds.interfaces.WPAStateListener<N,D,W>

wpds.impl.StackListener<N,D,W>

public abstract class StackListener<N extends Location,D extends State,W extends Weight>
extends WPAStateListener<N,D,W>

Field Summary

Fields inherited from class wpds.interfaces.WPAStateListener

state

Constructor Summary

Constructors

Constructor and Description
StackListener(WeightedPAutomaton<N,D,W> weightedPAutomaton, D state, N source)

Method Summary

Modifier and Type	Method and Description
abstract void	anyContext(N end)
boolean	equals(Object obj)
int	hashCode()
void	onInTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
void	onOutTransitionAdded(Transition<N,D> t, W w, WeightedPAutomaton<N,D,W> weightedPAutomaton)
abstract void	stackElement(N callSite)

Methods inherited from class wpds.interfaces.WPAStateListener

getState

Methods inherited from class java.lang.Object

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

Constructor Detail

StackListener

public StackListener(WeightedPAutomaton<N,D,W> weightedPAutomaton,
                     D state,
                     N source)

Method Detail

onOutTransitionAdded

public void onOutTransitionAdded(Transition<N,D> t,
                                 W w,
                                 WeightedPAutomaton<N,D,W> weightedPAutomaton)

Specified by:

onOutTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>

onInTransitionAdded

public void onInTransitionAdded(Transition<N,D> t,
                                W w,
                                WeightedPAutomaton<N,D,W> weightedPAutomaton)

Specified by:

onInTransitionAdded in class WPAStateListener<N extends Location,D extends State,W extends Weight>

stackElement

public abstract void stackElement(N callSite)

anyContext

public abstract void anyContext(N end)

hashCode

public int hashCode()

Overrides:

hashCode in class WPAStateListener<N extends Location,D extends State,W extends Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class WPAStateListener<N extends Location,D extends State,W extends Weight>