|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.Listing.Listing
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.
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 |
public static final java.lang.String VERSION
public static final java.lang.String TOOL
Constructor Detail |
protected Listing(ListingEnv env, ListingEnvMgr envMgr)
env
- an environment manager containing a specific
environment for the toolMethod Detail |
public static Listing getTool(CoopnEnv env)
public static Listing getTool(ListingEnv env)
public CoopnEnv getEnv()
getEnv
in interface CoopnTool
public void show()
show
in interface CoopnTool
public void run()
run
in interface java.lang.Runnable
public static void main(java.lang.String[] args)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |