Obtaining linear form of a model

Toolset

To inform users how to obtain ObjecTime linear form

ObjecTime developers

ObjecTime 4.4 and on

There are two kinds of linear form output by ObjecTime. A simplified linear form is output for documentation (by selecting 'output' from the Update menu). The storage linear form is used to store classes in the libary. The storage linear form is parseable - its YACC specification is found in the file $OBJECTIME_HOME/linearForm/lf.y.

To get the parseable linear form of a model the classes (actors, protocols, dataclasses) need to be individually passivated in textual mode.

You cannot passivate an entire update in textual linear form (some of it will be still be binary).

How to Save Classes in Linear Form

The "Library Configuration ..." Menu on the ObjecTime icon opens a dialog box which asks for the storage type for files to be used when saving classes/packages to disk or to a library. The options are:

1. text - uses the ObjecTime linear form to save the class definition as an ASCII file, and
2. binary - uses a proprietary binary format to save the class definitions.

So you would select text for textual linear format, and then passivate the individual classes.

Parsing with YACC

Once you have your actors in linear format you probably want to parse them. The "old" linear form as specified in Appendix B of the Toolset Guide is used for documentation output only. No parser is supplied for this form.

None

ObjecTime Toolset Guide