## IOperation

com.change_vision.jude.api.inf.model.Class and UseCase Diagram Interface

com.change_vision.jude.api.inf.model. INamedElement
PUBLIC_VISIBILITY :String PROTECTED_VISIBILITY :String PACKAGE_VISIBILITY :String PRIVATE_VISIBILITY :String
+getName() :String +getConstraints() :IConstraint[] +getSupplierDependencies() :IDependency[] +getSupplierRealizations() :IRealization[] +getSupplierUsages() :IUsage[] +getClientDependencies() :IDependency[] +getClientRealizations() :IRealization[] +getClientUsages() :IUsage[] +getDefinition() :String +isPublicVisibility() :boolean +isProtectedVisibility() :boolean +isPrivateVisibility() :boolean +isPackageVisibility() :boolean +getDiagrams() :IDiagram[] +setName(String name) :void +setDefinition(String definition) :void +setVisibility(String visibility) :void +getAlias1() :String +getAlias2() :String +setAlias1(String alias1) :void +setAlias2(String alias2) :void
com.change_vision.jude.api.inf.model. IOperation
+getParameters() :IParameter[] +getReturnType() :IClass +getReturnTypeExpression() :String +getQualifiedReturnTypeExpression() :String +isLeaf() :boolean +isAbstract() :boolean +isStatic() :boolean +addParameter(IParameter[] parameters) :void +removeParameter(IParameter[] parameters) :void +setReturnType(IClass returnType) :void +setLeaf(boolean isLeaf) :void +setAbstract(boolean isAbstract) :void +setStatic(boolean isStatic) :void +setReturnTypeExpression(String returnType) :void +setQualifiedReturnTypeExpression(String returnType) :void +addPreCondition(String preCondition) :void +getPreConditions() :String[] +removePreCondition(String preCondition) :void +addPostCondition(String postCondition) :void +getPostConditions() :String[] +removePostCondition(String postCondition) :void +setBodyCondition(String bodyCondition) :void +getBodyCondition() :String