Packages
edu.ksu.cis.projects.bogor Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.analyses Provides for Bogor modules.
edu.ksu.cis.projects.bogor.ast Provides for Bogor input language AST.
edu.ksu.cis.projects.bogor.ast.checker Provides for Bogor AST checker.
edu.ksu.cis.projects.bogor.ast.transform  
edu.ksu.cis.projects.bogor.ext.atomicity  
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.config  
edu.ksu.cis.projects.bogor.module.event  
edu.ksu.cis.projects.bogor.module.state Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.state.event  
edu.ksu.cis.projects.bogor.module.throwable Provides for Bogor throwables.
edu.ksu.cis.projects.bogor.module.value Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event  
edu.ksu.cis.projects.bogor.parser Provides parser for Bogor input language.
edu.ksu.cis.projects.bogor.symboltable Provides for Bogor symbol table.
edu.ksu.cis.projects.bogor.type Provides for Bogor types.
edu.ksu.cis.projects.bogor.util Provides utilities.
edu.ksu.cis.projects.bogor.util.javacc Provides common JavaCC parser files.
edu.ksu.cis.projects.trove.custom Provides specializations of GNU Trove container types.