RMTool: Annotation File Format

An annotation file consists lines containing egrep-style regular expressions. Each regular expression is meant to describe one or more lines in the mapped arc file that is produced as a by-product of a Reflexion Model computation. A line in the mapped arc file describes a mapping of a source model interaction to a high-level model interaction. For example, if a source interaction from function foo to function bar maps to a high-level model interaction from FOO to BAR, a regular expression to annotate this mapped interaction might be:

#This next interaction is a FOOBAR-style interaction

FOO BAR .*foo.*bar.*

The exact format of the mapped arc file, which can affect annotations, is dependent upon the language configuration file. For further details on annotations, contact Gail Murphy.

Back to RMTool: File Formats.

Last modified: June 28, 1996

Gail Murphy
murphy@cs.ubc.ca