org.wsmostudio.choreography.editors
Class IfThenEditor

java.lang.Object
  org.wsmostudio.choreography.editors.RuleFormEditor
      org.wsmostudio.choreography.editors.IfThenEditor

public class IfThenEditor
extends RuleFormEditor

Field Summary

Fields inherited from class org.wsmostudio.choreography.editors.RuleFormEditor

rule, uiModel

Constructor Summary

IfThenEditor(org.wsmo.service.rule.ChoreographyRule rule, ChoreographyModel model)

Method Summary

void	dispose()
org.eclipse.swt.widgets.Composite	initUI(org.eclipse.swt.widgets.Composite parent)
void	updateRule()

Methods inherited from class org.wsmostudio.choreography.editors.RuleFormEditor

getRule, labelForRule

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IfThenEditor

public IfThenEditor(org.wsmo.service.rule.ChoreographyRule rule,
                    ChoreographyModel model)

Method Detail

initUI

public org.eclipse.swt.widgets.Composite initUI(org.eclipse.swt.widgets.Composite parent)

Specified by:

initUI in class RuleFormEditor

updateRule

public void updateRule()
                throws org.wsmo.wsml.ParserException,
                       org.wsmo.common.exception.InvalidModelException

Specified by:

updateRule in class RuleFormEditor

Throws:

org.wsmo.wsml.ParserException

org.wsmo.common.exception.InvalidModelException

dispose

public void dispose()

Specified by:

dispose in class RuleFormEditor