public class DebugJmlLexer
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 |
---|
DebugJmlLexer(java.util.List<java.io.File> files) |
DebugJmlLexer(java.io.PrintStream stream,
java.lang.String format,
java.util.Collection<JmlLexer> lexer) |
Modifier and Type | Method and Description |
---|---|
static void |
debug(JmlLexer lexer) |
static void |
debug(java.lang.String content) |
static void |
main(java.lang.String[] args) |
void |
run() |
public DebugJmlLexer(java.io.PrintStream stream, java.lang.String format, java.util.Collection<JmlLexer> lexer)
public DebugJmlLexer(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(JmlLexer lexer)
public void run()
Copyright © 2003-2019 The KeY-Project.