Uses of Class
edu.ksu.cis.projects.bogor.util.FileMessage

Packages that use FileMessage

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ast.transform
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.state	Provides for Bogor state.
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.symboltable	Provides for Bogor symbol table.
edu.ksu.cis.projects.bogor.util	Provides utilities.

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

Method parameters in edu.ksu.cis.projects.bogor with type arguments of type FileMessage

protected Object	DefaultBogorConfiguration.createCheckedInstance(Class interfaceClass, String className, Collection<FileMessage> errors)
protected Object	DefaultBogorConfiguration.createInstance(Class interfaceClass, ArrayList<FileMessage> errors)
Object	DefaultBogorConfiguration.getModuleInstance(String className, Class interfaceClass, Collection<FileMessage> errors)
Object	IBogorConfiguration.getModuleInstance(String className, Class interfaceType, Collection<FileMessage> errors) Instantiate a Bogor module (an implementation of IModule).
Object	DefaultBogorConfiguration.getPluginClassInstance(Properties config, String className, Class interfaceType, Collection<FileMessage> errors)
Object	IBogorConfiguration.getPluginClassInstance(Properties config, String className, Class interfaceType, Collection<FileMessage> errors)
Object	DefaultBogorConfiguration.getPluginClassInstance(String className, Class interfaceType, Collection<FileMessage> errors)
Object	IBogorConfiguration.getPluginClassInstance(String className, Class interfaceType, Collection<FileMessage> errors)
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 FileMessage in edu.ksu.cis.projects.bogor.ast.transform

Fields in edu.ksu.cis.projects.bogor.ast.transform with type parameters of type FileMessage

protected ArrayList<FileMessage>	HighToLowBIRCompiler.errors
protected ArrayList<FileMessage>	HighToLowBIRCompiler.warnings

Constructors in edu.ksu.cis.projects.bogor.ast.transform with parameters of type FileMessage

DefaultTransformSystemResult(boolean altered, FileMessage[] errors)

Uses of FileMessage in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return FileMessage

FileMessage	DefaultMessageStore.getError(int index)
FileMessage	IMessageStore.getError(int index)
FileMessage	DefaultMessageStore.getWarning(int index)
FileMessage	IMessageStore.getWarning(int index)

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type FileMessage

List<FileMessage>	DefaultMessageStore.getErrors()
List<FileMessage>	IMessageStore.getErrors() Fetch a shallow-cloned copy of the underlying error messages.
List<FileMessage>	DefaultMessageStore.getWarnings()
List<FileMessage>	IMessageStore.getWarnings() Fetch a shallow-cloned copy of the underlying warnings messages.

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type FileMessage

boolean	DefaultActionTaker.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultCounterExampleWriter.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultExpEvaluator.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)
boolean	DefaultSchedulingStrategist.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultSearcher.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.
boolean	DefaultStateManager.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)
boolean	DefaultTransformer.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Constructors in edu.ksu.cis.projects.bogor.module with parameters of type FileMessage

DefaultMessageStore(FileMessage[] errors, FileMessage[] warnings)

DefaultMessageStore(FileMessage[] errors, FileMessage[] warnings)

Constructor parameters in edu.ksu.cis.projects.bogor.module with type arguments of type FileMessage

DefaultMessageStore(Collection<FileMessage> errors, Collection<FileMessage> warnings)

DefaultMessageStore(Collection<FileMessage> errors, Collection<FileMessage> warnings)

Uses of FileMessage in edu.ksu.cis.projects.bogor.module.backtrack

Method parameters in edu.ksu.cis.projects.bogor.module.backtrack with type arguments of type FileMessage

boolean

DefaultBacktrackingInfoFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Uses of FileMessage in edu.ksu.cis.projects.bogor.module.config

Method parameters in edu.ksu.cis.projects.bogor.module.config with type arguments of type FileMessage

boolean

ISelfDescribingModule.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.

Uses of FileMessage in edu.ksu.cis.projects.bogor.module.state

Method parameters in edu.ksu.cis.projects.bogor.module.state with type arguments of type FileMessage

boolean

DefaultStateFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors) Checks whether the value of a configuration option is legal.

Uses of FileMessage in edu.ksu.cis.projects.bogor.module.value

Method parameters in edu.ksu.cis.projects.bogor.module.value with type arguments of type FileMessage

boolean

DefaultValueFactory.validate(String id, String value, IBogorConfiguration bc, SymbolTable st, Collection<FileMessage> errors)

Uses of FileMessage in edu.ksu.cis.projects.bogor.symboltable

Methods in edu.ksu.cis.projects.bogor.symboltable that return types with arguments of type FileMessage

Collection<FileMessage>	SymbolTable.getAllErrors() Gets all the error messages (including FSM errors).
List<FileMessage>	FSMSymbolTable.getErrors() Gets the error messages.
List<FileMessage>	SymbolTable.getErrors() Gets the error messages (excluding FSM errors).
List<FileMessage>	FSMSymbolTable.getWarnings() Gets the warning messages.
List<FileMessage>	SymbolTable.getWarnings() Gets the warning messages.

Uses of FileMessage in edu.ksu.cis.projects.bogor.util

Methods in edu.ksu.cis.projects.bogor.util that return FileMessage

static FileMessage	FileMessage.buildMessage(int line, int column, String pattern, String[] args) Builds message using MessageFormat with line and column numbers info.
static FileMessage	FileMessage.buildMessage(int line, int column, String key, String pattern, String[] args) Builds message using MessageFormat with line and column numbers info.
static FileMessage	FileMessage.buildMessage(String pattern, String[] args) Builds message using MessageFormat.
static FileMessage	FileMessage.buildMessage(String key, String pattern, String[] args) Builds message using MessageFormat.