Uses of Interface
edu.ksu.cis.projects.bogor.ast.transform.ISystemTransformer

Packages that use ISystemTransformer
edu.ksu.cis.projects.bogor Provides for Bogor command-line interface (CLI) and configuration. 
edu.ksu.cis.projects.bogor.ast.transform   
 

Uses of ISystemTransformer in edu.ksu.cis.projects.bogor
 

Methods in edu.ksu.cis.projects.bogor that return ISystemTransformer
 ISystemTransformer[] DefaultBogorConfiguration.getSystemTransformers(Properties configuration, Collection<FileMessage> errors)
           
 ISystemTransformer[] IBogorConfiguration.getSystemTransformers(Properties configuration, Collection<FileMessage> errors)
          Retrieve a (possibly empty) set of syntax-tree transformers which should run prior to the model-checking phase.
 

Uses of ISystemTransformer in edu.ksu.cis.projects.bogor.ast.transform
 

Classes in edu.ksu.cis.projects.bogor.ast.transform that implement ISystemTransformer
 class BIRUnitSystemTransformer
           
 class HighToLowBIRCompiler
          System transformer which convert a high-level, automatically sequenced statement-based FSMs into a low-level, location-based FSMs.