ie.deri.wsmx.datamodel
Class Capability

java.lang.Object
  ie.deri.wsmx.datamodel.Capability

All Implemented Interfaces:

MediatorAttachable, NFPAttachable, PostEffAttachable, PreAssAttachable

public class Capability

extends java.lang.Object

implements PreAssAttachable, PostEffAttachable, MediatorAttachable, NFPAttachable

Author:

Eyal Oren represents a capability from the conceptual model

Constructor Summary

Capability()

Capability(LogicalExpression precondition, LogicalExpression assumption, LogicalExpression postcondition, LogicalExpression effect)

Capability(java.lang.String uri)

Method Summary

void	attachAssumption(LogicalExpression log)
void	attachEffect(LogicalExpression log)
void	attachMediatorURI(java.lang.String uri)
void	attachNFP(java.lang.String nfp, java.lang.String value)
void	attachPostCondition(LogicalExpression log)
void	attachPrecondition(LogicalExpression log)
LogicalExpression	getAssumption()
LogicalExpression	getEffect()
LogicalExpression	getPostcondition()
LogicalExpression	getPrecondition()
void	setAssumption(LogicalExpression assumption)
void	setEffect(LogicalExpression effect)
void	setPostcondition(LogicalExpression postcondition)
void	setPrecondition(LogicalExpression precondition)

Methods inherited from class java.lang.Object

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

Constructor Detail

Capability

public Capability(LogicalExpression precondition,
                  LogicalExpression assumption,
                  LogicalExpression postcondition,
                  LogicalExpression effect)

Parameters:

precondition -

assumption -

postcondition -

effect -

Capability

public Capability()

Capability

public Capability(java.lang.String uri)

Method Detail

attachMediatorURI

public void attachMediatorURI(java.lang.String uri)

Specified by:

attachMediatorURI in interface MediatorAttachable

attachNFP

public void attachNFP(java.lang.String nfp,
                      java.lang.String value)

Specified by:

attachNFP in interface NFPAttachable

attachAssumption

public void attachAssumption(LogicalExpression log)

Specified by:

attachAssumption in interface PreAssAttachable

attachPrecondition

public void attachPrecondition(LogicalExpression log)

Specified by:

attachPrecondition in interface PreAssAttachable

attachEffect

public void attachEffect(LogicalExpression log)

Specified by:

attachEffect in interface PostEffAttachable

attachPostCondition

public void attachPostCondition(LogicalExpression log)

Specified by:

attachPostCondition in interface PostEffAttachable

getAssumption

public LogicalExpression getAssumption()

Returns:

Returns the assumption.

setAssumption

public void setAssumption(LogicalExpression assumption)

Parameters:

assumption - The assumption to set.

getEffect

public LogicalExpression getEffect()

Returns:

Returns the effect.

setEffect

public void setEffect(LogicalExpression effect)

Parameters:

effect - The effect to set.

getPostcondition

public LogicalExpression getPostcondition()

Returns:

Returns the postcondition.

setPostcondition

public void setPostcondition(LogicalExpression postcondition)

Parameters:

postcondition - The postcondition to set.

getPrecondition

public LogicalExpression getPrecondition()

Returns:

Returns the precondition.

setPrecondition

public void setPrecondition(LogicalExpression precondition)

Parameters:

precondition - The precondition to set.