public class DebugKeyLexer
extends java.lang.Object
You can start this problem via gradle:
gradle debugLexer
This program ask for input, lexes it and shows the found token.
Constructor and Description |
---|
DebugKeyLexer(java.util.List<java.io.File> files) |
DebugKeyLexer(java.io.PrintStream stream,
java.lang.String format,
java.util.Collection<KeYLexer> lexer) |
Modifier and Type | Method and Description |
---|---|
static void |
debug(KeYLexer lexer) |
static void |
debug(java.lang.String content) |
static void |
main(java.lang.String[] args) |
void |
run() |
public DebugKeyLexer(java.io.PrintStream stream, java.lang.String format, java.util.Collection<KeYLexer> lexer)
public DebugKeyLexer(java.util.List<java.io.File> files)
public static void main(java.lang.String[] args)
public static void debug(java.lang.String content)
public static void debug(KeYLexer lexer)
public void run()
Copyright © 2003-2019 The KeY-Project.