All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class codegen.CodeGenOpt 

java.lang.Object
   |
   +----codegen.CodeGenOpt
public class CodeGenOpt
extends Object
implements Serializable
This is a simple container for CodeGens options. It is maintained by the class CodeGenConfig. You may only create an object of this class and store it.

Version:
$Id: CodeGenOpt.java,v 1.8 1999/03/01 17:38:35 swtech25 Exp $
Author:
Marcel Kyas, Walter Loeser, Andre Paetzold.
See Also:
CodeGenConfig

Constructor Index

o CodeGenOpt()
The options are initialized with the following settings: nondetFlavor is takeFirst, envFlavor is none; traceCodeGen, verbose, and twoStatecharts are false.

Constructors

o CodeGenOpt 
 public CodeGenOpt()
The options are initialized with the following settings: nondetFlavor is takeFirst, envFlavor is none; traceCodeGen, verbose, and twoStatecharts are false. Path will be set to "/tmp", name[12] will be set to "Automaton[12]" 

All Packages  Class Hierarchy  This Package  Previous  Next  Index