org::uppaal::port::ui::UppaalPortView Class Reference

List of all members.

Public Member Functions

Override void init (IViewSite site) throws PartInitException
void setDiagram (IFile diagram)
void reset ()
void back (PortTrace trace)
void replay (PortTrace trace)
void verify (String property)
Override void createPartControl (Composite parent)
Override void setFocus ()
Override void dispose ()
void engineResponse (String data)
void engineError (String problem)

Package Functions

void run (Breakpoint b)
void step (int index)


class  Job< T >

Detailed Description

UppaalPortView has two parts, the tool part and the trace view. The trace view is a canvas where a message sequence chart is drawn. The tool part contains:

The documentation for this class was generated from the following file: Logo