public class ParserStats extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
ParserStats.MemoizedProduction |
| Constructor and Description |
|---|
ParserStats() |
| Modifier and Type | Method and Description |
|---|---|
void |
called(String prod) |
void |
dump(PrintStream err) |
void |
failed(String prod) |
Map<String,ParserStats.MemoizedProduction> |
getMemoizedProductions() |
void |
parsed(String prod) |
void |
reused(String prod) |
public Map<String,ParserStats.MemoizedProduction> getMemoizedProductions()
public void parsed(String prod)
public void failed(String prod)
public void called(String prod)
public void reused(String prod)
public void dump(PrintStream err)
Copyright © 2010-2012 University of Erlangen-Nürnberg - Open Source Research Group. All Rights Reserved.