public class JJOptions
extends java.lang.Object
| Constructor and Description |
|---|
JJOptions(java.util.Map<java.lang.String,java.lang.String> options) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
enabled()
Enabled --
.
|
boolean |
use_original_names()
Use Original Names --
.
|