cb.petal
Class Operation

java.lang.Object
  |
  +--cb.petal.PetalObject
        |
        +--cb.petal.QuidObject
              |
              +--cb.petal.AccessObject
                    |
                    +--cb.petal.Operation

All Implemented Interfaces:

AccessQualified, java.lang.Cloneable, Documented, Named, PetalNode, java.io.Serializable, StereoTyped

public class Operation

extends AccessObject

Represents operation object, i.e. method.

Version:

$Id: Operation.java,v 1.16 2001/06/25 15:51:39 dahm Exp $

Author:

M. Dahm

See Also:

Serialized Form

Fields inherited from class cb.petal.PetalObject

EMPTY, params

Constructor Summary

Operation()

Operation(PetalNode parent, java.util.Collection params)

Method Summary

void	accept(Visitor v)
java.lang.String	getConcurrency()
java.lang.String	getExportControl()
List	getParameters()
SemanticInfo	getPostCondition()
java.lang.String	getResult()
SemanticInfo	getSemantics()
int	getUid()
void	setConcurrency(java.lang.String c)
void	setExportControl(java.lang.String o)
void	setParameters(List o)
void	setPostCondition(SemanticInfo c)
void	setResult(java.lang.String c)
void	setSemantics(SemanticInfo c)
void	setUid(int uid)

Methods inherited from class cb.petal.AccessObject

getDocumentation, getNameParameter, getStereotype, isPrivate, isProtected, isPublic, setDocumentation, setNameParameter, setStereotype

Methods inherited from class cb.petal.QuidObject

getQuid, getQuidAsLong, init, setQuid, setQuidAsLong

Methods inherited from class cb.petal.PetalObject

addProperty, addToList, clone, defineProperty, defineProperty, defineProperty, defineProperty, defineProperty, equals, getChildCount, getKind, getLongestName, getName, getNames, getNoProperties, getParameterList, getParent, getProperties, getProperty, getProperty, getPropertyAsBoolean, getPropertyAsFloat, getPropertyAsInteger, getPropertyAsString, getPropertyList, getPropertyName, getPropertyTuples, getQualifiedName, getRoot, indexOf, moveProperty, removeFromList, removeProperty, removeProperty, setName, setParameterList, setParent, setProperty, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Operation

public Operation(PetalNode parent,
                 java.util.Collection params)

Operation

public Operation()

Method Detail

getParameters

public List getParameters()

setParameters

public void setParameters(List o)

getConcurrency

public java.lang.String getConcurrency()

setConcurrency

public void setConcurrency(java.lang.String c)

getResult

public java.lang.String getResult()

setResult

public void setResult(java.lang.String c)

setPostCondition

public void setPostCondition(SemanticInfo c)

getPostCondition

public SemanticInfo getPostCondition()

setSemantics

public void setSemantics(SemanticInfo c)

getSemantics

public SemanticInfo getSemantics()

getUid

public int getUid()

setUid

public void setUid(int uid)

getExportControl

public java.lang.String getExportControl()

Overrides:

getExportControl in class AccessObject

setExportControl

public void setExportControl(java.lang.String o)

Overrides:

setExportControl in class AccessObject

accept

public void accept(Visitor v)

Overrides:

accept in class PetalObject