Package org.eclipse.xtext.util.formallang

Interface PdaFactory<P extends Pda<STATE,STACKITEM>,STATE,STACKITEM,TOKEN>

All Superinterfaces:

NfaFactory<P,STATE,TOKEN>

All Known Implementing Classes:

StringPda.StringPdaFactory

public interface PdaFactory<P extends Pda<STATE,STACKITEM>,STATE,STACKITEM,TOKEN>
extends NfaFactory<P,STATE,TOKEN>

Method Summary

Modifier and Type	Method	Description
STATE	createPop(P pda, TOKEN token)
STATE	createPush(P pda, TOKEN token)

Methods inherited from interface org.eclipse.xtext.util.formallang.NfaFactory

create, createState, setFollowers

Method Detail

createPop

STATE createPop(P pda,
                TOKEN token)

createPush

STATE createPush(P pda,
                 TOKEN token)