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.