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 class
PdaListFormatter.ObjToStrFunction<OBJ>
-
Field Summary
Fields Modifier and Type Field Description protected boolean
sortFollowers
protected com.google.common.base.Function<? super STACKITEM,java.lang.String>
stackitemFormatter
protected 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.String
apply(Pda<STATE,STACKITEM> pda)
java.lang.String
format(Pda<STATE,STACKITEM> pda)
java.lang.String
format(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.String
title(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)
-
-