diff options
| author | bculkin2442 <bjculkin@mix.wvu.edu> | 2019-07-21 15:52:00 -0400 |
|---|---|---|
| committer | bculkin2442 <bjculkin@mix.wvu.edu> | 2019-07-21 15:52:00 -0400 |
| commit | 6b810efa8765047a669be0e9ff6501ddda5c49a9 (patch) | |
| tree | 0e65344afe3a58efdc662a22867bc8ab2948f3e6 /src/main/java/bjc/rgens/parser/LoadOptions.java | |
| parent | dd4bdab11c715fa2dcc438f287806b50f8467fd3 (diff) | |
| parent | a4d1507727e9aeeea0982ebbda785a961902d46c (diff) | |
Merge cleanups
Diffstat (limited to 'src/main/java/bjc/rgens/parser/LoadOptions.java')
| -rw-r--r-- | src/main/java/bjc/rgens/parser/LoadOptions.java | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/src/main/java/bjc/rgens/parser/LoadOptions.java b/src/main/java/bjc/rgens/parser/LoadOptions.java new file mode 100644 index 0000000..1af0923 --- /dev/null +++ b/src/main/java/bjc/rgens/parser/LoadOptions.java @@ -0,0 +1,50 @@ +package bjc.rgens.parser; + +import java.nio.file.Path; + +/** + * Options used during the loading of config sets and config set related things. + * + * @author Ben Culkin. + */ +public class LoadOptions { + /** + * Should timings be tracked? + */ + public boolean doPerf; + + /** + * Should debug stats be tracked? + */ + public boolean doDebug; + + /** + * Should trace stats be tracked? + */ + public boolean doTrace; + + /** + * The default grammar set name. + */ + public String defName; + + /** + * The path the current file is in. + */ + public Path parent; + + /** + * The file the current config set is being loaded from. + */ + public Path cfgFile; + + /** + * The config set being loaded. + */ + public ConfigSet cfgSet; + + /** + * The grammar set being loaded. + */ + public RGrammarSet gramSet; +} |
