| Modifier and Type | Class and Description |
|---|---|
protected static class |
PdaListFormatter.ObjToStrFunction<OBJ> |
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
sortFollowers |
protected com.google.common.base.Function<? super STACKITEM,String> |
stackitemFormatter |
protected com.google.common.base.Function<? super STATE,String> |
stateFormatter |
| Constructor and Description |
|---|
PdaListFormatter() |
| Modifier and Type | Method and Description |
|---|---|
String |
apply(Pda<STATE,STACKITEM> pda) |
String |
format(Pda<STATE,STACKITEM> pda) |
String |
format(Pda<STATE,STACKITEM> pda,
STATE state) |
com.google.common.base.Function<? super STACKITEM,String> |
getStackitemFormatter() |
com.google.common.base.Function<? super STATE,String> |
getStateFormatter() |
PdaListFormatter<STATE,STACKITEM> |
setStackitemFormatter(com.google.common.base.Function<? super STACKITEM,String> stackitemFormatter) |
PdaListFormatter<STATE,STACKITEM> |
setStateFormatter(com.google.common.base.Function<? super STATE,String> stateFormatter) |
PdaListFormatter<STATE,STACKITEM> |
sortFollowers() |
protected String |
title(Pda<STATE,STACKITEM> pda,
STATE state) |
protected com.google.common.base.Function<? super STACKITEM,String> stackitemFormatter
protected boolean sortFollowers
public PdaListFormatter<STATE,STACKITEM> sortFollowers()
public com.google.common.base.Function<? super STACKITEM,String> getStackitemFormatter()
public PdaListFormatter<STATE,STACKITEM> setStackitemFormatter(com.google.common.base.Function<? super STACKITEM,String> stackitemFormatter)
public PdaListFormatter<STATE,STACKITEM> setStateFormatter(com.google.common.base.Function<? super STATE,String> stateFormatter)
Copyright © 2015. All Rights Reserved.