Class PdaListFormatter<STATE,STACKITEM>
- java.lang.Object
-
- org.eclipse.xtext.util.formallang.PdaListFormatter<STATE,STACKITEM>
-
- All Implemented Interfaces:
com.google.common.base.Function<Pda<STATE,STACKITEM>,java.lang.String>,java.util.function.Function<Pda<STATE,STACKITEM>,java.lang.String>
public class PdaListFormatter<STATE,STACKITEM> extends java.lang.Object implements com.google.common.base.Function<Pda<STATE,STACKITEM>,java.lang.String>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description protected static classPdaListFormatter.ObjToStrFunction<OBJ>
-
Field Summary
Fields Modifier and Type Field Description protected booleansortFollowersprotected com.google.common.base.Function<? super STACKITEM,java.lang.String>stackitemFormatterprotected com.google.common.base.Function<? super STATE,java.lang.String>stateFormatter
-
Constructor Summary
Constructors Constructor Description PdaListFormatter()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Stringapply(Pda<STATE,STACKITEM> pda)java.lang.Stringformat(Pda<STATE,STACKITEM> pda)java.lang.Stringformat(Pda<STATE,STACKITEM> pda, STATE state)com.google.common.base.Function<? super STACKITEM,java.lang.String>getStackitemFormatter()com.google.common.base.Function<? super STATE,java.lang.String>getStateFormatter()PdaListFormatter<STATE,STACKITEM>setStackitemFormatter(com.google.common.base.Function<? super STACKITEM,java.lang.String> stackitemFormatter)PdaListFormatter<STATE,STACKITEM>setStateFormatter(com.google.common.base.Function<? super STATE,java.lang.String> stateFormatter)PdaListFormatter<STATE,STACKITEM>sortFollowers()protected java.lang.Stringtitle(Pda<STATE,STACKITEM> pda, STATE state)
-
-
-
Method Detail
-
sortFollowers
public PdaListFormatter<STATE,STACKITEM> sortFollowers()
-
getStackitemFormatter
public com.google.common.base.Function<? super STACKITEM,java.lang.String> getStackitemFormatter()
-
getStateFormatter
public com.google.common.base.Function<? super STATE,java.lang.String> getStateFormatter()
-
setStackitemFormatter
public PdaListFormatter<STATE,STACKITEM> setStackitemFormatter(com.google.common.base.Function<? super STACKITEM,java.lang.String> stackitemFormatter)
-
setStateFormatter
public PdaListFormatter<STATE,STACKITEM> setStateFormatter(com.google.common.base.Function<? super STATE,java.lang.String> stateFormatter)
-
-