ConForM.CoopnTools.Listing
Class Listing

java.lang.Object
  |
  +--ConForM.CoopnTools.Listing.Listing
All Implemented Interfaces:
CoopnTool, java.lang.Runnable

public class Listing
extends java.lang.Object
implements CoopnTool

CoopnTools listing code viewer. This tool display the listing code produced by the coopn checker, i.e. coco modules. The intension is to obtain textual representations of listing (i.e. coco) modules, with keywords in boldface, comments in light text, and so on. A formatter is a runnable. It is composed of a constructor, building the tool, by a method run, implementing the tool itself, and a method main. Hence, a code viewer can be started either from a command line, or by another CoopnTool. In this case, a listing viewer is likely to by started as a new thread.

See Also:
run

Field Summary
static java.lang.String TOOL
          Code tool name.
static java.lang.String VERSION
          Code version.
 
Constructor Summary
protected Listing(ListingEnv env, ListingEnvMgr envMgr)
          Simple constructor.
 
Method Summary
 CoopnEnv getEnv()
          Get the environment.
static Listing getTool(CoopnEnv env)
          Creates a new Code, based on an existing environment, or null if the tool cannot be created.
static Listing getTool(ListingEnv env)
          Creates a new Code, based on an existing environment, or null if the tool cannot be created.
static void main(java.lang.String[] args)
          Main program.
 void run()
          Implementation of the formatter.
 void show()
          Show the tool's window, if the tool has its own GUI.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VERSION

public static final java.lang.String VERSION
Code version.

TOOL

public static final java.lang.String TOOL
Code tool name.
Constructor Detail

Listing

protected Listing(ListingEnv env,
                  ListingEnvMgr envMgr)
Simple constructor.
Parameters:
env - an environment manager containing a specific environment for the tool
Method Detail

getTool

public static Listing getTool(CoopnEnv env)
Creates a new Code, based on an existing environment, or null if the tool cannot be created.

getTool

public static Listing getTool(ListingEnv env)
Creates a new Code, based on an existing environment, or null if the tool cannot be created.

getEnv

public CoopnEnv getEnv()
Get the environment.
Specified by:
getEnv in interface CoopnTool

show

public void show()
Show the tool's window, if the tool has its own GUI. Do nothing else.
Specified by:
show in interface CoopnTool

run

public void run()
Implementation of the formatter.
Specified by:
run in interface java.lang.Runnable

main

public static void main(java.lang.String[] args)
Main program. This method creates a new environment from the command line, creates a new Code according to the environment, and call its run method.