Description
One of the options parsed by java_bytecode_language
is required after the instance of this object has left scope. Under the current scheme, this option cannot be made available. Changes are required so that parsed options are available after the languaget
instance has left scope.
The get_language_options
method on languaget
has no implementation, and is only overridden by java_bytecode_languaget
. In the discussion on #691, it was suggested that
Option parsing from cmdlinet to optiont should be done with the rest of the parse_option code (in the application directory), not in the front-end.
I recommend that the get_language_options
method be removed, and its contents from java_bytecode_language
be moved to a more appropriate location in the parse_option code.