org.eclipse.xtext.util.formallang

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

All Superinterfaces:

NfaFactory<PDA,STATE,TOKEN>

All Known Implementing Classes:

SerializerPDA.SerializerPDACloneFactory, SerializerPDA.SerializerPDAElementFactory, StringPda.StringPdaFactory

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

Author:

Moritz Eysholdt - Initial contribution and API

Method Summary

Methods

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

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

create, createState, setFollowers

Method Detail

createPop

STATE createPop(PDA pda,
              TOKEN token)

createPush

STATE createPush(PDA pda,
               TOKEN token)